Dr. Yang Gao

I am responsible for the tasks in CrEST project (Collaborative Embedded Systems). The project focus on the modeling and analysis of risks in autonomous driving systems and protocols in an open context. My activities are to help design the methodology for modeling and risk assessment regarding the system with uncertainties. Techniques: Probability Analysis, Risk Assessment, Probabilistic Modeling, Probabilistic Graph, Verification

Topic: Modeling and Risk Analysis for systems with uncertainties and probabilistic behavior; Description: The systems are always influenced by uncertainties and disturbances, my Ph.D. topics are to figure out how to model and analyze such systems.

Topic: Modeling and Risk Analysis for systems modeled by Continuous-time Markov chains (CTMC); Description: A lot of systems can be modeled by DTMC/CTMC, our work is to model the properties on DTMC/CTMC and analyze the risks and properties, especially the conditional ones.

Main Courses: Object Oriented Programming, Data Structures and Algorithm Analysis, Database Technology, JAVA Programming Language, Artificial Intelligence, Principle of Computer Operating System, Foundation and Application of Microcontroller. Bachelor Theis: The Design of Intelligent Tracking Car