Guruprerana Shabadi is currently a master's student in Computer Science at École Polytechnique. Previously, he graduated with a bachelor's degree in Mathematics and Computer Science from the same university. His research interests revolve around formal methods and safe automation, and his work involves building tools to verify safety and fairness properties of AI systems. His long-term goal is to build a world in which autonomous systems are both omnipresent and guaranteed to be safe, and where automation drives the march towards sustainable development.