Professor Dr. Majid Zamani

Address Ludwig-Maximilians-Universität München
Institut für Informatik
Software and Computational Systems Lab
Oettingenstraße 67
80538 München

ORCID-ID 0000-0001-6608-3708

Projects

As Applicant
- Current projects
  - Opacity of Large-Scale Cyber-Physical Systems (Research Grants)
- Completed projects
  - Compositional synthesis of abstractions for infinite networks (Research Grants)
  - Automated Synthesis of Networked Control Systems (Research Grants)
  - Information measures for control: invariance and reachability (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)