Rastislav Lenhardt

Rasto is a software engineer at Google, currently working on Search. Together with Jyrki Alakuijala they have developed a high-speed compression library Gipfeli, which is aiming at slightly higher compression ratios than other high-speed compression libraries. Rasto has joined Google after his PhD, where he was working on algorithms and complexity of Probabilistic Verification under the supervision of James Worrell and Michael Benedikt at University of Oxford. His interests include also using randomization in designing algorithms, and combinatorial game theory.