
Alberto M. Segre, Ph.D.
Title/Position
Professor
Chair, Department of Computer Science
The focus of my research is on nagging, a distributed search paradigm that exploits the speedup anomaly by playing multiple reformulations of the problem—or portions of the problem—against each other. Originally developed within the relatively narrow context of distributed automated deduction, we...