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

 

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

Room: HE 03 05 (how to get there)
Phone: +43 (1) 58801 – 740 040
Email: bgleiss@forsyte.at
Web: http://forsyte.at/~gleiss/

Latest News

Facebook group for Austrian computer scientists

There is a new facebook group for communication among Austrian computer scientists: https://www.facebook.com/groups/AustrianComputerScience/ For those who are skeptical about facebook, we created a read-only mirror (beta version): http://forsyte.at/acs/  

Continue reading

Johannes Kinder joins Royal Holloway

After a postdoc with George Candea, FORSYTE alumnus Johannes Kinder will start a lecturer position at Royal Holloway in September 2013! Congratulations! http://people.epfl.ch/johannes.kinder?lang=en&cvlang=

Continue reading

Full news archive