Adam Dingle

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


This semester (summer 2023) 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


The best way to reach me is by email: adam.dingle at .

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