Ambrus Kaposi

I'm a lecturer at the Department of Programming Languages and Compilers at Eötvös Loránd University, Budapest, Hungary. I have a bachelors degree in computer science from the same university, and hopefully I will soon have a PhD in type theory from the University of Nottingham where I spent three years in the Functional Programming Laboratory under the supervision of Graham Hutton. Previously I did a PhD on medical statistics after becoming a medical doctor at Semmelweis University.



Budapest type theory seminar: every monday evening 19:00 at ELTE Lágymányos Déli épület 0-220, contact me if you want to come, and I'll add you to the mailing list. Greenboard photos.

If you are interested in Functional Programming or type theory, the best way to learn and get involved is to go to one of the following excellent (summer) schools. Usually they have scholarships for student attendees:

Papers, talks

Any comments are very much welcome.

Recent work:

List of all publications



Nottingham FP Lab Away Day 2013 website

Last modified: 24 Jun 2016