Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Peter Dybjer

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.

Teaching links

I am the coordinator of the new Master's Programme in Foundations of Computing - Algorithms and Logic beginning in the autumn of 2007.

Courses and notes:

Datastrukturer
Dependent Type Theory
Computability via PCF lecture notes for the course Foundations of Computation.

Courses in summer schools:

Inductive and Recursive Definitions in Constructive Type Theory, TYPES Summer School, Göteborg, August 2005.
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

Logics and semantics of programs, mechanized proofs, combining tests and proofs, intuitionistic type theory, applications of category theory to programming.

Some papers and slides from talks

Journals and conferences

Member of the advisory board of the journal Higher Order and Symbolic Computation.

Member of the steering committee of Programming Languages Meet Program Verification.

Some upcoming events

University of Warsaw, open lectures for PhD students in computer science, 18-19 January 2008. Lectures on Normalization by evaluation
Summer School on Language Engineering and Rigorous Software Development (LerNet) Montevideo, Uruguay, 25 February - 1 March 2008. Lectures on Dependent Types in Programming.
International Symposium on Functional and Logic Programming (FLOPS 2008), Ise, Japan, 14-16 April 2008. Invited speaker.
Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Philadelphia, PA, 21-25 May 2008. Invited speaker at the Special Session in Honour of Phil Scott's 60th birthday.
Mathematics of Program Construction (MPC '08), Marseille (Luminy), France, 15-18 July 2008. Member of the programme committee.
5th IFIP International Conference on Theoretical Computer Science (TCS-2008), Milano, 7-10 September 2008. Member of the programme committee.

Projects

The Programming Logic Group at Chalmers.
TYPES - Computer-Assisted Reasoning Based on Type Theory (ESPRIT Working Group)
Agda - an Interactive Proof Editor joint project with the Research Centre for Verification and Semantics at the National Institute of Advanced Industrial Science and Technology (AIST), Japan.
APPSEM II - Applied Semantics (ESPRIT Working Group 2002-2006)
Cover - Combining Verification Methods in Software Development (SSF-project 2002-2005) Disclaimer To Chalmers CS Dept. Welcome page.