Michael Walter

E-Mail: michael.walter@gmail.com [gpg]

I am an Assistant Professor at the University of Amsterdam. Please see my official homepage for information on my research and other activities.

I worked as a graphics programmer on Splinter Cell: Chaos Theory and Splinter Cell: Conviction.

Colibri is a program launcher that I developed many years ago.

Other Resources

• Some of my code is online on GitHub: here and here
• Undergraduate research on combining first-order logic with first-class types [paper] [slides]
• Seminar talks given during my undergraduate studies in mathematics
• Notes from my TA classes