Thesis Opening

 

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

• Developing safe AI-based techniques to accomplish complex control missions;

• Software development in C++/Python with application to "automated vehicles";

• Formal verification and synthesis of unknown stochastic hybrid systems via "model-free reinforcement learning" or "deep neural network";

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

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