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

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 - ETIS)


Thesises


Extended abstracts


Awards and nominations


Community service

Program committees

Course and seminar organisation

Media coverage


Teaching

Program verification with F*

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)


Talks