Achim Jung

Links

Colleges, School and Institutes

Willingness to take PhD students

Yes

PhD projects

Achim Jung’s research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, cryptography and computer science education.

View graph of relations

Most downloaded publications

All cartesian closed categories of quasicontinuous domains consist of domains
Jia, X., Achim Jung, Kou, H., Li, Q. & Zhao, H., 23 Aug 2015, In : Theoretical Computer Science. 594, p. 143-150 9 p.

Research output: Contribution to journal › Article

64 downloads
Preface for the special issue on domains
Reus, B., Achim Jung, Keimel, K. & Streicher, T., 1 Apr 2010, In : Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

Research output: Contribution to journal › Editorial

54 downloads
On a categorical framework for coalgebraic modal logic
Chen, L. & Achim Jung, 29 Oct 2014, In : Electronic Notes in Theoretical Computer Science. 308, p. 109-128

Research output: Contribution to journal › Article

43 downloads
Bitopology and four-valued logic
Jakl, T., Achim Jung & Pultr, A., 7 Oct 2016, 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. Birkedal, L. & Mislove, M. (eds.). Elsevier, Vol. 325. p. 201-219 18 p. (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

40 downloads
Categorical Semantics of Digital Circuits
Dan Ghica & Achim Jung, 3 Oct 2016, Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, p. 41-48 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

32 downloads

Recent publications

Quotients of d-Frames
Tomas Jakl, Achim Jung & Pultr, A., Jun 2019, In : Applied Categorical Structures. 27, 3, p. 261-275 15 p.

Research output: Contribution to journal › Article

Non-involutive twist-structures
Rivieccio, U., Maia, P. & Achim Jung, 29 Nov 2018, In : Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

Research output: Contribution to journal › Article

From the Chinese room argument to the Church-Turing thesis
Petters, D. & Achim Jung, 6 Apr 2018, 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), p. 25-29 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (35)