Personal: Contact Pictures Research: Publications Events & talks PhD Students Research projects Editorships Past activities Teaching: Tutorial Notes

Achim Jung

Emeritus Professor of Computer Science

School of Computer Science
The University of Birmingham
Birmingham, B15 2TT
United Kingdom
Email: A.Jung /
Achim Jung

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

See also

Research projects


This year I teach Mathematical and Logical Foundations of Computer Science in the Autumn Semester (jointly with Vincent Rahli), and Teaching Computer Science in Schools in the Spring.