Achim JungEmeritus Professor of Computer Science
|  | |||
|
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.
|
||||
Events @ Birmingham
- Midlands Graduate School 2021, Universities of Sheffield and Birmingham, 12 - 16 April 2021.
- Continuity, Computability, Constructivity - From Logic to Algorithms
Birmingham, 19 - 24 September, 2021.
Talks @ Birmingham
- Theory Group Lab Lunch (Thursdays, 2-3pm)
- Birmingham Theory Seminar (Fridays, 2-3pm)
- All talks at Birmingham
Events further afield
- 9th International Symposium of
Domain Theory and Its Applications (ISDT '22)
Online. Organised by Mathematics and Mathematics Education Academic Group, National Institute of Education, Nanyang Technological University, Singapore, 4-6 July, 2022. - Topology, Algebra and Categories in Logic (TACL 2022)
Coimbra, Portugal, 20-24 June 2022. - 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII) and 9th Conference on Algebra and Coalgebra in Computer Science
Salzburg, Austria, 30 August - 3 September, 2021.
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)
Research projects
- Computing with Infinite Data. Funded by EU (Horizon 2020, Marie Skłodowska-Curie Research and Innovation Staff Exchange, RISE), 2016-2020.
- 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.
Editorships
- Theoretical Computer Science
- Categories and General Algebraic Structures with Applications
- Electronic Notes in Theoretical Computer Science - An electronic book series published by Elsevier.
Teaching
This year I teach Mathematical and Logical Foundations of Computer Science in the Autumn Semester (jointly with Vincent Rahli), and Teaching Computer Science in Schools in the Spring.