Andrea Pferscher

Andrea Pferscher is a Postdoctoral Research Fellow at the Department of Informatics at the University of Oslo, working in the Reliable Systems (PSY) group. Her research focuses on automata learning, digital twins, and formal methods for network protocol security testing. She has presented her work at premier conferences like Formal Methods, SEFM, and FMAS, and her research contributes to bottlenecks in service modeling, network security, and system verification.

Her scientific achievements include winning the 3rd edition of the AIDOaRt Hackathon and participating in the GI Dissertation Prize Colloquium for her distinguished doctoral work. Andrea’s publications highlight interdisciplinary approaches combining formal methods, machine learning, and network protocol modeling, with applications in digital twins for the Oslo Fjord and Bluetooth Low Energy security.

Scientific Awards

• GI Dissertation Prize Colloquium Participant
• AIDOaRt Hackathon Winner (3rd edition)

Research Trends

Her recent work emphasizes automata learning for networked environments, including constrained neural network architectures and comparative analysis of active/passive learning paradigms. Applications span digital twins (e.g., VPN servers, Oslo Fjord simulations), security testing, and formal verification of network protocols like Bluetooth Low Energy and MQTT.