Adam Dingle

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

I have computer science degrees from Princeton and Berkeley, and have worked at various U.S. tech companies including Google.


This semester (winter 2018-9) I’m teaching Programming I, as well as a lab/workshop for Artificial Intelligence I.

Here are classes I taught in previous semesters.

student projects

I am available to lead individual software projects (ročníkové projekty) for bachelor's students, and group software projects for master's students.

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