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
I am a member of the Birmingham Theory Group and 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, Wednesdays, 1:00-2:00pm
  • Birmingham Theory Seminar (usually Fridays, 11-12am)

• 9th Conference for teachers (Computing at School)
  University of Birmingham, 16/17 June 2017
  

• Further events:

  • Midlands Graduate School
    University of Nottingham, 9-13 April, 2018.
  • 34th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXIV)
    Dalhousie University, Halifax, 6-9 June, 2018.
  • Workshop Domains
    University of Oxford, UK, 7-8 July, 2018.
  • Computer Science Logic
    University of Birmingham, UK, 4-7 September, 2018.
  • Continuity, Computability, Constructivity - From Logic to Algorithms
    Faro, Portugal, 24-28 September, 2018.
  • Workshop on Algebra, Logic, and Topology (in honour of Ales Pultr)
    University of Coimbra, 27-29 September, 2018.

• See also:

  • ACM Special Interest Group on Logic and Computation
  • British Logic Colloquium
  • 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.
• D-frames meet bilattices. 2011-2013. Funded by the Marie Curie programme (EU).
  
  Interested in getting involved? Find out more about PhD opportunities in the Theory Group at Birmingham.

Teaching:

This year I will teach Evaluation Methods and Statistics (jointly with Dr Rowanne Fleck) and Mathematical Techniques for Computer Science in the Autumn Semester, and Teaching Computer Science in Schools in the Spring.

Links:

• Google Scholar page
• 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
• Categories and General Algebraic Structures with Applications
• Electronic Notes in Theoretical Computer Science - An electronic book series published by Elsevier.

Past activities

• Computer Science Logic (CSL 2017)
  Stockholm, August 20-24, 2017.
• Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017)
  Loria, Nancy, June 26-30, 2017.
• Topology, Algebra, and Categories in Logic (TACL 2017)
  Prague, Czech Republic, June 26-30, 2017.
• 7th International Symposium on Domain Theory and Applications (ISDT 2017)
  Shijiazhuang City, Hebei, China, June 2 - 4, 2017.
• Midlands Graduate School
  University of Leicester, 9-13 April, 2017.
• 51st Spring Topology and Dynamical Systems Conference
  New Jersey City University, Jersey City, NJ, March 8-11, 2017.
• Winter School on Denotational Semantics
  St Petersburg, Russia, January 30 - February 3, 2017.
• 32nd Conference on Mathematical Foundations of Programming Semantics (MFPS XXXII)
  Carnegie Mellon University, Pittsburgh, 23-26 May, 2016.
• Models of Computation with Order and Topology
  University of Isfahan, Isfahan, Iran, April 15-17, 2015.
• Topology, Algebra, and Categories in Logic 2015
  Ischia, 21-26 June, 2015.
• 31st Conference on Mathematical Foundations of Programming Semantics (MFPS XXXI)
  Nijmegen, 22-25 June, 2015.
• WoLLIC 2015, 22nd Workshop on Logic, Language, Information and Computation
  Bloomington, Indiana, USA, July 20-23, 2015.
• 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
  Universitat Pompeu Fabra, Barcelona, August 3-14, 2015.
• Domains XII
  University College Cork, Ireland, August 25-28, 2015.
• 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2015)
  September 2015.
• Domains XI - International workshop on domain theory and applications
  Paris Diderot, 8-10 September, 2014.
• Mathematical Foundations of Computer Science
  Budapest, 25-29 August, 2014. (conference poster)
• 30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)
  Cornell University, Ithaka, New York, 12-15 June, 2014.
• Midlands Graduate SchoolUniversity of Nottingham, 22-26 April, 2014.
• The 30th British Colloquium for Theoretical Computer Science
  Loughborough University, 9-11 April 2014.
• Workshops on Duality and Probabilistic Systems
  McGill Bellairs Research Institute, Barbados, 14-21 March 2014.
• 1st Workshop on Mathematical Structures
  African Institute for Mathematical Sciences and the Department of Mathematical Sciences at Stellenbosch University, 2-7 December, 2013.
• 6th International Symposium on Domain Theory and Applications (ISDT 2013)
  Hunan University, Changsha, October 25 - 29, 2013.
• Topology, Algebra, and Categories in Logic (TACL 2013)
  Vanderbilt University, Nashville, July 28 - August 1, 2013.
• 25th European Summer School in Logic, Language and Information (ESSLLI 2013)
  Heinrich Heine University, Düsseldorf, Germany, August 5-16, 2013.
• 29th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIX)
  Tulane University, New Orleans, 23-25 June, 2013.
• CPD courses for teachers in the Network of Excellence, Spring 2013
  
• A logical approach to heterogeneous data January-March 2011. Funded by Bridging the Gap (EPSRC).
• British Colloquium for Theoretical Computer Science (BCTCS 28)
  University of Manchester, 2-5 April 2012.
• Fixpoints in Computer Science (FICS 2012)
  Tallinn, Estonia, 24 March 2012. (A satellite workshop to ETAPS)
• 28th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVIII)
  University of Bath, 6-9 June, 2012.
• 3rd Conference for teachers (Computing at School) University of Birmingham, 23/24 June 2011
• Midlands Graduate School Christmas Seminar Birmingham, December 20, 2011.
• Domains X Swansea, UK, September 5-7, 2011.
• Topology, Algebra, and Categories in Logic (TACL 2011) Marseilles, France, July 26 - 30, 2011.
• CiE 2011: Models of Computation in Context Sofia, Bulgaria, June 27 - July 2, 2011.
• 27th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVII) Carnegie Mellon University, Pittsburgh, May 25-28, 2011.
• WoLLIC 2011, 18th Workshop on Logic, Language, Information and Computation, University of Pennsylvania, May 18-21, 2011.
• 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.