Jukka Lehtosalo
About me
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.
What's new
My latest project is mypy, a variant of Python with seamless dynamic and static typing.
Contact details
| Address: | University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD United Kingdom |
| Room: | FC17 |
| Email: | firstname.lastname@cl.cam.ac.uk |
| Tel: | +44 1223 763 768 (work) +44 7733 846 599 (mobile) |
| Getting here (maps etc.) | |