• Contact Info
Publications in VIVO

Trivedi, Ashutosh

Assistant Professor


Research Areas research areas


research overview

  • Ashutosh Trivedi's research interests lie at the intersection of computer science, control theory, and machine learning. 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 learning-enabled 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.


  • Safety in AI, Reinforcement Learning, Formal Methods, Software Fairness, Software Accountability


selected publications


courses taught

  • CSCI 2270 - Computer Science 2: Data Structures
    Primary Instructor - Spring 2019 / Spring 2020 / Spring 2021 / Spring 2022
    Studies data abstractions (e.g., stacks, queues, lists, trees, graphs, heaps, hash tables, priority queues) and their representation techniques (e.g., linking, arrays). Introduces concepts used in algorithm design and analysis including criteria for selecting data structures to fit their applications. Degree credit not granted for this course and CSCI 2275. Same as CSPB 2270.
  • CSCI 5444 - Introduction to Theory of Computation
    Primary Instructor - Fall 2018 / Fall 2020 / Fall 2021 / Fall 2022
    Reviews regular expressions and finite automata. Studies Turing machines and equivalent models of computation, the Chomsky hierarchy, context-free grammars, push-down automata, and computability.
  • CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems
    Primary Instructor - Spring 2018
    Covers techniques for modeling, design and verification of autonomous systems and application domains including automotive systems, robotics and medical devices. Modeling topics include timed systems, differential equations, switched systems, hybrid dynamical systems. Verification topics: reachability and stability verification. Temporal specifications. Synthesis of controllers. Applications: automotive systems, medical devices.
  • CSCI 6950 - Master's Thesis
    Primary Instructor - Spring 2020 / Summer 2022 / Fall 2022
  • CSCI 7000 - Current Topics in Computer Science
    Primary Instructor - Fall 2019
    Covers research topics of current interest in computer science that do not fall into a standard subarea. May be repeated up to 8 total credit hours.


International Activities

Other Profiles


  • astrivedi