Adam Dingle

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

teaching

This semester (winter 2025-6) I am teaching

• NPRG030 Programming 1

• NPRG062 Introduction to Algorithms

• NAIL139 Artificial Intelligence for Computer Games (with Peter Guba and David Šosvald)

Here are classes I taught in previous semesters.

software projects

See more information here.

research interests

automated theorem proving, proof assistants, type systems

contact

The best way to reach me is by email: dingle at ksvi.mff.cuni.cz .

I sit in room 405 of this building: