Sadegh Soudjani

Cyber-Physical Systems

Personal page

Research Interests

  • Algorithms

  • Applied Mathematics

  • Formal Methods

  • Model Based Design

  • Modelling & Simulation

  • Probabilistic Models

I am interested in using model-based and data-driven methods for analysing properties of probabilistic systems. Application areas include power systems, smart buildings, and autonomous vehicles. Recently, I have started working on racing cars where the size of the car in 1/10 of an actual car. I am working on developing new algorithms for perception, actuation, and control of such cars. Possible projects include:

  • Understanding, simulation and visualisation of Markov chains

  • Formal verification of Markov chains using PRISM tool

  • Formal verification of autonomous cars using FAUST tool

  • Safety of smart buildings using SOCTS tool

  • Understand and implement algorithms for verification of probabilistic systems (e.g., models of autonomous vehicles)

Note that if you want to do your project with me, I expect you to have a good understanding of Mathematics.

Technologies & Programming Languages

I am comfortable supervising projects that make use of the following technologies and programming languages.

  • C

  • C++

  • Python



TODO: Use this site to find project supervisors for your masters projects.