Mate Soos has been working with SAT solvers for seven years, and is the developer of the SAT solver CryptoMiniSat. When not working on SATor SMT solvers, he is working as a security consultant, breaking cars(with FPGAs), Oyster cards (with SAT solvers) and SIM cards (withrainbow tables).

Talks I've Given