Emeritus Professor of Computer Science
School of Computer Science
The University of Birmingham
Birmingham, B15 2TT
Email: A.Jung / bham.ac.uk
I am a member of the Birmingham Theory Group and my research interests include domain theory, denotational semantics of
programming languages, lambda calculus, topology, cryptography, and Computer Science education.
Events @ Birmingham
Talks @ Birmingham
Events further afield
- 9th International Symposium of
Domain Theory and Its Applications (ISDT '22)
Online. Organised by Mathematics and Mathematics Education Academic Group, National Institute of Education, Nanyang Technological University, Singapore, 4-6 July, 2022.
- Topology, Algebra and Categories in Logic (TACL 2022)
Coimbra, Portugal, 20-24 June 2022.
- 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII) and 9th Conference on Algebra and Coalgebra in Computer Science
Salzburg, Austria, 30 August - 3 September, 2021.