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

**Cyber-Physical Systems**

## 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

MATLAB