• Project Assistant, MSc
• TU Wien
• Institute of Logic and Computation 192/6
• Favoritenstraße 9–11
• 1040 Wien
• Austria

---

• Room: HB 01 18
• Email: renate.eilers [at] tuwien.ac.at

---

Research Interests

• Transformation, analysis and verification of programs; functional programming; provable security; programs as proofs.

---

Current Position

• I am a PhD student in the Doctoral College Logical Methods in Computer Science at TU Wien, where I am part of the Security and Privacy Group. I started my studies in December 2018 under the supervision of Prof. Matteo Maffei.

---

Education

• MSc in Computing Science (2015-2018), Utrecht University, The Netherlands
• BSc in Artificial Intelligence (2011-2014), Utrecht University, The Netherlands