This image shows Mahathi Anand

Mahathi Anand

Dr. rer. nat.

Postdoctoral Researcher
Institute for Systems Theory and Automatic Control


Pfaffenwaldring 9
70569 Stuttgart
Room: 2.238

Office Hours

By Appointment


My research focus is primarily on the intersection of formal methods, learning, and control. In particular, I am interested in the analysis and controller synthesis against complex logic specifications for complex nonlinear systems, interconnected systems, as well as learning-enabled systems. 

Follow my google scholar page here

Summer Term

Formal Methods in Control

Since 08/2023 Postdoctoral researcher at the Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany.

Visiting researcher at the University of Pennsylvania, USA


Research assistant at the Software and Computational Systems Lab, Ludwig Maximilian University of Munich, Germany

  • PhD Thesis:
    "Formal Analysis of Control Systems via Inductive Approaches: Tackling Scalability, Conservatism, and Complex Specifications"
09/2018-03/2019 DAAD IIT-MSP Sandwich Programme Scholar at Technical University of Munich, Germany

M.Tech in System and Control, Indian Institute of Technology Roorkee, India

  • Master Thesis in Hybrid Control Systems group, Technical University of Munich, Germany 
    "Barrier Certificates for Verification of Stochastic Systems"
  • B.Tech in Electrical and Electronics Engineering, SRM Institute of Science and Technology, India
To the top of the page