Jana Hofmann

A profile picture of Jana Hofmann

About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security 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
CISPA Helmholtz Center for Information Security
Building: E1 1, Room: 1.15
Phone: +49 681 302 5661
eMail: jana.hofmann at cispa.saarland
Office Hours: Whenever the door is open

Find me on Twitter HTML tutorial

News!


Publications

Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

With Jonni Virtema, Bernd Finkbeiner, Juha Kontinen, and Fan Yang.
to appear at the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021).

Runtime Enforcement of Hyperproperties

With Norine Coenen, Bernd Finkbeiner, Christopher Hahn, and Yannick Schillo.
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021).

The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective

With Norine Coenen, Bernd Finkbeiner and Christopher Hahn.
17th International Conference on Principles of Knowledge Representation and Reasoning, Recently Published Research Track (KR 2020).

Realizing Omega-regular Hyperproperties

With Bernd Finkbeiner, Christopher Hahn and Leander Tentrup.
32nd International Conference on Computer-Aided Verification (CAV 2020).

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 ATVA’21, CAV’21, LICS’21, CONCUR’20, KR’20, ICALP’20, TACAS’20, CSL’20, ATVA’19


Theses


Advised Student Theses

Monitoring Smart Contracts with RTLola Frederik Scheerer, Bachelor Thesis, 2021 (co-advised by Jan Baumeister)
Temporal Stream Logic for Hyperproperties Julia Tillman, Bachelor Thesis, 2020 (co-advised by Norine Coenen)
Towards Synthesizing Smart Contracts: Reducing ATL* Synthesis to HyperLTL Synthesis Matthias Cosler, Bachelor Thesis, 2019 (co-advised by Christopher Hahn)


Teaching Videos


Teaching

For Reactive Systems Group

Winter 2020/2021 Assistant for Basic Course Programmierung 1
received Busy Beaver award for outstanding teaching performance
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 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