Name:	Emeritus Professor A Jung
Organisation:	University of Birmingham
Department:	School of Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/H04714X/1 Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality (C) EP/G041296/1 Coalgebraic Logic: Expanding the Scope (C) EP/D029643/1 Security Tutorial Day at MFPS 21 (P) EP/C508866/1 MLS - a framework for continuous domain theory in logical form (P) GR/S79770/01 Multi-Lingual Sequent Calculus and Domain Theory (P) GR/S46833/01 Midlands Graduate School 2003 (P) GR/S11756/01 Workshop Domains VI (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator