Adam Dingle



I'm an American who teaches computer science at the Faculty of Mathematics and Physics of Charles University in Prague.

teaching

This semester (summer 2024) I am teaching

Here are classes I taught in previous semesters.

software projects

See more information here.

research interests

automated theorem proving, programming language design, type systems

other pages

contact

The best way to reach me is by email: dingle at ksvi.mff.cuni.cz .

I sit in room 405 of this building:

Matematicko-fyzikální fakulta UK, KSVI
Malostranské náměstí 25
118 00 Praha 1, Czech Republic
PGP public key