Achim Jung

Professor of Theoretical Computer Science

School of Computer Science
The University of Birmingham
Edgbaston
Birmingham, B15 2TT
United Kingdom

Office: 213, Computer Science Building
Phone: (+44) 121 41 44776
Sec: (+44) 121 41 43711
Fax: (+44) 121 41 44281
Email: A.Jung @ cs.bham.ac.uk

My research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, and cryptography.

Upcoming events:

The 40/50 celebration of Computer Science at Birmingham, Thursday, 12th November, 2009.

Birmingham Seminar series:

Theory Group Lab Lunch, Tuesdays, 1-2pm
Birmingham Theory Seminar (usually Fridays, 2-3pm)
Birmingham Departmental Seminar (usually Thursdays, 4-5pm)

Further events:

26th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVI) University of Ottawa, May 6-10, 2010.
CiE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal. June/July 2010.
Computability in Europe

Teaching:

In the Autumn Term 2009 I teach Mathematical Techniques for CS.
I am Course Director and Admissions Tutor for the Intercalated Year in Computer Science. We usually run an open day in February. You can also contact me about this via email.

Links:

Editorships

Theoretical Computer Science
Electronic Notes in Theoretical Computer Science - An electronic book series published by Elsevier.

Past activities

26th British National Conference on Databases 2009 University of Birmingham, July 7-9, 2009.
2nd International Conference on Topology and its Applications Hacettepe University, Ankara, Turkey, 6-11 July, 2009.
Topology, Algebra, and Categories in Logic Amsterdam, July 7-11, 2009.
24th Summer Conference on Topology and Its Applications Brno, Czech Republic, July 14-17, 2009.
ISDT 2009 Shanghai, 12-14 September 2009.
Eighth Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, 21-25 September 2009.
Computing - The Next Generation. Conference for teachers University of Birmingham, 19th June, 2009. (Organised by the Computing at School consortium.) Post conference report.
25th Conference on Mathematical Foundations of Programming Semantics (MFPS XXV) University of Oxford, UK, April 3-7, 2009.
Midlands Graduate School University of Leicester, 30th March - 3rd April, 2009. (Organised by the MGS consortium: Birmingham, Leicester, Nottingham, Sheffield)
New Interactions between Analysis, Topology, and Computation University of Birmingham, 7-9 January, 2009.
Midlands Graduate School University of Birmingham, 14-18 April, 2008.
24th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV) University of Pennsylvania, Philadelphia, May 22-25, 2008.
International Workshop on Topological Methods in Logic Tbilisi, Georgia, 3-5 June, 2008.
Foundations of Informatics Computing and Software (FICS 2008), Shanghai, 3-6 June, 2008.
Fifteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2008) Heriott-Watt University, Edinburgh, July 1-4, 2008.
Logic in Geometry and Quantum Theory University of Nijmegen, September 3-5, 2008.
Domains IX University of Sussex, September 22-24, 2008.
Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11-15, 2007.
Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007) July 2-5, 2007, Rio de Janeiro.
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII) April 11-14, 2007, Tulane University, New Orleans.
Midlands Graduate SchoolUniversity of Nottingham, 16-20 April, 2007.
Logic Colloquium 2006 July 27 - August 2, 2006, Radboud University, Nijmegen, The Netherlands.
Summer Conference on Topology and Applications July 10-13, 2005, Denison University, Ohio, US.
21st Conference on Mathematical Foundations of Programming Semantics 18-21 May, 2005.
Local arrangements
Midlands Graduate School 11-15 April, 2005.
19th Annual IEEE Symposium on Logic in Computer Science (July 2004, Turku, Finland)
19th Summer Conference on Topology and its Applications (5-9 July 2004, University of Cape Town, South Africa)
20th Conference on Mathematical Foundations of Programming Semantics (May 22-26, Carnegie Mellon University, Pittsburgh, USA)
Applied Semantics (April 14 - 16, Tallinn, Estonia)
Midlands Graduate School (Spring 2004, Nottingham)
Estonian Winter School in Computer Science (Feb 19 - March 5, Tallinn, Estonia)
Midlands Graduate School, Leicester, March 31 - April 4, 2003.
6th Workshop Domains, Birmingham, September 16-19, 2002.
European Summer School in Logic, Language, and Information, Birmingham, August 6-18, 2000.
The Semantic Challenge of Object-Oriented Programming. Dagstuhl, June 28 - July 3, 1998.
Summer School and Workshop on Computation and Approximation. Birmingham, September 8-13, 1997.
LOGSEM Workshop. Birmingham, September 13-16,1996.
Logic, Domains, and Programming Languages. Darmstadt, May 25-27, 1995.
Workshop Domains. Darmstadt, June 10-12, 1994.
Workshop on Domain Theory and Databases. Darmstadt, July 13-15, 1989.