I am an assistant professor at Eindhoven University of Technology in the Control Systems group of Electrical Engineering. My research interests are in the verifiable design of cyber-physical systems using data-driven and model-based techniques
My interests are in formal verification, correct-by-design control, experiment design, and identification for control.
PhD positions in the control systems group at TU Eindhovan are often promoted on our Linkedin page .