I am a PhD student at the University of Cambridge Computer Laboratory in the Programming, Logic, and Semantics Group. The main focus of my research is optional and gradual typing for object-oriented scripting languages to enable a smooth program evolution from dynamic to static typing. I am working under the supervision of Dr David Greaves and Prof Alan Mycroft.
Before starting at the Computer Laboratory, I worked for 9 years for Finnish software companies, as a software engineer and later as a development manager.
My latest project is mypy, a variant of Python with seamless dynamic and static typing.
|Address:||University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD
|Tel:||+44 1223 763 768 (work)
+44 7733 846 599 (mobile)
|Getting here (maps etc.)|