Ingeniero Civil en Computación, Universidad de Chile. Magíster en Ciencias mención Computación y Doctor en Ciencias mención Computación, ambos en la Universidad de Chile. Durante sus estudios, investigó el área de lenguajes de programación, en particular en la adopción gradual de teorías orientadas a la correctitud y robustez de programas, como por ejemplo tipos de seguridad y polimorfismo. En el 2019 comenzó un postdoctorado en el Instituto Milenio de Fundamento de Datos, y el 2020 ganó un FONDECYT para hacer un postdoctorado en la Universidad de Chile. Actualmente se encuentra investigando acerca de herramientas automáticas y formales para la adopción gradual de teorías que mezclen los conceptos de privacidad y seguridad. Durante su postdoctorado, ha sido profesor de base de datos tanto en la UC y en la Universidad de Chile. 14 años trabajando en el desarrollo de software en el área aeronáutica y educacional.