Thesis Opening
 

Please contact me if you are interested in doing your thesis under my supervision. The current openings revolve around:

  • Implementation of controller synthesis in C++/Python with application to "autonomous driving";

  • Formal controller synthesis of unknown stochastic hybrid systems via "model-free reinforcement learning";

  • Temporal logic verification and synthesis of unknown stochastic hybrid systems via "data-driven optimization".

If you have also your own idea for a thesis topic, feel free to contact me.