Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
- Umberto RivieccioAssistant Professor, UNED (Madrid)Verified email at fsof.uned.es
- Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
- Xiaodong JiaSchool of Mathematics, Hunan UniversityVerified email at hnu.edu.cn
- Qingguo Li(李庆国)Hunan UniversityVerified email at hnu.edu.cn
- Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
- Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
- Atsushi OhoriTohoku UniversityVerified email at riec.tohoku.ac.jp
- Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiVerified email at mimuw.edu.pl
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Jean Goubault-LarrecqVerified email at lsv.fr
- Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerified email at imperial.ac.uk
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
- Jon RieckeGoogle Inc.Verified email at google.com
- Tomá¹ JaklCzech Technical UniversityVerified email at cvut.cz
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Follow
Achim Jung
Professor of Computer Science, University of Birmingham, UK
Verified email at cs.bham.ac.uk - Homepage