Dr. Paul A. G. Sivilotti
Associate Professor
Computer Science and Engineering
Site Navigation
Current Students
| Razvan Lupusoru | BS (Honors) | Efficient Distributed Snapshot Algorithms |
| Candace Remaly | Research Assistant | ODOT Cost Estimation for Geohazard Remediation |
Other Affiliated Students
- Bruce Adcock
- Derek Bronish
- Jim Dinan
- Jason Kirschenbaum
- Joshua Levine
- Taylor Williams
Alumni
| Degree | Year | First Placement (Current Position) | Thesis Topic | |
| Matt Lang | Ph.D. | 2009 | Assistant Professor at Moravian College | "Maximality: Modular Verification and Implementability" |
| Scott Pike | Ph.D. | 2004 | Assistant Professor at Texas A&M (now: Research Assistant Professor) |
"Distributed Resource Allocation with Scalable Crash Containment" |
| Chris Bohn | Ph.D. | 2004 | Software Engineering Course Director at AFIT | "In Pursuit of a Hidden Evader" |
| Nigamanth Sridhar | Ph.D | 2004 | Assistant Professor at Cleveland State University (now: Associate Professor) |
"Dynamically Reconfigurable Parameterized Components" |
| Brad Moore | Master's | 2005 | Ph.D. student at the Univ. of North Carolina | "Plausible Clocks with Bounded Inaccuracy" |
| Hilary Pike | Master's | 2004 | IBM (now: Microsoft) |
"Modular Design for Robust Authentication Protocols" |
| Nuh Aydin | Master's | 2002 | Assistant Professor at Kenyon College (now: Associate Professor) |
"Remote Belief: Preserving Volition for Loosely Coupled Processes" |
| Ayesha Mascarenhas | Master's | 2002 | Microsoft | "Property Transformers for Compositional Reasoning" |
| Prakash Krishnamurthy | Master's | 2000 | Amazon | "Practical Support for Specification and Testing of Distributed Systems" |
| Ramesh Jagannathan | Master's | 2000 | Amazon | "Increasing Client-Side Confidence in Remote Component Implementations" |
| Charlie Giles | Master's | 1999 | Lucent Technologies | "Specifying and Testing Liveness Properties in Distributed Object Systems" |
| Prabhjyot Chawla | B.S. (Honors) | 2009 | Microsoft | "Connecting People and Events: Multi-Modal Routing and Dynamic User-Generated Content" |
| Chad Sowald | B.S. (Honors) | 2009 | OpenBand | "File Harvest: Targeted, Legal Crawling and Downloading of Online Media" |
| Daniel Galron | B.S. (Honors) | 2006 | Ph.D. student at New York University | "Expected Robustness in Dining Philosophers Algorithms" |
| Beth Rosselot | B.S. (Honors) | 2002 | Mettler Toledo | "A Parallel k-Way Divide-And-Conquer Algorithm for the Convex Hull" |
