Dor Minzer

Investigando algoritmos resilientes para probar funciones en medio de desafíos de pérdida de datos.

Una visión general de los problemas de decisión y su importancia en la informática teórica.

Nuevas técnicas mejoran las aproximaciones para instancias desafiantes de CSP.