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 42791
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, cryptography, and Computer Science education.

Job Opportunities:

Chair in Cognitive Robotics
Lectureship/Senior Lectureship in Computational Biology
Teaching Instructor
More computer-related job adverts can be found here (UK) and here (World).

Live projects
Coalgebraic Logic - Extending the Scope

Upcoming events:

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.
- AAA80 Workshop on General Algebra Stefan Banach International Mathematical Center, Bedlewo, Poznan, Poland, June 1-6, 2010.
- CiE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal. 30th June to 4th July, 2010.
- Computing - The Next Generation. 2nd Conference for teachers University of Birmingham, 9th July, 2010. (Organised by the Computing at School consortium.)
- 25th Summer Topology Conference Department of Mathematics of Jan Kochanowski University in Kielce, Poland, July 25-30, 2010.
- WoLLIC 2011, 18th Workshop on Logic, Language, Information and Computation, University of Pennsylvania, May 18-21, 2011.
- Computability in Europe

Computing at School:

The Computing at School Working Group is an informal group that aims to promote the teaching of computing at school. Membership is broad, and includes teachers, examiners, parents, university faculty, and employers.

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

The 40/50 celebration of Computer Science at Birmingham, Thursday, 12th November, 2009.
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.