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 (spring 2019) I’m teaching Programming II and Non-Procedural Programming.

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