I'm an American who teaches computer science at the Faculty of Mathematics and Physics of Charles University in Prague.
This semester (summer 2023) I am teaching
Programming 2 (NPRG031)
Non-Procedural Programming (NPRG005)
Here are classes I taught in previous semesters.
See more information here.
automated theorem proving, programming language design, type systems
The best way to reach me is by email: adam.dingle at mff.cuni.cz
I sit in room 405 of this building: