dr. C. Kolb (Christina)

About Me

My name is Christina Kolb and I am mathematician. I am working at a post-doc postion at FMT group.

I graduated in mathematics in 2013, at Carl von Ossietzky University in Oldenburg, Germany. Besides my favourite maths fields, I studied some fields of Biology, mainly neurophysiology. As a student I was crazy about algebra, number theory, and cryptography.

Not surprisingly, I started working on security. I worked on anonymous reputation systems and anonymous credential systems until 2015, at Paderbron University in Germany.

To deepen my knowledge in theoretical computer science, I worked as a PhD in the research group of theory of distributed systems, also at Paderborn University, until May 2020. My PhD thesis is about "Competitive Routing in Hybrid Communication Systems with Holes". What I like best of this topic is that multiple disciplines are united. These are mainly safety, geometry, graph theory and distributed routing protocols. In addition, I worked on publish subscribe systems for the collaborative research center SFB 901 in Paderborn.

Since June 2020, I am a member of the CAESAR project at FMT group. The project's goal is combining safety and security. My main research is on attack-defence-fault trees.

In my free time, I like camping, spending time with my partner and my cat, cooking, marathon running, yoga, and boxing.


Fault Tree
Qualitative Analysis
Semantic Analysis
Engineering & Materials Science
Security Of Data


Budde, C. E. , Kolb, C. , & Stoelinga, M. (2021). Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_24
Stoelinga, M. I. A. , Kolb, C., Nicoletti, S. M. , Budde, C. E., & Hahn, E. M. (2021). The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.), Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture Notes in Computer Science; Vol. 12864). Springer. https://doi.org/10.1007/978-3-030-84629-9_1

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands