Danel Ahman


Contact
address: IF 5.32, School of Informatics, 10 Crichton Street, EH8 9AB, Edinburgh, Scotland
e-mail: D.Ahman {ät} ed.ac.uk
office tel: +44 (0)131 650 6787
Education
2012 - … , PhD student, LFCS, University of Edinburgh (Supervisors: Prof. Gordon Plotkin, Prof. Alex Simpson)
Education (past)
2011 - 2012 , MPhil in Advanced Computer Science (with Distinction), University of Cambridge (Supervisor: Sam Staton)
2010 - intermitted , MSc student, Informatics, Tallinn University of Technology
2007 - 2010 , BSc in Informatics (with Cum Laude), Tallinn University of Technology (Supervisor: Marko Kääramees)
Internships
Institute of Cybernetics, Tallinn (June-September 2011, August 2012)
Active Systems Ltd, Pärnu (Summers 2007 - 2010)

Interests

Category theory, Type theory, Logic, Notions of computation and algebraic effects, Formal methods and reasoning, Model-based specification and testing

Publications


MPhil dissertation


Extended abstracts and unpublished drafts


Organization


Talks


Teaching

Object-Oriented Programming (School of Informatics, Spring 2013) (INF1-OP)

In spring 2014, I am tutoring two tutorial groups.

In spring 2013, I was a lab demonstrator for one group.

Logic Programming (School of Informatics, Autumn 2012, Autumn 2013) (LP)

In autumn 2013, I tutored one tutorial group and marked students' coursework.

In autumn 2012, I tutored two tutorial groups and marked students' coursework.

Functional Programming (School of Informatics, Autumn 2012, Autumn 2013) (FP)

In autumn 2013, I tutored two tutorial groups.

In autumn 2012, I tutored one tutorial group.

Computation and Logic (School of Informatics, Autumn 2013) (CL)

In autumn 2013, I tutored one tutorial group and marked students' coursework.

Language Semantics and Implementation (School of Informatics, Spring 2013) (LSI)

In spring 2013, I tutored one tutorial group.

Logic in Computer Science (TUT, Autumn 2011) (ITT0040)

In autumn 2011, I stood in for Prof. T. Uustalu in 2 lectures and 2 practical sessions.

Operating Systems and Network Administrating (TUT, Spring 2011) (ITV0050)

In spring 2011, I was one of the lecturers in the operating systems and network administering course in the Tallinn University of Technology. I gave talks and practice/exercise sessions on software packaging and package management, filesystems and (remote) access to them, virtual machines and their technology in desktop and server environments.


Awards and nominations


Selection of quotes