Mahendra Singh Tomar
Bio and Research
Mahendra Singh Tomar is a PostDoc at the Department of Computer Science, University of Colorado Boulder since May 2021. He received his PhD degree from Department of Computer Science Ludwig Maximilian University Munich; B.Tech. degree (Electrical Engineering) from Indian Institute of Technology (ISM) Dhanbad, India; and M.Tech. degree (Electrical Engineering) from Indian Institute of Technology Roorkee, India. During masters, he was at Technical University of Munich for 6 months, supported by DAAD scholarship, to work on his thesis titled “Experimental Evaluation of Methods of Reachable Set Computation in Context of Symbolic Controller Synthesis”. His current research focuses on control under data-rate constraints. PhD thesis: Invariance feedback entropy of uncertain nonlinear control systems.
Publications
Immler, Fabian, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, and Majid Zamani. “ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems. 2018.
|