Jana Hofmann
About Me
I was 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 |
This website is no longer maintained, please visit my new website at: janahofmann.github.io
News!
- I handed in my dissertation and will join the Confidential Computing Group at Microsoft Research in September.
- Check out the slides from my LICS’22 presentation here.
- Our paper Smart Contract Synthesis Modulo Hyperproperties will appear at CSF’23!
Publications
Smart Contract Synthesis Modulo Hyperproperties
With Norine Coenen, Bernd Finkbeiner, and Julia Tillman.CSF Distinguished Paper Award.
36th IEEE Computer Security Foundations Symposium (CSF 2023).
Deciding Hyperproperties Combined with Functional Specifications
With Raven Beutner, David Carral, Bernd Finkbeiner, and Markus Krötzsch.37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022).
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
With Jonni Virtema, Bernd Finkbeiner, Juha Kontinen, and Fan Yang.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
- Deciding Hyperproperties Combined with Functional Specifications: Slides
- 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.
Scientific Service
- Member of Artifact Evaluation Committee of CAV’ 22
- Subreviewer for LICS’22, TACAS’21, MFCS’21, CONCUR’21, ATVA’21, CAV’21, LICS’21, CONCUR’20, KR’20, ICALP’20, TACAS’20, CSL’20, ATVA’19
Theses
- 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
| Model Checking for (Hyper) Temporal Stream Logic | Janine Lohse, Bachelor Thesis, 2022 (co-advised by Hadar Frenkel) |
| 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
- Programming 1 at Saarland University: YouTube-Channel (together with Christopher Hahn, in German).
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 |