Julia Eisentraut
Doktorand/in, TU Munich
Our modern society heavily relies on computer systems – not only obvious technologies such as smartphones, computers and the internet depend on it, but also many modern means of transport, logistics, medical devices and household appliances. In many of these areas, faulty applications can endanger human lives. Hence, we need to assess risks of these technologies rigorously, for instance, using formal methods. When I first came across this field of computer science, I was fascinated by the idea to prove that systems comply with or violate their specification, to systematically estimate success probabilitites of attacks on computer systems and to even detect faulty behaviour during the execution of a system. After my studies, I wanted to explore and contribute to that exciting area of computer science and that’s why I am now a PhD student in the area of formal methods.

In einer Videokonferenz...

... kann ich über meine Forschung sprechen.

... beantworte ich gerne Fragen zum Studium oder zu Karrierechancen.

... spreche ich auch mit Universitätsstudenten im Rahmen einer Vorlesung.

... stehe ich als Experte in anderem Rahmen zur Verfügung (z.B. für Journalisten, Museen).


Verwandte Schulfächer
Informatik, Ethik, Mathematik
Schlüsselwörter
formal methods, security, safety, women in computer science, privacy
Sprachen
Englisch, Deutsch
ORCID