Group Members
Alumni
| First Placement (Current) | Thesis Topic | |||
|---|---|---|---|---|
| Ted Pavlic | Postdoc | 2012 | Postdoc at Arizona State University (now: Associate Professor) |
Probabilistic Model Checking for Autonomous Vehicle Control |
| Laine Rumreich | Ph.D. | 2025 | Systems Security Engineer at Rolls-Royce | "Verified and Efficient Algorithms for Distributed Communication with Fault Tolerance" |
| Alan Weide | Ph.D. | 2021 | Lecturer at Yale University | "Contributions to Formal Specification and Modular Verification of Parallel and Sequential Software" |
| Marion Lang | Ph.D. | 2009 | Assistant Professor at Moravian College (now: Principal Engineer at GitHub) |
"Maximality: Modular Verification and Implementability" |
| Scott Pike | Ph.D. | 2004 | Assistant Professor at Texas A&M (now: Meta, retired) |
"Distributed Resource Allocation with Scalable Crash Containment" |
| Chris Bohn | Ph.D. | 2004 | Software Engineering Course Director at AFIT (now: Associate 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 | Software Engineer at Datasembly (now: Priceline) |
"Implementing a Resolve Online Prover Using Z3" |
| Laine Rumreich | Master's | 2021 | Ph.D. student at Ohio State (now: alumna) |
"The Binary Decision Diagram: Formal Verification of a Reference Implementation" |
| Saad Asim | Master's | 2018 | Software Engineer at Microsoft (now: Uber) |
"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: Facebook) |
"Modular Design for Robust Authentication Protocols" |
| Noah 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: OCLC) |
"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" |