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'HearnLacework and University 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 Academy of Sciences & Czech Technical UniversityVerified email at math.cas.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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=hCqqihQAAAAJ&citpid=3)
Achim Jung
Professor of Computer Science, University of Birmingham, UK
Verified email at cs.bham.ac.uk - Homepage