A. Lavaei is one of the top three finalists for the young author award at the IFAC Symposium on Large Scale Complex Systems (IFAC LSS)!
Three papers from our group got accepted at the 2019 European Control Conference (ECC)!
Zamani is a program committee chair at the 12th International Workshop on Numerical Software Verification!
Majid Zamani jointly with Damien Zufferey are program committee chairs at the 12th International Workshop on Numerical Software Verification. The workshop will be held in conjunction with the 31st International Conference on Computer-Aided Verification (CAV) in New...
Our case study paper on a parallelized and sparsity-aware controller synthesis approach got accepted at TACAS'19!
A regular paper on compositional verification and synthesis of interconnected embedded control systems and a tool paper on parallelization of symbolic control and utilizing high-performance computing platforms got accepted at HSCC'19.
Zamani joined the Computer Science Department at University of Colorado Boulder! Greetings from flatirons!
As of January 7th, 2019, Zamani joined the Computer Science Department at University of Colorado Boulder as an assistant professor.
Zamani was appointed as one of the associate editors of Nonlinear Analysis: Hybrid Systems! Check here for the details about the journal!
As of January 1st, 2019, Zamani was appointed as one of the associate editors of Discrete Event Dynamic Systems! Check here for the details about the journal!
Our DFG Research Training Group on "Continuous Verification of Cyber-Physical Systems" (€6M) got granted! Using this grant, Prof. Zamani together with 9 other PIs aim to verify autonomous cyber-physical systems in the presence of change by integrating control...
The HCS group got granted a DFG project on "Compositional synthesis of abstractions for infinite networks"! This is a joint project with Prof. Fabian Wirth at the Faculty of Computer Science and Mathematics in the university of Passau.