Carst Tankink
Contact
Visiting address:
Huygensgebouw room HG 02.528
Heyendaalseweg 135, Nijmegen
E-Mail and phone
E-Mail: carst 'at' cs 'dot' ru 'dot' nl
Phone: (+31 or 0) 24 36 52631
Traditional (Snail) mail
Carst Tankink
Institute for Computing and Information Sciences
Intelligent Systems
Mailbox number 47
Faculty of Science
Postbus 9010
6500 GL Nijmegen
New News
- 18-10-2011: I gave a talk on a Proviola for Isabelle for the local Brouwer seminar. Slides at the preceding link.
- 18-08-2011: The Proviola tool has its first official release. Check it out if you want to show your formal proofs on the web!
Old news
- 27-08-2011: The MathWikis workshop is done. Thanks to all participants!
- 16-06-2011: I attended the 10th Oregon Programming Languages Summer School.
- 11-04-2011: I attended the IPA Spring Days.
- 22-03-2011: One paper submitted to CICM 2011. The paper was rejected.
- 04-03-2011: I attended the NVTI Theory Day.
- 04-11-2010: I attended the Siren//NL event.
- 18-10-2010: I have moved. New address: Room 02.528. New phone: 024 36 52631.
- 15-10-2010: New web page.
About me
I am a PhD student in the Foundations group of the Radboud University of Nijmegen. Together with Josef Urban, I work in the NWO-funded MathWiki project.
I am supervised by Herman Geuvers and James McKinna.
