Biosciences Graduate Program

Alberto M. Segre, BS, AB, MS, PhD

Portrait

Professor of Computer Science

Contact Information

Office: 101B MH
Iowa City, IA 52242
Office Phone: 319-335-737

Email: alberto-segre@uiowa.edu
Web: More About Dr. Segre - Related Websites and Resources

Education

BA, LAS/Music Theory, University of Illinois-Urbana
BS, Computer Engineering, University of Illinois-Urbana
MS, Electrical Engineering, University of Illinois-Urbana
PhD, Electrical Engineering, University of Illinois-Urbana

Education/Training Program Affiliations

Biosciences Graduate Program
Interdisciplinary Graduate Program in Genetics
Interdisciplinary Graduate Program in Informatics
Interdisciplinary Graduate Program in Neuroscience

Research Summary

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 have recently shown how nagging can be generalized and used to parallelize three other standard search algorithms (i.e., A* search, alpha-beta-minimax game tree search, and the Davis-Putnam search algorithm from the artificial intelligence literature. Our results clearly show, both empirically and analytically, the performance advantage of nagging over partitioning for some search algorithms and problem domains. Aside from performance considerations, we note that nagging holds several additional practical advantages over partitioning; it is intrinsically fault tolerant, naturally load-balancing, requires relatively brief and infrequent interprocessor communication, and is robust in the presence of reasonably large message latencies. These properties contribute directly to nagging's demonstrated scalability, making it particularly well suited for use on geographically-distributed networks of processing elements. More recently, I have begun to work on applications of nagging to two important biological optimization problems, both of which have become the topic of ongoing multidisciplinary collaborations between our laboratory and other University of Iowa faculty in the life sciences. The first involves finding the ``best'' three-dimensional conformation of a protein (or portion of a protein) with respect to some model of protein energetics, while The second involves using patterns of heritability to find the ``most likely'' location of the DNA mutation responsible for a disease.

Date Last Modified: 06/07/2014 - 21:56:23