Niklas Metzger

Niklas Metzger

Contact

Niklas Metzger

Reactive Systems Group
Universit├Ąt des Saarlandes
Phone: +49 681 302 5658
eMail: metzger at react.uni-saarland.de
Building: E 1.1 Room: 1.16.3

Office Hours
Whenever my door is open.

About me

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

Publications

[HM19] Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
Jesko Hecking-Harbusch and Niklas Metzger
International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

Presentations

Theses

Live Synthesis Master Thesis, Saarland University, 2019
Bounded Synthesis of Petri Games with True Concurrecy Firing Semantics Bachelor Thesis, Saarland University, 2017

Teaching

Summer 2019 Lecturer for Programmierung 2 Precourse at Saarland University
Summer 2018 Supervising Teaching Assistant for Programmierung 2 at Saarland University
Summer 2017 Supervising Teaching Assistant for Programmierung 2 at Saarland University
Summer 2016 Teaching Assistant for Programmierung 2 at Saarland University