Ashfaq Farooqui

Ashfaq Farooqui is a researcher within the Dependable Transport Systems group at the Research Institute of Sweden. He obtained his PhD in Electrical Engineering and his MSc degree in Systems, Control, and Mechatronics from Chalmers University of Technology, Sweden, in 2021 and 2015, respectively. 

His research interests are centered around automated control of cyber-physical systems. He develops tools and techniques to support verifiably safe control of automated systems using formal methods such as supervisory control, formal verification, and model checking. Ashfaq's publications can be found on Researchgate(https://www.researchgate.net/profile/Ashfaq-Farooqui-2). He finds satisfaction in prototyping and evaluating cyber-physical systems as part of his research goals. He has contributed to designing and evaluating Unmanned Aerial Systems for maritime applications[1], digital twins for production systems[2], miniature autonomous driving stacks[3], and a formula student car[4], among other things. He is also the developer for MIDES[5], a library for automatically learning the behavior of automated systems.

[1] https://ri.diva-portal.org/smash/record.jsf?pid=diva2%3A1868178&dswid=8…
[2] https://www.sciencedirect.com/science/article/pii/S1755581718300804?via…
[3] https://web.archive.org/web/20201027003054/http://www.chalmers.se/en/de…
[4] https://web.archive.org/web/20140821064725/https://www.chalmers.se/en/n…
[5] https://github.com/ashfaqfarooqui/MIDES