Patricia Derler is a computer scientist, researcher, and software engineer with extensive background in modeling, design, simulation, verification, and test of complex, distributed, heterogeneous systems. She received a Ph.D. in Computer Science from the University of Salzburg, Austria, and her undergraduate degree in Software Engineering from the University of Applied Sciences, Hagenberg. She has held positions in industry and academia, including UC Berkeley, NI (formerly National Instruments), Kontrol, PARC, and Zoox.
Modeling, development, and analysis of embedded, distributed, heterogeneous systems
Verification, simulation and testing of model and system behaviors
Specification languages for system requirements and behaviors
Formal methods for safety assurance
Correct-by-construction methodologies
Challenges in Autonomous Vehicle Development, Dagstuhl Seminar on Safety Assurance for Autonomous Mobility, Feb 2024.
From Perception to a Framework for Verification of Autonomous Behavior, AutoSens Detroit.
Rule-Based Verification of Autonomous Vehicle Behavior, AVS2020.
Programming With Time, WSTS, April 2017.
As Time Goes By, Invited Talk, IIC Information Meeting, Sep 2014.