• Contact Info
Publications in VIVO
 

Zamani, Majid

Associate Professor

Positions

Research Areas research areas

Research

research overview

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

keywords

  • 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

Publications

selected publications

Teaching

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 4022 - Advanced Data Science
    Primary Instructor - Spring 2023
    Introduces students to advanced tools, methods, and theory for extracting insights from data. Covers computational tools for storing and working with large data sets and computational techniques for common big data scenarios like graph data, recommender systems, and dimensionality reduction. Emphasizes both the efficient implementation of algorithms as well as the mathematical foundations behind techniques.
  • 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 / Fall 2022
    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.

Background

International Activities

Other Profiles