معرفی
Peter Dybjer is a Professor of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology in Sweden. He is a leading researcher in the field of type theory, with a focus on intuitionistic type theory, categorical semantics, and proof assistants. His work bridges foundational aspects of mathematics and computer science, emphasizing constructive methods and formal verification.
Research Interests:
- Intuitionistic Type Theory and its categorical semantics
- Proof assistants and formal verification
- Inductive and inductive-recursive definitions
- Game semantics and normalization techniques
- Dependent type systems and their applications
- Homotopy Type Theory and univalent foundations
Activities & Contributions:
- Editor of the Bulletin of Symbolic Logic
- Member of program committees for conferences like TYPES, FSCD, and MFPS
- Keynote speaker at events including the European Congress of Mathematics and the Hausdorff Research Institute's Summer School on Types, Sets, and Constructions
- Initiated and directed the Master's Program in Computer Science – Algorithms, Languages, and Logic at Chalmers
Teaching & Outreach:
Professor Dybjer has taught advanced courses at international summer schools, including:
- Inductive Definitions in Constructive Type Theory (TYPES Summer School, 2005)
- Dependent Types at Work (LerNet Summer School, Uruguay, 2008)
- Normalization by Evaluation (Midlands Graduate School, 2009 and 2015)
۰مقاله منتشرشده
