Software and e-infrastructure

The scientific world runs on software - from tiny scripts to automate scientific tasks, to the millions of lines of code behind international efforts such as the Large Hadron Collider.

We are building the next generation of tools and infrastructure to support best practice for industrial and academic software engineering.

Our aim is to cultivate and improve research software practices, to support world-class research.

Areas of expertise

Our researchers focus their work in the following specialist areas:

• 

  Autonomy and verification

  The Autonomy and Verification Group focuses on autonomous systems and their development, verification, and analysis.

  Read more

• 

  Human computer systems

  Understanding how humans use and interact with computing systems is critical, and part of our core mission. We blend expertise in interface design with psychology theories, to build more intuitive computing systems.

  Read more

• 

  Information management

  We design, develop and build state of the art data and knowledge management systems -- spanning from formal underpinnings in knowledge representation and logic, to challenging interdisciplinary work.

  Read more

• 

  Systems and software security

  We develop state-of-the-art algorithms, methods and protocols to address security and privacy in networked and distributed system environments, and tools to build verifiable, trustworthy software systems.

  Read more