Juliane Päßler

I am a postdoctoral researcher in the Automated Program Reasoning (APRe) research group, which is part of the forsyte research unit, at TU Wien.

My research interests include verification of self-adaptive systems and analysis of software product lines.

I obtained my PhD from the Faculty of Informatics at the University of Oslo in 2025 under the supervision of Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, and Carlos Hernández Corbato. During my PhD, I was part of the Marie Skłodowska-Curie Actions Innovative Training Network REMARO (REliable AI for MArine RObotics).

I obtained my Bachelor’s and Master’s degree in mathematics from the University of Münster.

News