Lisa Willemsen

Lisa Willemsen is an external PhD candidate and Researcher at the University of Twente, affiliated with the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). Her research focuses on stochastic models and formal verification within computational systems.

• University: University of Twente
• School: Faculty of Electrical Engineering, Mathematics and Computer Science
• Academic Rank: Researcher
• Email: l.c.willemsen@utwente.nl

Her 2022 publication in the EPiC Series in Computing addresses verification techniques for continuous and hybrid systems, particularly in stochastic modeling contexts. This work was presented at the 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22).