Personnel: Denis Kocetkov at BigCode (Core Team Member)

NoteThe source text is about BigCode's organization and governance structure. While it confirms BigCode exists and describes its leadership and membership framework, it does not contain any mention of Denis Kocetkov or any specific list of core team members. The claim specifies a particular person in a particular role at the organization, but the source does not address this specific personnel assignment. This is unverifiable rather than contradicted because the source simply does not discuss individual team member rosters.