Systems
Computing is now everywhere in our lives, from computers to cars to televisions, and telephones and the need for robust and secure software is paramount. Furthermore, widespread deployment in the cloud and other virtual machines brings new challenges that require major system evolutions.


High-tech collaborations
- Intel, Nvidia, Apple, Linux, *BSD
Some major projects
- Regular participation in the Google Summer of Code
- LSE WEEK
