Staff Profile
Behrad Samari
Graduate Research and Teaching Assistant
- Email: behrad.samari@ncl.ac.uk
- Address: School of Computing
Newcastle University
Office 6.030, Urban Sciences Building
Newcastle, NE4 5TG, United Kingdom
Background
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:
1. Formally addressing verification problems;
2. (Compositionally) synthesizing controllers that ensure satisfying complex specifications over (stochastic) cyber-physical systems with provable guarantees.
Behrad received his Master's and Bachelor's degrees in Electrical Engineering (Control major) from University of Tehran, Tehran, Iran, and K. N. Toosi University of Technology, Tehran, Iran, in 2022 and 2019, respectively.
Research
- Systems and Control Theory
- Data-Driven Control
- Formal Methods
- Stochastic Cyber-Physical Systems
Teaching
- Spring 2024: Fundamentals of Computing (CSC1031)
- Autumn 2023: Computer Systems Design and Architectures (CSC1032)
- Autumn 2023: Security and Programming Paradigms (CSC2031)
Publications
-
Conference Proceedings (inc. Abstract)
- 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. 2024, Boulder, Colorado.