I am Ricardo Rodriguez Reveco, since Jan 2024 I am a PhD student in the Symmetric Cryptography group of Ruhr Universität Bochum, where I am supervised by Gregor Leander. Before that, I was a graduate student at PUC-Chile and Millennium Institute for Foundational Research on Data. I also worked as a part-time lecturer at Universidad Adolfo Ibañez and PUC.

My research interests are diverse, including cryptography and cryptanalysis, logic and SAT-Solving, integer programming. Right now I am working on key recovery on symmetric cryptanalysis and on automated cryptanalysis.

I studied mathematics as an undergraduate at Pontificia Universidad Católica de Chile, and did a master degree in computer science supervised by Prof. Marcelo Arenas. With Marcelo we worked on studying FPRAS algorithms for counting problems on the #P complexity class. Previously, we worked on a complexity analysis of a formalization of Schelling’s model of segregation and on combinatorial problems related to blockchains.

Non-academic info about me

I was born in the vibrant city of Santiago de Chile, where my father worked as a travelling salesman, so that is maybe the reason why I like theoretical computer science. I enjoy karaoke and consider myself a Swiftie. I’m the type of person who appreciates “Lost in Translation” as a good movie. I have a fondness for dad jokes and am deeply fascinated by the comedic style of Norm Macdonald.