Professor Achim Jung

Prof Achim Jung

School of Computer Science
Professor of Computer Science

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Achim Jung is a Professor of Computer Science. He currently serves the School as its Director of Research. He also heads the Theory Group, one of the largest research groups in Foundations of Computer Science in the world.

Achim served as Head of School twice, 1997-2000 and 2008-2012.

Achim's interests are in mathematical structures underpinning the formal semantics of programming languages, such as ordered sets, topological spaces, categories, and logics.

Achim is also passionate about the teaching of computer science, both at university and in schools. He is one of the founder members of the Computing at School network.

For more information, please see Achim's homepage.

Qualifications

PhD (1988)

Habilitation (1994)

Biography

January to August 1984: Researcher at the Gesellschaft für Mathematik und Datenverarbeitung,Darmstadt.

September 1984 to May 1985: Teaching Assistant, Carnegie Mellon University, Pittsburgh,USA.

September 1985 to September 1995: Assistant in the Department of Mathematics, Technische Hochschule Darmstadt.

October 1989 to June 1990: Research Assistant in the Department of Computing, Imperial College, London.

Since October 1995: Professor of Computer Science, The University of Birmingham, United Kingdom.

 VISITING POSITIONS

February 1989 to April 1989: Guest researcher in the Department of Computer and Information

Science, University of Pennsylvania, Philadelphia, USA.

March 1995: Guest Researcher at the Department of Computer Science, Kansas State University, Manhattan, USA.

October 1995 to December 1995: Guest researcher at the Isaac Newton Institute for Mathematical Sciences in the programme Semantics of Computation.

May 2001: Guest Professor at Technical University Dresden.

September 2005 to June 2006: Visiting Researcher, Chapman University, Orange, California.

March 2013 to April 2013: Visiting Professor, École Normale Supérieure de Cachan, Paris.

March 2015 to May 2015: Visiting Professor, Fondation Sciences Mathématiques de Paris.

Publications

Recent publications

Article

Jakl, T, Jung, A & Pultr, A 2019, 'Quotients of d-Frames', Applied Categorical Structures, vol. 27, no. 3, pp. 261-275. https://doi.org/10.1007/s10485-018-09553-7

Rivieccio, U, Maia, P & Jung, A 2018, 'Non-involutive twist-structures', Interest Group in Pure and Applied Logics. Logic Journal. https://doi.org/10.1093/jigpal/jzy070

Jia, X, Jung, A & Li, Q 2018, 'A dichotomy result for locally compact sober dcpos', Houston Journal of Mathematics.

Ho, WK, Goubault-Larrecq, J, Jung, A & Xi, X 2018, 'The Ho Zhao Problem', Logical Methods in Computer Science, vol. 14, no. 1, 7. https://doi.org/10.23638/LMCS-14(1:7)2018

Jia, X, Jung, A & Li, Q 2016, 'A note on coherence of dcpos', Topology and its Applications, vol. 209, pp. 235-238. https://doi.org/10.1016/j.topol.2016.06.011

Jia, X, Jung, A, Kou, H, Li, Q & Zhao, H 2015, 'All cartesian closed categories of quasicontinuous domains consist of domains', Theoretical Computer Science, vol. 594, pp. 143-150. https://doi.org/10.1016/j.tcs.2015.05.014

Rivieccio, U, Jung, A & Jansana, R 2015, 'Four-valued modal logic: Kripke semantics and duality', Journal of Logic and Computation. https://doi.org/10.1093/logcom/exv038

Chen, L & Jung, A 2014, 'On a categorical framework for coalgebraic modal logic', Electronic Notes in Theoretical Computer Science, vol. 308, pp. 109-128. https://doi.org/10.1016/j.entcs.2014.10.007

Comment/debate

Jung, A 2014, 'Column - Semantics: Teaching denotational sematics', ACM SIGLOG News, vol. 1, no. 2, pp. 25-37. https://doi.org/10.1145/2677161.2677167

Conference contribution

Petters, D & Jung, A 2018, From the Chinese room argument to the Church-Turing thesis. in Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 25-29, Philosophy after AI Symposium at the 2018 AISB Convention, Liverpool, United Kingdom, 6/04/18.

Ghica, DR, Jung, A & Lopez, A 2017, Diagrammatic Semantics for Digital Circuits. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). vol. 82, 24, Leibniz International Proceedings in Informatics, vol. 82, Schloss Dagstuhl, pp. 24:1-24:16, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.24

Jakl, T & Jung, A 2017, Free constructions and coproducts of d-frames. in F Bonchi & B K├Ânig (eds), Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). LIPIcs: Leibniz International Proceedings in Informatics, vol. 72, Schloss Dagstuhl, pp. 14:1-14:15, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, Slovenia, 13/06/17. https://doi.org/10.4230/LIPIcs.CALCO.2017.14

Jakl, T, Jung, A & Pultr, A 2016, Bitopology and four-valued logic. in L Birkedal & M Mislove (eds), 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. vol. 325, Electronic Notes in Theoretical Computer Science, Elsevier, pp. 201-219, 32nd Conference on Mathematical Foundations of Programming Semantics, Pittsburgh, United States, 23/05/16. https://doi.org/10.1016/j.entcs.2016.09.039

Ghica, D & Jung, A 2016, Categorical Semantics of Digital Circuits. in Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, pp. 41-48, Formal Methods in Computer-Aided Design (FMCAD 2016), Mountain View, CA, United States, 3/10/16.

Goubault-larrecq, J & Jung, A 2014, QRB, QFS, and the probabilistic powerdomain. in B Jacobs, A Silva & S Staton (eds), Proceedings of the 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX). vol. 308, Electronic Notes in Theoretical Computer Science, vol. 308, Elsevier, pp. 167-182, 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX), Ithaca, NY, United States, 12/06/14. https://doi.org/10.1016/j.entcs.2014.10.010

View all publications in research portal