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.

Theses

Teaching Videos

Teaching

Winter 2018/2019 Assistant for Seminar Hyperproperties at the Reactive Systems Group.
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 at the Reactive Systems Group
Winter 2013/2014 Re-exam Student TA for Programmierung 1 at the Dependable Systems and Software Chair