Dr. Ioannis Filippidis will be visiting Chalmers and specifically the SyTeC project as a guest researcher for three weeks from Feb 11, 2018, to March 2, 2018. During Dr. Filippidis’ visit, the primary focus will be on researching formal specification and automatic test case generation for hybrid systems.
Dr. Filippidis graduated in November 2017 with a Ph.D. in control and dynamical systems from the California Institute of Technology, where he investigated the automated decomposition of system specifications into contracts for interacting components. He holds a Diploma in Mechanical Engineering from the National Technical University of Athens, with a thesis on robot motion planning using navigation functions.
As an intern at the Jet Propulsion Laboratory, he worked on algorithms for parallel model checking, and a specification language for open systems, with a compiler that synthesizes implementations. He is a Postdoctoral Scholar in the Computing and Mathematical Sciences Department at Caltech.