Behrad Samari

About

Behrad is currently a PhD student in Prof. Abolfazl Lavaei's group at Newcastle University. Motivated by the challenges of a world full of uncertainties, his research lies at the intersection of formal methods and systems and control theory. He focuses on developing frameworks capable of formally addressing verification problems and compositionally synthesizing controllers that ensure satisfying complex specifications over stochastic cyber-physical systems with provable guarantees.

Education

• Master's Electrical Engineering (Control major), University of Tehran, 2022
• Bachelor's Electrical Engineering (Control major), K. N. Toosi University of Technology, 2019

Selected publications

• Samari B, Della Rossa M, Lavaei A, Soudjani S, Jungers R. Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. In: 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024). 2024, Boulder, Colorado: Elsevier Ltd.