Ashfaq Farooqui

Ashfaq Farooqui arbetar som forskare vid enheten för Pålitliga transportsystem på RISE. Han tog sin doktorsexamen i elektroteknik och sin masterexamen i System, Control and Mechatronics från Chalmers tekniska högskola, Sverige, 2021 och 2015 respektiv.

Hans forskningsintressen är centrerad kring automatiserad kontroll av cyberfysiska system. Han utvecklar verktyg och tekniker för att stödja verifierbart säker kontroll av automatiserade system med formella metoder som supervisory control, formal verification, och model checking. Ashfaqs publikationer finns på Researchgate(https://www.researchgate.net/profile/Ashfaq-Farooqui-2). Han är intresserad av att skapa prototyper och utvärdera cyberfysiska system som en del av sina forskningsmål. Han har bland annat bidragit till att designa och utvärdera Unmanned Aerial Systems för maritima applikationer[1], digitala tvillingar för produktionssystem[2], skalad miniatyr autonomous bil[3] och en formula student car[4]. Han är också utvecklare för MIDES[5], ett bibliotek för att automatiskt lära sig beteendet hos automatiserade system.

[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