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.