• Contact Info
Publications in VIVO
 

Trivedi, Ashutosh Assistant Professor

Positions

Research Areas research areas

Research

research overview

  • Ashutosh Trivedi's research interests lie at the intersection of computer science and control theory. His research focuses on applying rigorous mathematical reasoning techniques to design and analyze safe and secure cyber-physical systems (CPS) with guaranteed performance. Ashutosh investigates foundational issues (decidability, undecidability, computational complexity, and efficient algorithms) related to modeling and analysis of CPS as well as practically focused tools that can be used by practitioners to analyze large systems at scale. The interplay between deep fundamental problems and their applications to building safe and secure systems have produced solutions for many interesting theoretical challenges as well as tools that can analyze CPS at scale.

keywords

  • Cyber-Physical Systems, Cybersecurity, Automata Theory and Logic, Optimization and Game Theory

Publications

selected publications

Background

International Activities

Other Profiles