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.
Catch Martin Hořeňovský in the following episode:
