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
[go: Go Back, main page]

Peter Dybjer

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

Recent teaching

Course notes

Courses in summer schools

Research interests

My main research interests are 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

Journal

I am a member of the advisory board of the journal Higher Order and Symbolic Computation.

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.