AI Safety Research Experience and Scholarship

Join us on a 8-week summer research experience programme in AI Safety and Security project and experience first-hand the excellence that has placed the University of Birmingham among the country’s top research powerhouses.

👉 Apply here

Projects#

Automated Manufacturing Design#

Team: Mirco Giacobbe, Leonardo Stella, Adam Szekely, Gokhan Tut
Keywords: Mathematical Modelling, Biopharmaceutical Manufacturing

Predictive modelling of biopharmaceutical stability remains a key bottleneck in drug development. This project explores physics-informed approaches that bridge structural data and chemical kinetics to deliver safe, reliable, and interpretable models for regulatory settings.

Hardware-level Verification#

Team: Mirco Giacobbe, Edwin Hamel-de le Court, Edoardo Manino
Keywords: Formal Verification, Cyber-physical Systems, Hardware Design

This project investigates whether AI systems preserve their intended behaviour when deployed on real hardware, focusing on robustness, stability, and formal guarantees in cyber-physical environments.

Privacy-preserving Verification#

Team: Pascal Berrang, Mirco Giacobbe, Xiao Yang
Keywords: Formal Verification, Applied Cryptography, Security & Privacy

Explore methods to verify system safety without exposing proprietary details, combining cryptographic techniques with formal verification to enable confidential AI assurance.

Formal Certification for AI Safety#

Team: Mrudula Balachander, Mirco Giacobbe, Grigory Neustroev, Diptarko Roy
Keywords: Formal Verification, Theorem Proving, Model Checking

Work on formal specifications and certification techniques that provide rigorous guarantees of AI safety, including approaches for generating verifiable proofs of system behaviour.