Contact | Education | Internships | Drafts | Publications | MPhil thesis | Extended abstracts | Awards | Talks | Teaching | Community service

Danel Ahman

I am currently a Postdoctoral Researcher at Inria Paris, working in the Prosecco team with Cătălin Hriţcu on topics related to the F* language.
My research is in programming language theory, where I am particularly interested in

Contact


Education


Internships


Drafts


Publications (Google scholar, DBLP)


MPhil thesis


Extended abstracts


Awards and nominations


Talks


Teaching

Functional Programming (School of Informatics, University of Edinburgh) (FP)

Object-Oriented Programming (School of Informatics, University of Edinburgh) (INF1-OP)

Logic Programming (School of Informatics, University of Edinburgh) (LP)

Computation and Logic (School of Informatics, University of Edinburgh) (CL)

Language Semantics and Implementation (School of Informatics, University of Edinburgh) (LSI)

Logic in Computer Science (Institute of Cybernetics, Tallinn University of Technology) (ITT0040)

Operating Systems and Network Administrating (Department of Computer Science, Tallinn University of Technology) (ITV0050)


Community service