Achim Jung

Professor of Computer Science at University of Birmingham. He is a member of the Birmingham Theory Group and his research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, cryptography, and Computer Science education.