Achim Jung Professor of 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.

• Birmingham Seminar series:

  • Theory Group Lab Lunch, Tuesdays, 12:15-1:45pm
  • Theory Group Mathematical Lunch, Fridays, 1-2pm
  • Birmingham Theory Seminar (usually Fridays, 4-5pm)
  • Birmingham Departmental Seminar (usually Thursdays, 4-5pm)

• 3rd Conference for teachers (Computing at School)
  University of Birmingham, 23/24 June 2011

• Further events:

  2011

  • WoLLIC 2011, 18th Workshop on Logic, Language, Information and Computation, University of Pennsylvania, May 18-21, 2011.
  • 27th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVII) Carnegie Mellon University, Pittsburgh, May 25-28, 2011.
  • CiE 2011: Models of Computation in Context Sofia, Bulgaria, June 27 - July 2, 2011.
  • Topology, Algebra, and Categories in Logic (TACL 2011) Marseilles, France, July 26 - 30, 2011 (abstracts by April 18).

    2012

  • British Colloquium for Theoretical Computer Science (BCTCS 28)
    University of Manchester, 2-5 April 2012.

• See also:

  • British Colloquium for Theoretical Computer Science (BCTCS)
  • Computability in Europe (CiE)
  • Computing at School (CAS)
  • The Midlands Graduate School in the Foundations of Computing Science (MGS)
  • The Wessex Theory Seminar

Research projects

• Coalgebraic Logic - Extending the Scope 2009-2012. Funded by EPSRC.
• A logical approach to heterogeneous data January-March 2011. Funded by Bridging the Gap (EPSRC).
• D-frames meet bilattices. 2011-2013. Funded by the Marie Curie programme (EU).

Teaching:

• In the Autumn Term 2010 I taught Mathematical Techniques for CS.
• In the Spring Term 2011 I teach, jointly with Hayo Thielecke, Principles of Programming Languages.
• 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

• British Colloquium for Theoretical Computer Science (BCTCS 27)
  University of Birmingham, 18-21 April 2011.

• Modal Logic and Stone Duality, University of Amsterdam, December 13, 2010.
• 25th Summer Topology Conference Department of Mathematics of Jan Kochanowski University in Kielce, Poland, July 25-30, 2010.
• Computing - The Next Generation. 2nd Conference for teachers University of Birmingham, 9th July, 2010. (Organised by the Computing at School consortium.)
• CiE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal. 30th June to 4th July, 2010.
• AAA80 Workshop on General Algebra Stefan Banach International Mathematical Center, Bedlewo, Poznan, Poland, June 1-6, 2010.
• 26th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVI) University of Ottawa, May 6-10, 2010.
• 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.