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 2020-1) I am teaching

Here are classes I taught in previous semesters.

software projects

See more information here.

research interests

programming language design, type systems, automated reasoning


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