• Contact Info
Publications in VIVO

Zamani, Majid Assistant Professor


Research Areas research areas


research overview

  • Zamani's research interests includes formal verification and control of cyber-physical systems, hybrid systems, embedded control software synthesis, information-based control, and networked control systems.


  • Formal synthesis of (stochastic) hybrid systems, Compositional analysis and synthesis of interconnected systems, Formal methods approaches to robotic and autonomous systems, Information-based control, Automated synthesis of networked control systems, Data-driven verification and synthesis of (stochastic) hybrid systems


selected publications


courses taught

  • CSCI 2820 - Linear Algebra with Computer Science Applications
    Primary Instructor - Spring 2020 / Spring 2021
    Introduces the fundamentals of linear algebra in the context of computer science applications. Includes vector spaces, matrices, linear systems, and eigenvalues. Includes the basics of floating point computation and numerical linear algebra.
  • CSCI 4830 - Special Topics in Computer Science
    Primary Instructor - Fall 2019
    Covers topics of interest in computer science at the senior undergraduate level. Content varies from semester to semester. Only 9 credit hours from CSCI 4830 and/or CSCI 4831 can count toward Computer Science BS or BA.
  • CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems
    Primary Instructor - Fall 2019 / Fall 2020 / Fall 2021
    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.


International Activities

Other Profiles