Jesko Hecking-Harbusch

Jesko Hecking-Harbusch

Contact

Jesko Hecking-Harbusch (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5659
eMail: hecking-harbusch at react.uni-saarland.de
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.

Publications

[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 2017)

Student Projects

Bounded Synthesis of Petri Games with True Concurrency Semantics Niklas Metzger, Bachelor Thesis, 2017

Theses

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

Teaching

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.