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.