I am mainly interested in the the design, development and formal verification of smart cyber-physical systems. Currently, I work in industry where I am involved in functional-safety and cybersecurity assurance of autonomous and electric vehicles. Following are some key areas of my research:
- combined safety and security specification, reasoning and verification
- certification of safety-critical systems (ISO 26262, IEC 61508, IEC 62304, ..)
- failure analysis of machine learning algorithms for self-driving vehicles.
Original design: Adrian Vasile Dalca