Crea il mio profilo
Accesso pubblico
Visualizza tutto6 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Conor McBrideReader, University of StrathclydeEmail verificata su strath.ac.uk
- Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyEmail verificata su ru.is
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamEmail verificata su cs.nott.ac.uk
- Philip WadlerUniversity of Edinburgh and IOHK/IOGEmail verificata su inf.ed.ac.uk
- Orestis MelkonianInput Output (IOG/IOHK)Email verificata su iohk.io
- Allais GuillaumeChancellor's Fellow, University of StrathclydeEmail verificata su strath.ac.uk
- Robert AtkeyUniversity of StrathclydeEmail verificata su strath.ac.uk
- Michael Peyton JonesIOHKEmail verificata su michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKEmail verificata su justtesting.org
- Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyEmail verificata su cs.ioc.ee
- James McKinnaHeriot-Watt University, EdinburghEmail verificata su hw.ac.uk
- Pierre-Evariste DagandCNRSEmail verificata su evr.ist
- Kevin HammondHead of Software Engineering (Cardano Core), IOGEmail verificata su iohk.io
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityEmail verificata su gu.se
- Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainEmail verificata su uclouvain.be
- Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKEmail verificata su uib.no
- Danel AhmanInstitute of Computer Science, University of TartuEmail verificata su ut.ee
- Chad NesterTallinn University of TechnologyEmail verificata su taltech.ee
- Ulf NorellUniversity of GothenburgEmail verificata su chalmers.se