Software Engineering and Formal Methods

Our goal is to develop languages, methods, techniques and tools to support the design and deployment of trustworthy and effective software systems.