Danil Annenkov - POPL 2023 (original) (raw)
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
Research interests:type theory, proof assistants, programming language semantics, functional programming
Contributions