Danil Annenkov

Registered user since Fri 13 Dec 2019

Name:Danil Annenkov
Bio:

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.

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

Contributions

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

Using general profile