Joseph Tassarotti

Un nuevo método para confirmar la terminación de programas en entornos probabilísticos complejos.

Un nuevo enfoque para los límites de error usando créditos de error para programas complejos.

Un nuevo enfoque para entender los costos esperados de programas probabilísticos usando lógica de separación de orden superior.

Un nuevo enfoque para garantizar la fiabilidad de programas probabilísticos de orden superior.

Descubre cómo la aleatorización puede mejorar la eficiencia en la programación concurrente.