Noemi Passing

Noemi Passing

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

Contact

Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.08
Phone: +49 681 302 5655
eMail: passing at react.uni-saarland.de
Office Hours: Whenever the door is open

Student Projects

Satisfiability of Temporal Stream Logic modulo Theories Philippe Heim, Bachelor Thesis, ongoing
Verifiable Runtime Monitor Generation for Lola Specifications Stefan Oswald, Bachelor Thesis, 2020, co-advised by Maximilian Schwenger

Teaching

Winter 2019/2020 Assistant for Verification.
Summer 2019 Seminar Advisor for Hybrid Systems.
Summer 2018 Proseminar Advisor for Formal Verification of Security Protocols.
Winter 2017/18 Proseminar Advisor for Time Machine.
Summer 2016 Coach for Mathematics Precourse at Saarland University.
Winter 2015/2016 Tutor for Theoretical Computer Science at the Chair of Theoretical Computer Science.
Summer 2015 Coach for Mathematics Precourse at Saarland University.
Winter 2013/2014 Tutor for Programming 1 at the Dependable Systems and Software Group.
Summer 2013 Tutor for Mathematics Precourse at Saarland University.