Professor Achim Jung

School of Computer Science
Emeritus Professor of Computer Science

Contact details

Telephone: +44 (0) 121 414 4776
Email: a.jung@cs.bham.ac.uk

Address: School of Computer Science
University 麻豆精选
Edgbaston
Birmingham
B15 2TT
UK

Achim Jung is an Emeritus Professor of Computer Science.

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 network.

For more information, please see Achim's .

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 麻豆精选, 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

Rivieccio, U & Jung, A 2021, '', Soft Computing, vol. 25, no. 2, pp. 851鈥�868.

Jia, X, Jung, A & Li, Q 2019, '', Houston Journal of Mathematics, vol. 45, no. 3, pp. 935-951. <>

Jakl, T, Jung, A & Pultr, A 2019, '', Applied Categorical Structures, vol. 27, no. 3, pp. 261-275.

Rivieccio, U, Maia, P & Jung, A 2018, '', Interest Group in Pure and Applied Logics. Logic Journal.

Ho, WK, Goubault-Larrecq, J, Jung, A & Xi, X 2018, '', Logical Methods in Computer Science, vol. 14, no. 1, 7.

Jia, X, Jung, A & Li, Q 2016, '', Topology and its Applications, vol. 209, pp. 235-238.

Jia, X, Jung, A, Kou, H, Li, Q & Zhao, H 2015, '', Theoretical Computer Science, vol. 594, pp. 143-150.

Rivieccio, U, Jung, A & Jansana, R 2015, '', Journal of Logic and Computation.

Chen, L & Jung, A 2014, '', Electronic Notes in Theoretical Computer Science, vol. 308, pp. 109-128.

Comment/debate

Jung, A 2014, '', ACM SIGLOG News, vol. 1, no. 2, pp. 25-37.

Conference contribution

Petters, D & Jung, A 2018, . 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, . 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.

Jakl, T & Jung, A 2017, . 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.

Jakl, T, Jung, A & Pultr, A 2016, . 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.

Ghica, D & Jung, A 2016, . 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.