PhdFit
Resume-aware faculty matching

Find professors who actually fit you

Review faculty evidence in public, then use the workspace to turn your background into a shortlist, outreach, and meeting prep.

Profile-awarePaper evidenceSix agents
Sayan Mitra

Sayan Mitra

· Professor, Electrical and Computer Engineering

University of Illinois Urbana-Champaign · Computer Science

Active 1982–2026

h-index31
Citations3.6k
Papers22575 last 5y
Funding$3.1M

Academic metrics are sourced from OpenAlex and public funding records; values may differ from Google Scholar.

Faculty page
See your match with Sayan Mitra — sign in to PhdFit.Sign in

About

Sayan Mitra is a professor in the Electrical and Computer Engineering department at the University of Illinois Urbana-Champaign and an affiliate professor in the Computer Science department. He earned his Ph.D. from MIT in 2007 with a thesis titled "A Verification Framework for Hybrid Systems," under the supervision of Nancy Lynch. His academic background also includes a Master of Science from the Indian Institute of Science and a Bachelor of Engineering from Jadavpur University. His research interests encompass control theory, formal methods, AI and autonomy, cyber-physical computing, embedded systems, programming languages, and security and privacy. Mitra has authored or co-authored several books, including "Verifying Cyber-Physical Systems: A Path to Safe Autonomy." His scholarly work features numerous articles in prestigious journals and conference proceedings, focusing on topics such as hybrid automata, state estimation, multi-agent motion planning, controller synthesis, and formal verification of complex systems. Mitra's contributions significantly advance the understanding and development of verification frameworks and safety analysis for autonomous and cyber-physical systems.

Research topics

  • Computer Science
  • Artificial Intelligence
  • Engineering
  • Human–computer interaction
  • Mathematics
  • Computer Security
  • Data science
  • Simulation
  • Transport engineering
  • Theoretical computer science

Selected publications

  • Multi-Agent Motion Planning From Signal Temporal Logic Specifications

    IEEE Robotics and Automation Letters · 2022 · 93 citations

    We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonholonomic dynamics. Existing methods in multi-agent motion planning, especially those based on discrete abstractions and model predictive control (MPC), suffer from limited scalability with respect to the complexity of the task, the size of the workspace, and the planning horizon. We present a method based on <italic xm…

    DOI

  • Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models

    Lecture notes in computer science · 2020 · 38 citations

    Senior authorCorresponding

    We address the problem of synthesizing a controller for nonlinear systems with reach-avoid requirements. Our controller consists of a reference controller and a tracking controller which drives the actual trajectory to follow the reference trajectory. We identify a type of reference trajectory such that the tracking error between the actual trajectory of the closed-loop system and the reference trajectory can be bounded. Moreover, such a bound on the tracking error is independent of the referenc…

    DOI

  • Online Monitoring for Safe Pedestrian-Vehicle Interactions

    2020 · 21 citations

    Senior authorCorresponding

    As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone that must safely maneuver around people in a free-form fashion. We investigate two key questions: How can we effectively integrate pedestrian intent estimation into our autonomous stack? Can we develop an online monitoring framework to give rigorous assurances on the safety of such human-robot interactions? We present…

    DOI

  • Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey

    Lecture notes in computer science · 2024-11-17 · 6 citations

    book-chapter1st author
    PublisherDOI

  • Assuring Safety of Vision-Based Swarm Formation Control

    2024-07-10 · 3 citations

    articleSenior author

    Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in G PS-denied environments. The safety assurance for such systems is challenging: the vision component's accuracy depends on the environment in complicated ways, these errors propagate through the system and lead to incorrect control actions, and there exists no formal specification for end-to-end reasoning. We address this problem and propose a technique for safety assurance of vision-ba…

    PublisherDOI

Recent grants

Frequent coauthors

Education

  • PhD, EECS

    Massachusetts Institute of Technology

    2007

  • MS, CSA

    Indian Institute of Science

    2001

  • Bachelor of Engineering, Electrical Engineering

    Jadavpur University

    1999

Awards & honors

  • Celebration of Excellence 2026
  • Celebration of Excellence 2025
  • Celebration of Excellence 2024
  • Celebration of Excellence 2023
  • Celebration of Excellence 2022

Similar researchers at University of Illinois Urbana-Champaign

  • Resume-aware match score
  • Save to shortlist
  • AI-drafted outreach

See your match with Sayan Mitra

PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.

Sign in to PhdFitHow it works
  • Free to start
  • No credit card
  • 30-second signup