Ashfaq Farooqui

Ashfaq Farooqui

Ph.D Student

Chalmers University of Technology


I am a PhD Student at the Department of Electrical Engineering at Chalmers University of Technology, Sweden. I received my MSc degree in Systems, Control, and Mechatronics in 2015 (Chalmers University, Sweden) and Bachelor degree in Electronics and Communication Engineering degree in 2012 (BMS Institute of Technology, India).

My research focuses on model-driven development, supervisory control, and formal analysis. I develop tools and techniques to support verifiably safe control of automated systems.


  • Model Inference
  • Supervisory Control
  • Formal Verification


  • PhD in Electrical Engineering, 2021

    Chalmers University of Technology

  • MSc in Systems, Control, and Mechatronics, 2015

    Chalmers University of Technology

  • BSc in Electronics and Communication, 2012

    BMS Institute of Technology