Julia Eisentraut

Who are you and what do you do? Who are your partners?
I am Julia Eisentraut, 27, PhD student at the TU Munich, Department of Theoretical Computer Science and Correctness of Software Systems and my industry partner is DATEV eG.

When did you join the Software Campus and why are you in the program?
I have been in the program since 2019 and would like to explore and develop the practical side of my PhD topic. It is about making technical systems (and their interaction with people) provably secure against attacks.

What do you expect from the Software Campus?
To gain more experience as an executive and to explore the practical aspects of my PhD thesis.

What is the content of your IT project and how could it be applied in the future?
The goal of my project ProSec (Proven Security) is to make the latest research results from the formal analysis of systems usable in the assessment of (data) security. The innovation of this approach is that, for the first time, not only hardware and software components are examined with mathematical precision, but also the actions of the people who operate in the systems – and usually make the most serious mistakes for security. This approach can be important in the long term in many areas – from self-propelled cars to industrial plants, hospitals and power stations.

What fascinates you about computer science?
I didn’t actually want to study computer science, but the subject area in which I now work has made me enthusiastic about computer science because of its interdisciplinary nature between mathematics, physics, computer science and psychology.

Have you been particularly impressed by a personality from computer science or management?
Evelyn Berezin, the founder of the company, who developed the first word processor in 1969.

Imagine: Internet breakdown for 1 month – what are you doing?
Continuing to work on my doctoral thesis – no internet connection needed. Privately – reading and walking a lot.