Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Varmo VeneProfessor of Semantics of Programming Languages, University of TartuVerified email at cs.ut.ee
Luís PintoCentro de Matemática and Departamento de Matemática e Aplicações, Universidade do MinhoVerified email at math.uminho.pt
Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
James ChapmanIOG (IOHK)Verified email at iohk.io
Ando SaabasMicrosoftVerified email at set.ee
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Danel AhmanInstitute of Computer Science, University of TartuVerified email at ut.ee
Keiko NakataSAP SEVerified email at cs.ioc.ee
Ralph MatthesCNRS, IRIT, Toulouse, FranceVerified email at irit.fr
Denis FirsovResearcher at Matter Labs and Tallinn University of TechnologyVerified email at cs.ioc.ee
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com
Dylan McDermottReykjavik UniversityVerified email at ru.is
Noam ZeilbergerEcole PolytechniqueVerified email at lix.polytechnique.fr
Maria João FradeHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Alberto PardoProfessor of Computer Science, Instituto de Computacion, Universidad de la Republica, UruguayVerified email at fing.edu.uy
Hendrik MaarandTallinn University of TechnologyVerified email at cs.ioc.ee
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
Marco GaboardiBoston UniversityVerified email at bu.edu
Follow![Tarmo Uustalu](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=BFHrFCUAAAAJ&citpid=2)
Tarmo Uustalu
Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology
Verified email at ru.is - Homepage