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