The HD-Sec project will be undertaken by an experienced team from Electronics and Computer Science (ECS) at the University of Southampton.

  • Professor Michael Butler, the Principal Investigator, is a world-leader in the development and industrial deployment of formal engineering methods for assurance of safety and security.

  • Professor Vladimiro Sassone is a Professor of Cyber Security, holds a Royal Academy of Engineering Research Chair and leads the University's cyber security activities.

  • Dr Thai Son Hoang is a leading researcher in refinement-based formal methods, including Event-B.

  • Dr Leonardo Aniello noted for his research on cyber security and distributed systems topics.

  • Dr Dana Dghaym is a researcher in formal methods and has experience in tool development and verification.