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

2012

2011

2010

2009

2008

Graduate education at Chalmers

Journals and conferences

Disclaimer

To Chalmers CS Dept. Welcome page.