• University Assistant, MSc
• TU Wien
• Institut für Informationssysteme 184/4
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HA 03 07
• Phone: +43 (1) 58801 – 184833
• Email: jkatelaan [at] forsyte.at
• Web: forsyte.at/~katelaan/, TISS

---

Research Interests

• Static analysis, software verification, separation logic, decision procedures

---

Current Position

• I am a PhD student and university assistant in the Formal Methods in Systems Engineering group (FORSYTE) at TU Wien, and an associated student of the doctoral college Logical Methods in Computer Science. I started my PhD studies in October 2015 under the supervision of Prof. Dr. Helmut Veith. My current supervisors are Georg Weissenbacher and Florian Zuleger.

---

Education

• MSc in Computer Science from (RWTH Aachen University, Germany)

---

Publications

1. Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Proceedings of the 26th European Symposium on Programming (2017).
2. Harold Bruintjes, Viet Yen Nguyen, Dimitri Bohlender, Sebastian Junges, Jens Katelaan and Thomas Noll. A Review Of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2014).
3. Nils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen and Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (2011).

---