معرفی
Danel Ahman is an Associate Professor at the Institute of Computer Science, University of Tartu, Estonia, specializing in programming language theory. His research focuses on dependent/refinement types, computational effects, and verified software.
- Education
- PhD in Theoretical Computer Science (University of Edinburgh, 2017)
- MPhil in Advanced Computer Science (University of Cambridge, 2012)
- BSc in Informatics (Tallinn University of Technology, 2010)
Research Interests:
Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification.
Scientific Awards:
- Estonian Research Council grant (2025)
- Marie Skłodowska-Curie Fellowship (2019)
- PhD dissertation prize (2018)
- Google/Citrix dissertation awards (2012)
Teaching & Supervision:
He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.
