Majid Zamani (Preferred)
Majid Zamani
Associate Professor, Computer Science, University of Colorado at Boulder
Joined
March 2023
Names
Emails
****@gmail.com (Confirmed)
****@colorado.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science, University of Colorado at Boulder (colorado.edu)
2022 – Present
Assistant Professor
Computer Science, University of Colorado at Boulder (colorado.edu)
2019 – 2022
Assistant Professor
Electrical and Computer Engineering, Technische Universität München (tum.de)
2014 – 2018
PhD student
Electrical Engineering, University of California, Los Angeles (ucla.edu)
2008 – 2012
MS student
Mathematics, University of California, Los Angeles (ucla.edu)
2008 – 2012
Advisors, Relations & Conflicts
Expertise
Verification and control of cyber-physical systems
, Secure-by-construction synthesis
, compositional analysis and synthesis of interconnected systems
Present
Publications
Co-Authors
- Abdalla Swikir
- Abolfazl Lavaei
- Abraham P. Vinod
- Adnane Saoud
- Alessandro Abate
- Alex Devonport
- Ali Salamati
- Alireza Nadali
- Alma Pröbstl
- Ameneh Nejati
- Andrii Mironchenko
- Anne Remke
- Antoine Girard
- Arnd Hartmanns
- Asad Ullah Awan
- Asgeir Johan Sørensen
- Ashutosh Trivedi
- Ben Wooding
- Bingzhuo Zhong
- Calin Belta
- Carina Pilch
- Christoph Kawan
- Chuchu Fan
- Daniel Ajeleye
- Debarghya Ghoshdastidar