Ali Salamati

Ali Salamati 

Ali Salamati (Iran)
Ph.D. Candidate

Department of Computer Science
Ludwig Maximilian University
Office: Room F U103
Oettingenstr. 67
80538 M√ľnchen

Tel: +

Bio and Research

Ali Salamati is a doctoral researcher in the Software and Computational Systems lab, Institute for Informatics at the Ludwig Maximilian University of Munich (LMU). He is a member of Hybrid Control Systems (HyConSys) Lab. He is a tenure member of Niroo Research Institute as a project manager and researcher. He also has been with University of Tehran since 2016. He received his B.Sc. and M.Sc. degrees from Shiraz University, Shiraz, Iran and K.N.Toosi University of Technology (KNTU), Tehran, Iran, respectively. His main research fields include:

  • Application of data analysis techniques and learning methods in formal synthesis and verification;

  • Stochastic Systems;

  • Hybrid Systems;

  • Smart Energy Systems.


Journal Papers

Conference Papers