Danel Ahmanمشاهده پروفایل
دانشیار
Danel Ahman is an Associate Professor of Programming Languages at the Institute of Computer Science, University of Tartu, Estonia. He is a member of the Chair of Programming Languages and the Laboratory for Software Science (SWS). His academic journey includes postdoctoral positions at the University of Ljubljana and Inria Paris, as well as research internships at Microsoft Research. Education: PhD in Theoretical Computer Science, University of Edinburgh (2012-2017), thesis: "Fibred Computational Effects" MPhil in Advanced Computer Science, University of Cambridge (2011-2012), thesis: "Computational effects, algebraic theories and normalization by evaluation" BSc in Informatics, Tallinn University of Technology (2007-2010), Cum Laude Danel Ahman's research focuses on programming languages, their design and semantics. He is particularly interested in dependent and refinement types, computational effects (especially algebraic effects, effect handlers, and runners), modal types for verifying temporal resource usage, and category-theoretic denotational and operational semantics. His work bridges theoretical foundations with practical applications in verified software development, exploring how programming language features can ensure correctness while maintaining expressiveness and efficiency. His recent publications demonstrate a consistent focus on computational effects, modal types, and verified programming. The trajectory shows increasing sophistication in handling temporal resources and asynchronous effects, with several papers published in top programming languages conferences (POPL, ICFP) and journals. His work often combines theoretical category-theoretic foundations with practical implementations, particularly using the F* verification language. Scientific Awards: 2025: Estonian Research Council grant on "Explainable Verification" (co-investigator) 2024: EuroProofNet COST Action Short-Term Scientific Missions to University of Ljubljana 2019: Horizon 2020 Marie Skłodowska-Curie Individual Fellowship 2018: 1st prize at the Estonian Ministry of Education and Research dissertations competition 2012: Google prize and Citrix prize for best research dissertation at University of Cambridge Ahman actively supervises graduate students and has served on numerous program committees for programming languages conferences. His grant portfolio includes significant funding for research on programming language foundations and verification. He collaborates extensively with researchers across Europe and the US, particularly in the F* verification ecosystem and effect handler communities. He is a key member of the Laboratory for Software Science at the University of Tartu, contributing to research on programming language theory and verified software development. His work intersects with several research groups focusing on formal methods, programming language design, and software verification.