Robert Freiman Giorgio Cignarale
- Project Assistant, MSc
- TU Wien
- Institute of Logic and Computation
- Favoritenstraße 9–11
- 1040 Wien
- Room: HA 01 01
- Email: --- [at] tuwien.ac.at
- Internet of Things, Real-time Systems, Quality Assurance, and Automated Software Verification.
- 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