One of the designers of ModulaThree. Author of the book ''A''''''TheoryOfObjects'' (with MartinAbadi) and of quite a lot of research papers about TypefulProgramming and ObjectOrientation, e.g.

* "BadEngineeringPropertiesOfOoLanguages"
* "EverythingIsAnObject"
* "OnUnderstandingTypes"

Now at MicrosoftResearch (http://research.microsoft.com/~luca/). Home page at  http://lucacardelli.name/

----
CategoryAuthor CategoryPerson CategoryMicrosoft