IEEE TCCPS Early-Career Award!

May 2019 - Dr. Pajic receives the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Early-Career Award for "outstanding contributions to design and analysis methodologies for high-assurance cyber-physical systems"!

Pratt annoncement is here.