Bio:

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. 

Interests:

• 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