- Project Assistant, MSc
- TU Wien
- Institut für Informationssysteme 184/4
- Favoritenstraße 9–11
- 1040 Wien
- Austria
- Room: HD 03 05
- Phone: +43 (1) 58801 – 740040
- Email: bgleiss [at] forsyte.at
- Web: forsyte.at/~gleiss/, TISS
Research Interests
- Craig Interpolation
- Model Checking, Invariant Generation
- Theorem Proving, Induction
Current Position
- I am a PhD student affiliated with the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in September 2016 under the supervision of Prof. Laura Kovács. I am also a project assistant in the Formal Methods in Systems Engineering group (FORSYTE).
Education
- MSc in Computational Intelligence (TU Wien), master thesis: Interpolation and Local Proofs, August 2016
- BSc in Mathematics (University of Vienna)