Achim Jung

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

Job Opportunities:

• Lectureship in Computer Security
• More computer-related job adverts can be found here (UK) and here (World).

• 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

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.

• The Computing at School website
• The first Computing at School newsletter (pdf)

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:

• Publications
• Tutorial Notes
• Teaching
• Final Year Projects
• Current PhD Students
• The Midlands Graduate School in the Foundations of Computing Science
• Former PhD Students
• Former Bachelor and Master students
• Personal timetable
• Pictures

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.