EPSRC logo
Researcher Details
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