Benedikt Maderbacher

I am a researcher and PhD student in Formal Methods at TU Graz. My research revolves around the questions: How can we make sure programs are doing what they are supposed to do? Can we get computers to write programs that always behave correctly?


Sessions

04-23
16:00
45min
Solving Puzzles with Constraint Solvers
Benedikt Maderbacher

Constraint solvers are powerful tools that can be used to solve various problems.
We will look at the open source solver Z3 and see how to use it for logic puzzles and other applications.

Development
HS i2