Home Page of Cezary Kaliszyk

About me

Since August 2005 I am a junior researcher in the Foundations of Computing Science Group at the Radboud University Nijmegen. My PhD advisor is Freek Wiedijk.

Current research interests:

• Creating a Web interface and Wiki for proof assistants (AJAX)
• Creating a Computer Algebra System in HOL Light
• Formalizing Complex Analysis as part of FEAR project
• See also: Publications

Teaching:

During the winter semester 2006-2007 I was the teaching assistant for the Logical Verification at the Vrije Universiteit in Amsterdam.

Organisation:

I was helping in the organisation of the Types CHIT/CHAT workshop.

Site Map:

• Main Page
• Publications
• Research:
  • Prover web iface
  • CAS in HOL
  • FEAR project
• Short CV
• Interests
• Friends

My other pages:

• MLGame
• SIE

Info:

• • Contact: _(GPG)
  • Clicked 9233 times.
  • Updated 8-02-2007.
  • 

(more photos)