Danel Ahman
https://www.etis.ee/CV/Danel_Ahman/est
13.02.1988
Teenistuskäik
Töökohad ja ametid
01.10.2018–...
Ljubljana Ülikool, Järeldoktor (1,00)
01.04.2017–30.09.2018
Inria Paris, Järeldoktor (1,00)
31.05.2016–19.08.2016
Microsoft Research Redmond, Teaduspraktikant (1,00)
08.09.2014–28.11.2014
Microsoft Research Silicon Valley, Teaduspraktikant (1,00)
2013–2015
Edinburghi Ülikool, Laboritööde juhendaja (1,00)
2012–2015
Edinburghi Ülikool, Harjutustundide juhendaja (1,00)
2012–2015
Edinburghi Ülikool, Kursusetööde hindaja (1,00)
Haridustee
2012–2017
Edinburghi Ülikool, doktorikraad arvutiteaduses
2011–2012
Cambridge'i Ülikool, magistrikraad arvutiteaduses
2010–2011
Tallinna Tehnikaülikool, magistriõpingud informaatikas (peatatud)
2007–2010
Tallinna Tehnikaülikool, bakalaureusekraad informaatikas
Teadusorganisatsiooniline ja -administratiivne tegevus
2018−2019
programmitoimkonna liige, POPL 2019
2018−2018
programmitoimkonna liige, HOPE 2018
2018−2018
programmitoimkonna liige, MSFP 2018
Kvalifikatsioon
Teaduskraadid
Teaduspreemiad ja tunnustused
2012, Danel Ahman, parima artikli auhinna nominent konverentsil ETAPS '12
2012, Danel Ahman, Citrix'i parima lõpetaja auhind magistriprogrammis Advanced Computer Science, Computer Laboratory, Cambridge'i Ülikool
2012, Danel Ahman, Google'i parima lõputöö auhind magistriprogrammis Advanced Computer Science, Computer Laboratory, Cambridge'i Ülikool
2012, Danel Ahman, Eesti Teaduste Akadeemia üliõpilastööde konkursi auhind
2012, Danel Ahman, 3. preemia Eesti Haridus- ja Teadusministeeriumi üliõpilaste teadustööde konkursil
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS ERIALA: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); PÕHISUUND: kategooriateooria, kategooriline loogika, programmeerimiskeelte semantika, tüübiteooria
Lõppenud projektid
Publikatsioonid
Klass
Aasta
Publikatsioon
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
5.2.
2015
1.1.
2014
1.1.
2014
3.1.
2014
3.4.
2014
5.2.
2014
1.1.
2013
1.1.
2013
5.2.
2013
3.1.
2012
3.1.
2012
5.2.
2012
Danel Ahman
https://www.etis.ee/CV/Danel_Ahman/eng
13.02.1988
Career
Institution and occupation
01.10.2018–...
University of Ljubljana, Post-Doc (1,00)
01.04.2017–30.09.2018
Inria Paris, Post-Doc (1,00)
31.05.2016–19.08.2016
Microsoft Research Redmond, Research intern (1,00)
08.09.2014–28.11.2014
Microsoft Research Silicon Valley, Research intern (1,00)
2013–2015
University of Edinburgh, Lab demonstrator (1,00)
2012–2015
University of Edinburgh, Tutor (1,00)
2012–2015
University of Edinburgh, Marker (1,00)
Education
2012–2017
University of Edinburgh, PhD in theoretical computer science
2011–2012
University of Cambridge, MPhil in Advanced Computer Science
2010–2011
Tallinn University of Technology, MSc studies in informatics (intermitted)
2007–2010
Tallinn University of Technology, BSc in informatics
R&D related managerial and administrative work
2018−2019
member of program committee, POPL 2019
2018−2018
member of program committee, HOPE 2018
2018−2018
member of program committee, MSFP 2018
Qualifications
Academic degrees
Honours & awards
2012, Danel Ahman, nominee for best paper award at ETAPS '12 conference
2012, Danel Ahman, Citrix prize for the best student in MPhil program Advanced Computer Science, Computer Laboratory, University of Cambridge
2012, Danel Ahman, Google prize for the best research dissertation in MPhil program Advanced Computer Science, Computer Laboratory, University of Cambridge
2012, Danel Ahman, Estonian Academy of Sciences dissertation award
2012, Danel Ahman, 3rd prize at the Estonian Ministry of Education and Research dissertations competition
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS SPECIALTY: P170 Computer science, numerical analysis, systems, control ; SPECIALITY: category theory, categorical logic, programming languages semantics, type theory
Completed projects
Publications
Category
Year
Publication
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
5.2.
2015
1.1.
2014
1.1.
2014
3.1.
2014
3.4.
2014
5.2.
2014
1.1.
2013
1.1.
2013
5.2.
2013
3.1.
2012
3.1.
2012
5.2.
2012