Please contact me if you are interested in doing your thesis under my supervision. The current openings revolve around:
Developing trustworthy AI-based techniques to accomplish complex control missions;
Software development in C++/Python with application to "autonomous 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.
|