Jana Tumova

Jana Tumova

Assistant Professor

Formal verification, control synthesis, and temporal logics in general, as well as formal methods applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control.

Contact