We develop Methods and Tools for the Verification, Modelling, Testing and Debugging of Software and Hardware.
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.