Jukka Lehtosalo

A picture of me

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.)