Danil Annenkov

Registered user since Fri 13 Dec 2019

Name:Danil Annenkov

Danil is a researcher at Concordium working on smart contract-related topics. Before joining Concordium, Danil was a postdoc researcher at the Concordium Blockchain Research Center, Aarhus University, where he worked on formal verification of smart contracts. His research areas include programming language semantics, proof assistants, type theory and functional programming. Danil received his PhD degree in Computer Science from the University of Copenhagen, DIKU in 2018. After receiving his PhD degree, he was a postdoc researcher at INRIA Nantes, France, working on extending the Coq proof assistant with new reasoning principles.

Personal website:http://dannenkov.me
Research interests:type theory, proof assistants, programming language semantics, functional programming


CoqPL 2023 Committee Member in Program Committee within the CoqPL 2023-track
CPP 2023 Formalising Decentralised Exchanges in Coq
Show activities from other conferences

POPL 2023-profile
View general profile