Brummayer

DI Dr. Robert Brummayer

Assistant

I was a research and teaching assistant at FMV, supervised by Prof. Armin Biere. I received my Ph.D. in "formal methods in computer science" from the Johannes Kepler University Linz in November 2009. I am now at DMCE.

My main research project has been Boolector, which is an Satisfiability Modulo Theories (SMT) solver for bit-vectors and arrays. Recently, I have also been working on testing and debugging tools for SMT and ASP solver development. If you are interested in SMT solving and SMT solver development, then you might want to read my Ph.D. thesis.

Research interests

  • Satisfiability Modulo Theories (SMT)
  • Formal Verification
  • Fuzz Testing
  • Delta-Debugging
  • And-Inverter Graphs
  • SAT

Publications

List of publications

Talks

Awards

Teaching activities

  • Systems Programming
  • Formale Modelle (Formale Grundlagen 3)
  • Model Checking
  • Softwareentwicklung 1 (Wirtschaftsinformatik)
  • Spezielle Kapitel aus Informatik: Pthreads Programming in C

Fotos

Here you can find some nice fotos

Office

TNF Tower, 7th Floor, North-West Wing
+43 732 2468 8894 (phone)
Room T0758

Contact

robert.brummayer@gmail.com
http://fmv.jku.at/brummayer
+43 732 2468 8893 (fax)

Address

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