See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

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
Danel Ahman, doktorikraad, 2017, (juh) Prof. Gordon Plotkin; Dr. Ian Stark, Fibred computational effects (Fibratsioonilised arvutuslikud efektid), Laboratory for Foundations of Computer Science, Edinburghi Ülikool, Suurbritannia.
Danel Ahman, magistrikraad, 2012, (juh) Dr. Sam Staton, Computational effects, algebraic theories and normalization by evaluation (Arvutuslikud efektid, algebralised teooriad ja normaliseerimine läbi väärtustamise), Computer Laboratory, Cambridge'i Ülikool, Suurbritannia.
 
 
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
Ahman, Danel (2018). Handling Fibred Algebraic Effects. Proceedings of the ACM on Programming Languages, 2 (POPL), 7:1−7:29.10.1145/3158095.
3.1.
2018
Ahman, Danel; Fournet, Cédric; Hriţcu, Cătălin; Maillard, Kenji; Rastogi, Aseem; Swamy, Nikhil (2018). Recalling a Witness: Foundations and Applications of Monotonic State. Proceedings of the ACM on Programming Languages, 2 (POPL), 65:1−65:30.10.1145/3158153.
1.1.
2017
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil (2017). Dijkstra monads for free. ACM SIGPLAN Notices, 52 (1), 515−529.10.1145/3093333.3009878.
3.1.
2017
Ahman, Danel; Hritcu, Catalin; Maillard, Kenji; Martinez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil (2017). Dijkstra Monads for Free. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 (Paris, January 2017). _EditorsAbbr Andy Gordon. New York: ACM, 515−529.10.1145/3009837.3009878.
3.1.
2017
Ahman, Danel; Uustalu, Tarmo (2017). Taking updates seriously. BX 2017 : Proceedings of the 6th International Workshop on Bidirectional Transformations, Uppsala, Sweden, April 29, 2017. _EditorsAbbr Eramo, Romina; Johnson, Michael. Aachen: RWTH Aachen, 59−73. (CEUR Workshop Proceedings; 1827).
3.1.
2016
Ahman, D.; Uustalu, T. (2016). Directed containers as categories. Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016. Ed. Atkey, R.; Krishnaswami, N. Sydney: Open Publishing Association, 89−98. (Electronic Proceedings in Theoretical Computer Science; 207).10.4204/eptcs.207.5.
3.1.
2016
Ahman, Danel; Ghani, Neil; Plotkin, Gordon (2016). Dependent Types and Fibred Computational Effects. Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. _EditorsAbbr Jacobs, Bart; Löding, Christof. Berlin: Springer, 36−54. (Lecture Notes in Computer Science; 9634).10.1007/978-3-662-49630-5_3.
5.2.
2015
Ahman, Danel; Plotkin, Gordon (2015). Refinement types for algebraic effects. 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 March 2015, Abstracts. _EditorsAbbr Uustalu, Tarmo. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 10−11.
1.1.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Electronic Notes in Theoretical Computer Science, 308, 25−48.10.1016/j.entcs.2014.10.003.
1.1.
2014
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2014). When is a container a comonad? Logical Methods in Computer Science, 10 (3), 1−48.10.2168/lmcs-10(3:14)2014.
3.1.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Update monads: cointerpreting directed containers. 19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22-26, 2013, Toulouse, France. _EditorsAbbr Matthes, Ralph; Schubert, Aleksy. Saarbrücken/Wadern: Dagstuhl Publishing, 1−23. (Leibniz International Proceedings in Informatics; 26).10.4230/lipics.types.2013.1.
3.4.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Mathematical Foundations of Programming Semantics: Thirtieth Annual Conference, Cornell University, Ithaca, NY, June 12-15 2014, Preliminary Proceedings. _EditorsAbbr Jacobs, Bart; Silva, Alexandra; Staton, Sam. [New Orleans, LA]: [Tulane University], 22−43.
5.2.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. TYPES 2014, Types for Proofs and Programs, 20th Meeting: Paris, 12-15 May 2014, Book of Abstracts. _EditorsAbbr Herbelin, Hugo; Letouzey, Pierre; Sozeau, Matthieu. [Paris]: [INRIA Paris-Rocquencourt], 17−18.
1.1.
2013
Ahman, Danel; Staton, Sam (2013). Normalization by evaluation and algebraic effects. Electronic Notes in Theoretical Computer Science, 298, 51−69.10.1016/j.entcs.2013.09.007.
1.1.
2013
Ahman, Danel; Uustalu, Tarmo (2013). Distributive laws of directed containers. Progress in Informatics, 10, 3−18.10.2201/niipi.2013.10.2.
5.2.
2013
Ahman, Danel; Uustalu, Tarmo (2013). . Types for Proofs and Programs, 19th TYPES Meeting : Toulouse, France, April 22-26, 2013 : TYPES 2013 : Book of Abstracts. _EditorsAbbr Matthes, Ralph. Toulouse: Institut de Recherche en Informatique de Toulouse, 16−17.
3.1.
2012
Ahman, Danel; Kääramees, Marko (2012). Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs. Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012) : Tallinn, Estonia, 25 March 2012. _EditorsAbbr Petrenko, Alexander K.; Schlingloff, Holger. Open Publishing Association, 115−129. (Electronic Proceedings in Theoretical Computer Science; 80).10.4204/EPTCS.80.9.
3.1.
2012
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2012). When is a container a comonad? Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. _EditorsAbbr Birkedal, Lars. Berlin: Springer, 74−88. (Lecture Notes in Computer Science; 7213).10.1007/978-3-642-28729-9_5.
5.2.
2012
Ahman, Danel; Uustalu, Tarmo (2012). Distributive laws of directed containers. 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012: Tallinn, Estonia, 31 March-1 April 2012: Short Contributions. _EditorsAbbr Pattinson, Dirk; Schröder, Lutz. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 1−3.

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
Danel Ahman, Doctor's Degree, 2017, (sup) Prof. Gordon Plotkin; Dr. Ian Stark, Fibred computational effects, Laboratory for Foundations of Computer Science, University of Edinburgh, United Kingdom.
Danel Ahman, Master's Degree, 2012, (sup) Dr. Sam Staton, Computational effects, algebraic theories and normalization by evaluation, Computer Laboratory, University of Cambridge, United Kingdom.
 
 
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
Ahman, Danel (2018). Handling Fibred Algebraic Effects. Proceedings of the ACM on Programming Languages, 2 (POPL), 7:1−7:29.10.1145/3158095.
3.1.
2018
Ahman, Danel; Fournet, Cédric; Hriţcu, Cătălin; Maillard, Kenji; Rastogi, Aseem; Swamy, Nikhil (2018). Recalling a Witness: Foundations and Applications of Monotonic State. Proceedings of the ACM on Programming Languages, 2 (POPL), 65:1−65:30.10.1145/3158153.
1.1.
2017
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil (2017). Dijkstra monads for free. ACM SIGPLAN Notices, 52 (1), 515−529.10.1145/3093333.3009878.
3.1.
2017
Ahman, Danel; Hritcu, Catalin; Maillard, Kenji; Martinez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil (2017). Dijkstra Monads for Free. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 (Paris, January 2017). _EditorsAbbr Andy Gordon. New York: ACM, 515−529.10.1145/3009837.3009878.
3.1.
2017
Ahman, Danel; Uustalu, Tarmo (2017). Taking updates seriously. BX 2017 : Proceedings of the 6th International Workshop on Bidirectional Transformations, Uppsala, Sweden, April 29, 2017. _EditorsAbbr Eramo, Romina; Johnson, Michael. Aachen: RWTH Aachen, 59−73. (CEUR Workshop Proceedings; 1827).
3.1.
2016
Ahman, D.; Uustalu, T. (2016). Directed containers as categories. Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016. Ed. Atkey, R.; Krishnaswami, N. Sydney: Open Publishing Association, 89−98. (Electronic Proceedings in Theoretical Computer Science; 207).10.4204/eptcs.207.5.
3.1.
2016
Ahman, Danel; Ghani, Neil; Plotkin, Gordon (2016). Dependent Types and Fibred Computational Effects. Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. _EditorsAbbr Jacobs, Bart; Löding, Christof. Berlin: Springer, 36−54. (Lecture Notes in Computer Science; 9634).10.1007/978-3-662-49630-5_3.
5.2.
2015
Ahman, Danel; Plotkin, Gordon (2015). Refinement types for algebraic effects. 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 March 2015, Abstracts. _EditorsAbbr Uustalu, Tarmo. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 10−11.
1.1.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Electronic Notes in Theoretical Computer Science, 308, 25−48.10.1016/j.entcs.2014.10.003.
1.1.
2014
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2014). When is a container a comonad? Logical Methods in Computer Science, 10 (3), 1−48.10.2168/lmcs-10(3:14)2014.
3.1.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Update monads: cointerpreting directed containers. 19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22-26, 2013, Toulouse, France. _EditorsAbbr Matthes, Ralph; Schubert, Aleksy. Saarbrücken/Wadern: Dagstuhl Publishing, 1−23. (Leibniz International Proceedings in Informatics; 26).10.4230/lipics.types.2013.1.
3.4.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. Mathematical Foundations of Programming Semantics: Thirtieth Annual Conference, Cornell University, Ithaca, NY, June 12-15 2014, Preliminary Proceedings. _EditorsAbbr Jacobs, Bart; Silva, Alexandra; Staton, Sam. [New Orleans, LA]: [Tulane University], 22−43.
5.2.
2014
Ahman, Danel; Uustalu, Tarmo (2014). Coalgebraic update lenses. TYPES 2014, Types for Proofs and Programs, 20th Meeting: Paris, 12-15 May 2014, Book of Abstracts. _EditorsAbbr Herbelin, Hugo; Letouzey, Pierre; Sozeau, Matthieu. [Paris]: [INRIA Paris-Rocquencourt], 17−18.
1.1.
2013
Ahman, Danel; Staton, Sam (2013). Normalization by evaluation and algebraic effects. Electronic Notes in Theoretical Computer Science, 298, 51−69.10.1016/j.entcs.2013.09.007.
1.1.
2013
Ahman, Danel; Uustalu, Tarmo (2013). Distributive laws of directed containers. Progress in Informatics, 10, 3−18.10.2201/niipi.2013.10.2.
5.2.
2013
Ahman, Danel; Uustalu, Tarmo (2013). . Types for Proofs and Programs, 19th TYPES Meeting : Toulouse, France, April 22-26, 2013 : TYPES 2013 : Book of Abstracts. _EditorsAbbr Matthes, Ralph. Toulouse: Institut de Recherche en Informatique de Toulouse, 16−17.
3.1.
2012
Ahman, Danel; Kääramees, Marko (2012). Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs. Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012) : Tallinn, Estonia, 25 March 2012. _EditorsAbbr Petrenko, Alexander K.; Schlingloff, Holger. Open Publishing Association, 115−129. (Electronic Proceedings in Theoretical Computer Science; 80).10.4204/EPTCS.80.9.
3.1.
2012
Ahman, Danel; Chapman, James; Uustalu, Tarmo (2012). When is a container a comonad? Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. _EditorsAbbr Birkedal, Lars. Berlin: Springer, 74−88. (Lecture Notes in Computer Science; 7213).10.1007/978-3-642-28729-9_5.
5.2.
2012
Ahman, Danel; Uustalu, Tarmo (2012). Distributive laws of directed containers. 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012: Tallinn, Estonia, 31 March-1 April 2012: Short Contributions. _EditorsAbbr Pattinson, Dirk; Schröder, Lutz. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 1−3.