See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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

 
 
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

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

 
 
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
 
 

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