Prof. Majid Zamani received an ERC starting grant award!

Prof. Majid Zamani received an ERC starting grant (€1.5M) award! Using this grant, he aims to develop an innovative design process, in which the embedded control software is synthesized from high-level correctness requirements in a push-button and formal manner.