Peter Dybjer

Professor, Computing Science Department, Chalmers University of Technology, S-412 96 Göteborg, Sweden.

• Email: peterd@cs.chalmers ...
• Phone: +46 31 772 1035.
• Room: 6467, EDIT-building.

Recent teaching

• Dependent Type Theory
• Datastrukturer

Course notes

• Computability via PCF lecture notes for the course Grundläggande datalogi (Foundations of Computation).

Courses in summer schools

• Type Systems, International Winter School on Semantics and Applications, Montevideo, Uruguay, July 2003.
• Dependent Types in Programming, TYPES Summer School, Giens, France, September 2002.
• Normalization and Partial Evaluation, Applied Semantics. International Summer School, Caminha, Portugal, September 2000.
• Inductive Definitions and Type Theory (with Thierry Coquand), lecture notes for ESSLLI'94, Copenhagen.

Research interests

Some papers and slides from talks

• Inductive and inductive-recursive definitions in type theory
• Generic programming
• Normalization by evaluation
• Combining testing and proving
• Logic of functional programs
• Category theory and type theory
• Strictness analysis

Journal

Projects

APPSEM II - Applied Semantics (ESPRIT Working Group)

TYPES - Computer-Assisted Reasoning Based on Type Theory (ESPRIT Working Group)

Cover - Combining Verification Methods in Software Development (SSF-project)

Disclaimer

To Chalmers CS Dept. Welcome page.