Mai AL-Zu'bi

  • Project Assistant, MSc
  • TU Wien
  • Institute of Logic and Computation
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria
  • Room: HA 01 01
  • Email: --- [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.


  • MSc in Computer Engineering
  • BA in Computer Engineering