Skapa en profil
Offentlig åtkomst
Visa alla6 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Conor McBrideReader, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerifierad e-postadress på ru.is
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerifierad e-postadress på cs.nott.ac.uk
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerifierad e-postadress på inf.ed.ac.uk
- Orestis MelkonianInput Output (IOG/IOHK)Verifierad e-postadress på iohk.io
- Allais GuillaumeChancellor's Fellow, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Robert AtkeyUniversity of StrathclydeVerifierad e-postadress på strath.ac.uk
- Michael Peyton JonesIOHKVerifierad e-postadress på michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKVerifierad e-postadress på justtesting.org
- Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerifierad e-postadress på cs.ioc.ee
- James McKinnaHeriot-Watt University, EdinburghVerifierad e-postadress på hw.ac.uk
- Pierre-Evariste DagandCNRSVerifierad e-postadress på evr.ist
- Kevin HammondHead of Software Engineering (Cardano Core), IOGVerifierad e-postadress på iohk.io
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerifierad e-postadress på gu.se
- Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainVerifierad e-postadress på uclouvain.be
- Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKVerifierad e-postadress på uib.no
- Danel AhmanInstitute of Computer Science, University of TartuVerifierad e-postadress på ut.ee
- Chad NesterTallinn University of TechnologyVerifierad e-postadress på taltech.ee
- Ulf NorellUniversity of GothenburgVerifierad e-postadress på chalmers.se