Sign In

Ashfaq Farooqui

Helping autonomous systems do the correct thing - Formal Methods - FOSS aficionado

Ashfaq Farooqui is a researcher with a focus on autonomous control of cyber-physical systems, emphasizing correctness through supervisory control, formal verification, and model checking.

His expertise extends to practical integration issues in mechatronic systems, with a keen interest in multidisciplinary projects involving system control of autonomous systems.

Ashfaq has a background in systems, controls, and mechatronics, having completed a Master of Science (MS) and a Doctor of Philosophy (PhD) at Chalmers University of Technology.

His engineering career includes experience in developing micro-controller based embedded systems, PCB design, manufacturing, and embedded circuit design.

He has worked with organizations like Volvo Group Trucks Technology and Nokia Siemens Networks, combining academic research with industry experience.

Ashfaq Farooqui's current research focuses on automatically constructing formal models for supervisory control using model inference techniques.

Apart from his professional pursuits, Ashfaq enjoys reading and cooking as hobbies.

Ashfaq Farooqui
Add to my network

Location

Gothenburg, Vastra Gotaland County, Sweden