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.


In the winter of 2017-8 I'm teaching Programming I.

I'm also a mentor for a group of first-year students.

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. Here are some possible project ideas.

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