Achim Jung

Talks @ Birmingham

• Theory Group Lab Lunch (Thursdays, 2-3pm)
• Birmingham Theory Seminar (Fridays, 2-3pm)
• All talks at Birmingham

Events further afield

• 41st Conference on Mathematical Foundations of Programming Semantics (MFPS XLI) and 11th Conference on Algebra and Coalgebra in Computer Science
  Glasgow, 16-20 June 2025.

• Marco Abbatini won an EU Marie Skłodowska-Curie Fellowship (funded by UKRI) to visit for two years from September 2023.
• Igor Arrieta won a four-year fellowship from the Basque Government and will visit from April 2023 for two years.
• Chong Shen won a scholarship from the China Postdoctorial Science Foundation and is visiting from the Beijing University of Posts and Telecomunications from December 2022 for one year.
• Computing with Infinite Data. Funded by EU (Horizon 2020, Marie Skłodowska-Curie Research and Innovation Staff Exchange, RISE), 2016-2023.
• Umberto Riviecchio won the EU Marie Skłodowska-Curie Fellowship D-frames meet bilattices and visited from 2011 to 2013.
• Coalgebraic Logic - Extending the Scope 2009-2012. Joint with Alexander Kurz. Funded by EPSRC.
  
  Interested in getting involved? Find out more about the Theory Group at Birmingham.

Editorships

• Theoretical Computer Science
• Categories and General Algebraic Structures with Applications
• Electronic Notes in Theoretical Computer Science - An electronic book series published by Elsevier.

Some history

• I studied Mathematics and Computer Science at the Technical University of Darmstadt (then called Technische Hochschule Darmstadt) from 1978 to 1984, writing a Master's Thesis under the supervision of Klaus Keimel.
• With the help of a scholarship by the Studienstiftung des Deutschen Volkes I was able to spend one year at Carnegie Mellon University in Pittsburgh working with Dana Scott. I completed my PhD back home in Darmstadt under the supervision of Klaus Keimel.
• I worked as a postdoc in Samson Abramsky's group at Imperial College 1989 to 1990, returning to Darmstadt to complete my Habilitation in 1994.
• I was appointed Full Professor in the School of Computer Science at the University of Birmingham in 1995, and together with Marta Kwiatkowska, Valeria de Paiva, and Eike Ritter founded the Theory Group.
• My main area of expertise is domain theory which has roots in denotational semantics of programming languages and topological algebra. Klaus Keimel has written a short history of how these two fields came together. A more detailed account can be found in the monograph Continuous Lattices and Domains. A precursor to this book was the write-in Seminar on Continuity in Semilattices (SCS).