We contribute to the research and development of tools for automated reasoning.  This topic stretches from logic, over artificial intelligence to applications and particularly includes support for the development of software and hardware. Our SAT, SMT and QBF solvers are world-renowned and rank at the top of international competitions. Our goal in teaching is to provide the basic and advanced knowledge to apply logic in all fields of computer science and beyond.

More information can be found at http://fmv.jku.at, opens an external URL in a new window.