Contact | Education | Employment | Drafts | Publications | Dissertations | Extended abstracts | Awards | Community service | Teaching | Talks

Danel Ahman

I am currently a Postdoctoral Researcher at University of Ljubljana, working in the Faculty of Mathematics and Physics with Andrej Bauer.
My research is in programming language theory, where I am particularly interested in

Contact


Education


Employment


Drafts


Publications (Google scholar - DBLP - ETIS)


Dissertations


Peer-reviewed 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