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.