Jesko Hecking-Harbusch

Jesko Hecking-Harbusch


Jesko Hecking-Harbusch

Reactive Systems Group
Saarland University
Phone: +49 681 302 5659
eMail: hecking-harbusch at
Building: E 1.1 Room: 1.16.2

About me

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

My research interests focus on reactive synthesis of distributed systems in the project Petri Games.


[HT18] Solving QBF by Abstraction
Jesko Hecking-Harbusch and Leander Tentrup
Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
[FGHO17] Symbolic vs. Bounded Synthesis for Petri Games
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, and Ernst-RĂ¼diger Olderog
Sixth Workshop on Synthesis (SYNT@CAV 2017)

Student Projects

Translating Asynchronous Games for Distributed Synthesis Raven Beutner, Bachelor Thesis, ongoing
Generating Concurrency-preserving Petri Games Sanny Schmitt, Bachelor Thesis, 2019
Bounded Synthesis of Petri Games with True Concurrency Semantics Niklas Metzger, Bachelor Thesis, 2017


Equivalence of Petri Games Master Thesis, Saarland University, 2016
A Game-Based Semantics for CSP Bachelor Thesis, Saarland University, 2015


Summer 2019 Seminar Advisor for Hybrid Systems.
Winter 2018/19 Seminar Advisor for Hyperproperties.
Summer 2018 Project Advisor for Embedded Systems.
Winter 2017/18 Proseminar Advisor for Time Machine.
Winter 2016/17 Seminar Advisor for Runtime Verification.
Summer 2014 Student Teaching Assistant for Artificial Intelligence at the Foundations of Artificial Intelligence Group.
Summer 2013 Student Teaching Assistant for Programmierung 2 at the Compiler Design Lab.