Danel Ahman
Scholar

Danel Ahman

Google Scholar ID: FmgHrNoAAAAJ
Institute of Computer Science, University of Tartu
Foundations of Computer ScienceSemanticsProgramming LanguagesType TheoryCategory Theory
Citations & Impact
All-time
Citations
480
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
25
list available
Resume (English only)
Research Experience
  • Associate Professor of Programming Languages, University of Tartu (Jan 2024–present)
  • Postdoctoral Researcher, University of Ljubljana (Oct 2021–Dec 2023)
  • Marie Skłodowska-Curie Individual Fellow, University of Ljubljana (Oct 2019–Sep 2021)
  • Postdoctoral Researcher, University of Ljubljana (Oct 2018–Sep 2019)
  • Consulting Researcher, Microsoft Research Redmond (May–Jun 2019)
  • Postdoctoral Researcher, Inria Paris, Prosecco Team (Apr 2017–Sep 2018)
  • Research Intern, Microsoft Research Redmond (May–Aug 2016)
  • Research Intern, Microsoft Research Silicon Valley (Sep–Nov 2014)
  • Research Intern, Institute of Cybernetics, Estonia (Mar–Sep 2011)
  • Software Development Intern, Active Systems OÜ, Estonia (summers 2007–2010)