Ashish Kothyari

Research Interests

Dynamical system theory, Numerical Linear Algebra, Formal Verification of Control Systems

BioSketch

Educational Details

NIT Kurukshetra

2012

B.Tech, Electrical Engineering

IIT Bombay

2018

PhD, Control Systems

Teaching Engagements

Programming in C++ ( EEN-103 )

Autumn

Graph Theory and Applications ( EEN-692 )

Spring

Optimization Techniques ( EEN-361 )

Autumn

Students

SuperVisions

Formal Verification of Control Systems

04 Jan 2022 - Present

Other Supervisors: , Scholar: Avaneet Kumar

Set Theoretic Methods in Power Systems

01 Aug 2022 - Present

Other Supervisors: , Scholar: Manu Priyam

Miscellaneous

Visits

University of Groningen

2016-08-15

Internship

University of British Colubia

2019-03-15

Postdoc

Technical University Munich

2020-08-24

Postdoc

Administrative Positions

Department in charge

24 Jun 2021 - Present

Hindi Cell

Professional Background

May 2021– till date: Assistant Professor, Dept. of Electrical Engineering, Indian Institute of Technology Roorkee, INDIA.
June 2020-May 2021: Postdoctoral Fellow, Institute for Informatik, TU Munich, GERMANY.
March 2019-March 2020: Postdoctoral Fellow, Electrical and Computer Engineering Department, University of British Columbia, CANADA.
July 2018-Jan 2019: Research Associate, Electrical Engineering Department, Indian Institute of Technology Bombay, INDIA.

BTP Groups Supervised

1. Akash, Ritik Mathur, Aayush Verma, Aryan Raj, Topic: Robust Control for Autonomous Driving, 2021-2022.

2. Vibhor Goyal, Tanmay Rathi, Namrata Meena, Sushant Jain, Topic: Verification of Frequency Control for Power Systems using Parallel Computing, 2021-2022.

3. Ritvik Mahajan, Topic: Safety-Critical Control, 2022-2023.

IOP Projects Supervised

1. Aman Soni, Arpit Kr. Pandey, Davinder Singh, Paritosh Sanadhya, Pinaki Basu, Rajat Raj, Topic: Stock Prices Forecasting Using LSTMs, 2021-2022.

M.Tech Students Supervised

1. Ankit Uniyal, Topic: Collision Avoidance in Autonomous Vehicles Using Robust MPC, 2021-2022.

2. Abhishek Mundel, Topic: Mathematical Modelling and stability analysis of communicable diseases with particular emphasis on Covid, 2021-2022.

3. Bicky Kumar, Topic: Invaraint Set Computation for Time-Delay Systems.

4. Chiluveru Akhil, Topic: Invariant Sets for Discrete Time-delay Systems

5. Vineet Kumar, Topic: Data-Driven Dissipativity Analysis