Martin Hořeňovský

Martin Hořeňovský Researcher at locksley.CZ

Twitter @horenmar_ctu

Martin Hořeňovský is currently a researcher at Locksley.CZ, where he works on converting large master-key systems to SAT. He has taught modern C++ at Czech Technical University in Prague, and maintains Catch2, a popular C++ unit testing framework, in the little free time he has left.

Talks and workshops