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.

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