|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|
- Our paper Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity will appear at FSTTCS’21!
- Our lecture Programming 1 received the Busy Beaver Award awarded by the Computer Science Student Council for exceptional lectures!
Linear-time Temporal Logic with Team Semantics: Expressivity and ComplexityWith 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 HyperpropertiesWith 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 PerspectiveWith 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 HyperpropertiesWith Bernd Finkbeiner, Christopher Hahn and Leander Tentrup.
32nd International Conference on Computer-Aided Verification (CAV 2020).
The Hierarchy of HyperlogicsWith Norine Coenen, Bernd Finkbeiner and Christopher Hahn.
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).
- The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective: Slides, YouTube Video
at 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020.
- Logics for Hyperproperties: Slides
at IST Austria , July 2020.
- The Hierarchy of Hyperlogics: Slides
at 34th Annual ACM/IEEE Symposium on Logic in Computer Science in Vancouver, Canada, June 2019.
- Subreviewer for ATVA’21, CAV’21, LICS’21, CONCUR’20, KR’20, ICALP’20, TACAS’20, CSL’20, ATVA’19
- Undecidability of Weak Bisimulation Equivalence in Unary One-Counter Petri Nets Master Thesis, University of Edinburgh, 2017
received Claire Jones prize for the best overall degree of a female Computer Science M.Sc. student
- Verified Algorithms for Context-Free Grammars in Coq Bachelor Thesis, Saarland University, 2016
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)|
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|