Mario M. Alvarez

Soy candidato a doctorado en Ciencias de la Computación, trabajando en la Universidad de California, San Diego. Comencé el programa de doctorado allí en el otoño de 2014. Mi asesor de tesis es Ranjit Jhala. Desde 2017 he trabajado para ConsenSys como investigador de verificación formal. Mis intereses de investigación se agrupan en torno a la verificación de software: es decir, el uso de herramientas matemáticas y lógicas para mejorar la calidad del software esencial. Principalmente trabajo en el uso de teoremas interactivos tales tiene Isabelle y Coq para demostrar propiedades importantes sobre los sistemas del mundo real. Estoy impulsado por la creencia de que a medida que el software se convierte en una parte cada vez más central de nuestro mundo, necesitamos actualizar las herramientas que utilizamos para garantizar que nuestro software se va a comportar correctamente. Desde dispositivos médicos hasta cadenas de bloques y infraestructura inteligente, el software tiene el potencial de mejorar en gran medida nuestras vidas, pero solo si podemos hacerlo bien.