Welcome to the Foundations of Software Systems website!

The Foundations of Software Systems group focuses on both practical and theoretical aspects of compilation, programming languages, pervasive computing, distributed systems and networking. Check out our research page for a broad overview of our research areas, and see the publications page for a list of our publications.


Upcoming Seminars and Events

Our seminars are usually held on Wednesdays at 11:00 to 12:30 or Fridays from 16:00 to 18:00.


Latest Group News


Networking and Distributed Systems Pervasive Computing Systems Compiler Design and Programming Language Implementation Foundations of Computation