Name:Marcelo F. Frias

Affiliation:Dept. of Software Engineering Instituto Tecnológico de Buenos Aires

Research interests:Static analysis, SAT-solving, Bug finding, Automated test input generation, Automated program correction.