Jan Zwanenburg - Home Page
Job
I have a postdoc position at the Catholic University Nijmegen.
Currently I work on a
project to formalize a (constructive) proof of the
Fundamental Theorem of Algebra in the proof assistant Coq.
Research Interests
My main research interest is type theory, with the focus on the following
subjects.
- Modelling Object-Oriented Programming in type theory.
- Using proof assistants (based on type theory) to formalize mathematics.
- Building proof assistants. I have built Yarrow, which is an assistant based
on Pure Type Systems.
Links
Addresses
Mail address
Jan Zwanenburg
Faculty of Science
University of Nijmegen
PO Box 9010
6500 GL Nijmegen
The Netherlands
Phone
++31-24-3652610
E-Mail
janz@cs.kun.nl
Visiting address
Room A4032
Faculty of Science
Toernooiveld 1
Nijmegen
The Netherlands