Danel Ahman


Contact
address: IF 5.32, School of Informatics, 10 Crichton Street, EH8 9AB, Edinburgh, Scotland
e-mail: D.Ahman {ätt} ed.ac.uk
office tel: +44 (0)131 650 6787
Education
2012 - … , PhD student, Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh
Thesis topic: Fibred computational effects in dependently-typed languages
Supervisors: Gordon Plotkin (1st), Ian Stark (2nd), Alex Simpson (ex 2nd)
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
Microsoft Research, Redmond, WA (May-August 2016)
Microsoft Research Silicon Valley, Mountain View, CA (September-November 2014)
Institute of Cybernetics, Tallinn (June-September 2011, frequent visitor since 2012)
Active Systems Ltd, Pärnu (Summers 2007 - 2010)
My PhD study is financially supported by the University of Edinburgh (Principal Career Development Scholarship, 2012-2015) and by the Archimedes Foundation in collaboration with the Ministry of Education and Research (Estonian National Scholarship Program Kristjan Jaak, 2015-2016).

Interests

Category theory, type theory, logic, notions of computation and algebraic effects, formal methods and reasoning, model-based specification and -testing.

Drafts


Publications


MPhil dissertation


Extended abstracts


Organization


Talks


Teaching

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

In autumn 2015, I tutored one tutorial group.

In autumn 2013, I tutored two tutorial groups.

In autumn 2012, I tutored one tutorial group.

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

In spring 2015, I tutored three tutorial groups.

In spring 2014, I tutored 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 2015, I tutored two tutorial groups.

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

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

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