I am a Ph.D. student at the chair of Prof. Holger Hermanns since April 2016.

Tools

Publications

Year Publication Open Access?
2015 Felix Freiberger, Holger Hermanns:
On the Control of Self-Balancing Unicycles.
MARS 2015: 25-36
✓ (via arXiv)
additional material
2017 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students.
Models, Algorithms, Logics and Tools 2017: 170-195
✓ (on powver.org)
2019 Felix Freiberger, Holger Hermanns:
Concurrent Programming from pseuCo to Petri
Petri Nets 2019: 279-297
✓ (on powver.org)

Teaching Experience

Teaching Assistant

  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2016
  • “Programmierung 1”, Basic Course, Winter term 2016/17
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2018
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2019

Student TA

  • “Programmierung 1” (Programming 1), Repetition Tutorial, WS 2011/12
  • Preparatory course in Mathematics, 2012
  • “Programmierung 1” (Programming 1), Basic Course, WS 2012/13
  • “Nebenläufige Programmierung” (Concurrent Programming), Basic Course, Summer term 2013
  • Preparatory course in Mathematics, 2013
  • “Programmierung 1” (Programming 1), Supervision, Basic Course, WS 2013/14
  • “Nebenläufige Programmierung” (Concurrent Programming), Supervision, Basic Course, Summer term 2014
  • Verification, Core Lecture, Winter term 2014/15
  • Preparatory course in Mathematics, 2015
  • Preparatory course in Mathematics, 2016
  • Preparatory course in Mathematics, 2017

Contact

Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5608
Location: Bldg. E1 3, Room 507
E-mail: freiberger@depend.uni-saarland.de