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
at various U.S.
tech companies including Google.
In the winter of 2017-8 I'm teaching
I'm also a mentor for a group of first-year students.
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
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:
Matematicko-fyzikální fakulta UK, KSVI
Malostranské náměstí 25
118 00 Praha 1, Czech Republic