Bernhard Gleiss

 
  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Craig Interpolation
  • Model Checking, Invariant Generation
  • Theorem Proving, Induction

Current Position


Education

  • MSc in Computational Intelligence (TU Wien), master thesis: Interpolation and Local Proofs, August 2016
  • BSc in Mathematics (University of Vienna)