Manuel is a Doctoral Student in the Software Reliability Group at Imperial College London. He completed his MSc. in Computer Science from the University of Buenos Aires and joined the group after working in the industry for two years.

His research interests include software verification, software security and compilers.