Skip to content

Cyber-Physical System Design (DesCyPhy) Lab

Our lab has moved to UC Berkeley this summer. Stay tuned for more updates.

Subhajit won the 2024 Viterbi Best Research Assistant Award.
DATE 2024 Best Paper award.
Subhajit's defense.
Chanwook's defense.
May 2023 Yinghua's graduation.
May 2023 Yinghua's graduation.
May 2023 Yinghua's graduation.
March 3 2023 Group Picture.
Fall 2018 Group Picture.

News

    • Mar 2024: Our paper “Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism” receives the Best Paper Award at DATE 2024, a leading conference in system design automation. Congratulations again to Yifeng, Chanwook, and Michele!

Join Us

We are recruiting postdoctoral scholars with interests and expertise in: (a) machine learning, formal methods, and cyber-physical systems; or (b) electronic design automation, system-on-chip design, formal methods, and security. Prospective applicants should email their CV to Prof. Pierluigi Nuzzo together with two representative publications.