Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Users demand for 24/7 dependability of cloud services. Unfulfilled dependability is costly, yet, there are complex challenges to reach an ideal dependability. Behind cloud computing is a collection of hundreds of complex systems written in…
“A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, the Scala programming language unifies concepts from object and module systems. In particular,…
Torino is an inclusive physical programming language for children with vision impairments created by the Human Experience & Design group at Microsoft.
