Achim JungProfessor 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 2019, University of Birmingham, 14 - 18 April 2019.
Celebrating the work of Giovanni Sambin and Steve Vickers, University of Birmingham, 13 April 2019.
6th Workshop on Formal Topology, University of Birmingham, 8 - 12 April 2019.
School and Workshop on Univalent Mathematics, University of Birmingham, 1 - 5 April 2019.
Talks @ Birmingham
- Theory Group Lab Lunch (Thursdays, 12-1pm)
- Birmingham Theory Seminar (Fridays, 11-12am)
- All talks at Birmingham
Events further afield
- Continuity, Computability, Constructivity
Ljubljana, 2-6 September, 2019. - 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019)
Natal, Brazil, 24-26 August, 2019. - Topology, Algebra, and Categories in Logic (TACL 2019)
Nice, France, June 17-21, 2019. - 8th International Symposium of Domain Theory and its Applications (ISDT'19)
Yangzhou University, Yangzhou, Jiangsu, China, 14-17 June, 2019. - 35th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXV) and 8th Conference on Algebra and Coalgebra in Computer Science
University College London, 3-7 June, 2019.
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 Foundations of Computer Science in the Autumn Semester (jointly with Paul Levy), and Teaching Computer Science in Schools in the Spring.