Peter Dybjer

Professor of Computing Science
Head of the Division of Logic and Types
Department of Computer Science and Engineering
Chalmers University of Technology
S-412 96 Göteborg, Sweden
Email: peterd@chalmers ...
Phone: +46 31 772 1035
Room: 6467, EDIT-building

Research interests

Logics and semantics of programs, intuitionistic type theory, categorical type theory, proof assistants.

Activities

2019

2020

Earlier

Some papers and slides from talks

Courses in international schools for postgraduate students

Graduate education at Chalmers

Disclaimer

To Chalmers CS Dept. Welcome page.