Dr Benedikt Ahrens PhD

Dr Benedikt Ahrens

School of Computer Science
Birmingham Fellow

Contact details

Telephone
+44 (0) 121 414 3711
Email
b.ahrens@cs.bham.ac.uk
Address
School of Computer Science
University 麻豆精选
Edgbaston
Birmingham
B15 2TT
UK

Benedikt Ahrens is a Birmingham Fellow for the Theory of Computation group in the School of Computer Science.

Benedikt is working on categorical semantics of programming languages. He is also interested in interactive theorem proving, mostly in computer proof assistants based on dependent type theory.

 He is a developer of the UniMath library of formalized mathematics.

Please follow the link below to find out more about Benedikt's work:

Qualifications

  • PhD in Mathematics in 2012, Université Nice Sophia Antipolis

  •  Master in Mathematics in 2008, Université Nice Sophia Antipolis 

Biography

Benedikt received his PhD in Mathematics from Université Nice Sophia Antipolis. Afterwards, he held postdoctoral research fellowships at the Institute for Advanced Study, Princeton, NJ, at the International Centre for Mathematics and Computer Science in Toulouse, France, and at Inria, Nantes, France.

Teaching

  • Logic and Computation 

Postgraduate supervision

  • Semantics and type theory 

Research

Benedikt’s research lies at the intersection of mathematics and computer science. He studies univalent foundations of mathematics and semantics of programming languages. Benedikt strives to check his proofs mechanically in a computer proof assistant.

Publications

Recent publications

Article

Ahrens, B, North, PR & van der Weide, N 2023, '', Mathematical Structures in Computer Science.

Ahrens, B, Emmenegger, J, North, PR & Rijke, E 2023, '', Journal of Symbolic Logic.

Ahrens, B, Frumin, D, Maggesi, M, Veltri, N & Van Der Weide, N 2022, '', Mathematical Structures in Computer Science, vol. 31, no. Special Issue 10, pp. 1232鈥�1269.

Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2021, '', Logical Methods in Computer Science, vol. 17, no. 2, pp. 17:1鈥�17:28.

Ahrens, B & Lumsdaine, PL 2019, '', Logical Methods in Computer Science, vol. 15, no. 1, 20.

Ahrens, B, Matthes, R & M枚rtberg, A 2019, '', Journal of Automated Reasoning, vol. 63, no. 2, pp. 285-318.

Conference article

Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2020, '', Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 31.

Conference contribution

Ahrens, B, Lumsdaine, PL & North, PR 2024, . in O Kiselyov (ed.), Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 15194, Springer, pp. 3-22, The 22nd Asian Symposium on Programming Languages and Systems, Kyoto, Japan, 22/10/24.

Ahrens, B, Matthes, R, van der Weide, N & Wullaert, K 2024, . in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 260-273, CPP '24, London, United Kingdom, 15/01/24.

Matthes, R, Wullaert, K & Ahrens, B 2024, . in J Rehof (ed.), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) ., 25, Leibniz International Proceedings in Informatics, vol. 299, Schloss Dagstuhl - Leibniz-Zentrum f眉r Informatik , pp. 25:1-25:22, 9th International Conference on Formal Structures for Computation and Deduction, Tallinn, Estonia, 10/07/24.

van der Weide, N, Rasekh, N, Ahrens, B & North, PR 2024, . in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 246-259, CPP '24, London, United Kingdom, 15/01/24.

Ahrens, B, Matthes, R & M枚rtberg, A 2022, . in A Popescu & S Zdancewic (eds), CPP '22: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 307-323, CPP '22, Philadelphia , Pennsylvania, United States, 17/01/22.

Ahrens, B, North, PR & Van Der Weide, N 2022, . in LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Association for Computing Machinery (ACM), 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Haifa, Israel, 2/08/22.

Ahrens, B, Randall North, P, Shulman, M & Tsementzis, D 2020, . in 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). IEEE Computer Society Press, 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Online, 8/07/20.

Ahrens, B, Frumin, D, Maggesi, M & van der Weide, N 2019, . in H Geuvers (ed.), 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)., 5, Leibniz International Proceedings in Informatics, LIPIcs, vol. 131, Schloss Dagstuhl, pp. 5:1-5:17, International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, Germany, 24/06/19.