Bernhard Gleiss

Project assistant, PhD student

I am a PhD student with Laura Kovács. I graduated with a Dipl.-Ing. degree in Computational Intelligence from TU Wien in 2016. Prior to this, I obtained my BSc in Math from Universität Wien.

My PhD thesis focuses on software verification using superposition-based first-order theorem proving. As part of my PhD, I’ve developed the RAPID verification tool and the SatVis visualization tool, and furthermore contributed to the state-of-the-art theorem prover Vampire.

In 2017, I visited Arie Gurfinkel at the University of Waterloo, where I worked on optimizing the Z3 Horn Clause engine Spacer.

In 2018, I interned in the Automated Reasoning Group at Amazon Web Services. During that internship, I designed and implemented scalability-optimizations for Tiros, a service for the automated security analysis of AWS-based networks

Research Interests

  • Software Verification
  • First-order Theorem Proving
  • Horn Clause Verification


Bernhard Gleiss
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HE 03 05 (how to get there)
Phone: +43 (1) 58801 – 740 040

Latest News

Uni-Finanzierung als Absurdes Theater (Der Standard)

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. […]

Continue reading

TU Vienna Honorary Doctorate to Ed Clarke

We are glad to announce that TU Vienna will award an honorary doctorate to Ed Clarke. Edmund M. Clarke is among the leading computer scientists of our times. As a professor at Harvard, and, since 1982, at Carnegie Mellon University, he and his group have not only laid the theoretical and logical foundations of model […]

Continue reading

Full news archive