Felienne Hermans

Delft University of Technology

Felienne is associate professor at the Leiden Institute of Advanced Computer Science at Leiden University, where she heads a research group on programming education. What cognitive skills are needed for programming? What misconceptions can occur when children are learning to program? These are some of the questions that intrigue Felienne.

She is also one of the founders of the Joy of Coding conference and is a host at SE radio, one of the most popular software engineering podcasts on the web.

If she is not coding, blogging or teaching, she is probably dancing Lindy Hop, running or playing a (board)game.

Felienne blogs at felienne.com

So this one day, I am playing the board game Quarto with my friend and I wonder, can this game end in a tie, or is there always a winner? Normal people might have squabbled or shrugged, but not us nerds! We obviously abandoned the game, took our laptops to the local pub and started hacking. In this talk I will explain how I used F# to transform this problem to satisfiability, ran it through a sat solver to discover if it can indeed end in a tie. I will also show how to apply the same technique to more useful problems such as scheduling and hardware testing.

Slides
Video ←Back