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.
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
CSCI 2820 - Linear Algebra with Computer Science Applications
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
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
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 5000 - Introduction to the Computer Science Research-Based MS Program
Instructs new research-based MS students in Computer Science how to become an effective member in terms of research, teaching, and presentation, and potentially advancing to the PhD program. Makes students aware of formal requirements, educational objectives, and research themes. Provides evaluative criteria and guidelines for all objectives to be achieved.
CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems
Fall 2019 / Fall 2020 / Fall 2021 / Fall 2022 / Fall 2023
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.