Jana Hofmann

Jana Hofmann

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University and a member of the Graduate School of Computer Science. After receiving my Bachelor’s degree (B.Sc.) from Saarland University, I graduated in Computer Science at the University of Edinburgh (M.Sc.).

Contact

Reactive Systems Group
Universität des Saarlandes
Building: E 1.1 Room: 1.15

eMail: hofmann at react.uni-saarland.de
Phone: +49 681 302 5661

Office Hours
Whenever my door is open.

Publications

The Hierarchy of Hyperlogics

With Norine Coenen, Bernd Finkbeiner, and Christopher Hahn.
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).


Presentations


Scientific Service

  • Subreviewer for TACAS’20
  • Subreviewer for CSL’20
  • Subreviewer for ATVA’19


Theses


Student Projects

Synthesizing Fair Exchange Protocols Matthias Cosler, Bachelor Thesis

Teaching Videos


Teaching

For Reactive Systems Group

Winter 2019/2020 Assistant for Core Course Verification
Summer 2019 Advisor for Proseminar Softwarezuverlässigkeit (Software Reliability)
Winter 2018/2019 Assistant for Seminar Hyperproperties

As Student at Saarland University and University of Edinburgh

Summer 2018 Coach for Mathematics Precourse at Saarland University
Summer 2017 Lecturer and Coach for Mathematics Precourse at Saarland University
received the BESTE award for student initiatives and extraordinary commitment
Summer 2017 Student TA for Theoretical Computer Science at the School of Informatics, University of Edinburgh
Winter 2016/2017 Student TA for Informatics I – Functional Programming at the School of Informatics, University of Edinburgh
Summer 2016 Coach for Mathematics Precourse at Saarland University
Summer 2016 Student TA for Concurrent Programming at the Dependable Systems and Software Chair
Winter 2015/2016 Organizer of Didactic Seminar for Re-exam Student TAs
Winter 2015/2016 Supervision Student TA for Programming 1 at the Programming Systems Lab
Summer 2015 Coach for Mathematics Precourse at Saarland University
Winter 2014/2015 Organizer of Didactic Seminar for Re-exam Student TAs
Winter 2014/2015 Student TA for Programming 1
Winter 2013/2014 Re-exam Student TA for Programmierung 1 at the Dependable Systems and Software Chair