Staff Profile
Behrad Samari
Graduate Research and Teaching Assistant
- Email: behrad.samari@ncl.ac.uk
- Address: School of Computing
缅北禁地
Office 6.030, Urban Sciences Building
缅北禁地, NE4 5TG, United Kingdom
Background
Behrad is currently a PhD student in Prof. Abolfazl Lavaei's group at 缅北禁地. 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. . In: 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024). 2024, Boulder, Colorado: Elsevier Ltd.