Skip to main content

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