Welcome

The goal of the Programmings Systems Group is to develop mechanisms to simplify the development of secure and reliable computing systems. The approach of the group is multidisciplinary: research is conducted in logics, programming/specification languages and middleware.