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 (summer 2025) I am teaching

• NPRG031 Programming 2

• NPRG005 Non-Procedural Programming

Here are classes I taught in previous semesters.

software projects

See more information here.

research interests

automated theorem proving, programming language design, 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: