Ashfaq Farooqui

I’m an researcher with a PhD in formal methods from Chalmers University of Technology. I work at the intersection of safety critical autonomous and automated systems, safety and security, and formal methods.

At RISE Sweden, I develop verification and validation approaches for autonomous systems. I’ve contributed to multiple EU research projects on automated driving safety, formal fault injection, and AI-assisted software development.

Outside work, I am a tinkerer experimenting with a home lab and play around with embedded systems. I’m an avid reader, amateur cook, and FOSS enthusiast.