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.