Laine Rumreich | Ph.D. student | Distributed Oracles and Assumptions of Synchrony |
Degree | Year | First Placement (Current Position) | Thesis Topic | |
Ted Pavlic | Postdoc | 2012 | Postdoc at Arizona State University (now: Associate Professor) |
Probabilistic Model Checking for Autonomous Vehicle Control |
Alan Weide | Ph.D. | 2021 | Lecturer at Yale University | "Contributions to Formal Specification and Modular Verification of Parallel and Sequential Software" |
Matt Lang | Ph.D. | 2009 | Assistant Professor at Moravian College (now: Rhodes College) |
"Maximality: Modular Verification and Implementability" |
Scott Pike | Ph.D. | 2004 | Assistant Professor at Texas A&M (now: Meta) |
"Distributed Resource Allocation with Scalable Crash Containment" |
Chris Bohn | Ph.D. | 2004 | Software Engineering Course Director at AFIT (now: Assistant Professor of Practice, University of Nebraska-Lincoln) |
"In Pursuit of a Hidden Evader" |
Nigamanth Sridhar | Ph.D | 2004 | Assistant Professor at Cleveland State University (now: Professor, Provost and Sr. Vice President) |
"Dynamically Reconfigurable Parameterized Components" |
John Bentley | Master's | 2021 | Datasembly | "Implementing a Resolve Online Prover Using Z3" |
Laine Rumreich | Master's | 2021 | Ph.D. student at Ohio State | "The Binary Decision Diagram: Formal Verification of a Reference Implementation" |
Saad Asim | Master's | 2018 | Microsoft (now: Amazon) |
"The Binary Decision Diagram: Abstraction and Implementation" |
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: 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 (now: IBM) |
"Specifying and Testing Liveness Properties in Distributed Object Systems" |
Matthew Seffernick | B.S. (Honors) | 2013 | Battelle | "Script-Free HTML: Preventing Cross-Site Scripting While Permitting HTML-Rich Content" |
Vahid Schwart | B.S. (Honors) | 2012 | Air Force Research Laboratory | "Automated Validation for Synchronous Reactive Embedded 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 (now: Boeing) |
"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" |