Skapa en profil
Offentlig åtkomst
Visa alla11 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerifierad e-postadress på mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC BerkeleyVerifierad e-postadress på cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
- dusko pavlovicProfessor at University of HawaiiVerifierad e-postadress på hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerifierad e-postadress på indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-SaclayVerifierad e-postadress på lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerifierad e-postadress på surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCLVerifierad e-postadress på ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)Verifierad e-postadress på uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerifierad e-postadress på imperial.ac.uk
- Roberto SegalaUniversità di VeronaVerifierad e-postadress på univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerifierad e-postadress på nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research LaboratoryVerifierad e-postadress på dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerifierad e-postadress på gc.cuny.edu