Peter Dybjer

Professor of Computing Science
Head of the Division of Computing Science
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, proof assistants, applications of category theory to programming.

Some papers and slides from talks

Courses in international schools for postgraduate students

Upcoming activities

Past activities



Graduate education at Chalmers

Journals and conferences


To Chalmers CS Dept. Welcome page.