Skip to Content
Professor of Computer Science
Office: 101B MHIowa City, IA 52242
Office Phone: 319-335-737
Email: email@example.comWeb: More About Dr. Segre - Related Websites and Resources
BA, LAS/Music Theory, University of Illinois-UrbanaBS, Computer Engineering, University of Illinois-UrbanaMS, Electrical Engineering, University of Illinois-UrbanaPhD, Electrical Engineering, University of Illinois-Urbana
Biosciences Graduate ProgramInterdisciplinary Graduate Program in GeneticsInterdisciplinary Graduate Program in InformaticsInterdisciplinary Graduate Program in Neuroscience
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: 08/03/2015 -
Copyright © 2011 The University of Iowa. All Rights Reserved.