Dipl.-Ing. Mathias Preiner

Since June 2012, I am a computer science Ph.D. student at FMV, supervised by Prof. Armin Biere.

Research Interests

  • Satisfiability Modulo Theories (SMT)
  • Automated Testing and Debugging Techniques
  • SAT

Publications

A list of my publications can be found here: Publications

Talk Slides

Software

  • Boolector, an SMT solver for bit-vectors and arrays.
  • QRPcert, a tool for extracting Skolem/Herbrand function-based QBF certificates.
  • CertCheck, a tool for validating QBF certificates extracted by QRPcert.
  • QxBF, a QBF preprocessor based on failed literal detection.
  • QBFuzz, a fuzzer for generating random QBF formulae.

Awards

My work in boolector contributed to the following awards:

Office

Science Park 3 (SCP3), 2nd Floor
Room S30259

Contact

mathias.preiner@jku.at
+43 732 2468 4553 (phone)

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria