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

 

---

• Room: HA 01 01
• Email: --- [at] tuwien.ac.at

---

Research Interests

•  Internet of Things, Real-time Systems, Quality Assurance, and Automated Software Verification.

---

Current Position

• I am a PhD student in the Doctoral College Logical Methods in Computer Science at TU Wien, within the  Knowledge Based Systems group under the supervision of Prof. Georg Weissenbacher.

---

Education

• MSc in Computer Engineering
• BA in Computer Engineering