About

Education

Ph.D. in computer science from Stanford University in 2015. Dissertation on formal verification, program analysis, and software security.
B.Sc. in computer science from MIT in 2005.

Startup

Founded Wise OR, a software startup that focuses on optimizing the profitability of surgeries at hospitals. Generated millions of dollars in revenue. The company was acquired in 2018.

Papers

Suhabe Bugrara. User Experience with Language-Independent Formal Verification. 2019.
Joel Pash, Bassam Kadry, Suhabe Bugrara, Alex Macario. Scheduling of Procedures and Staff in an Ambulatory Surgery Center. Anesthesiology Clinics 2014.
Suhabe Bugrara and Dawson Engler. Redundant State Detection for Dynamic Symbolic Execution. USENIX Technical 2013.
Suhabe Bugrara and Alex Aiken. Verifying the Safety of User Pointer Dereferences. IEEE Security & Privacy 2008.
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Peter Hawkins and Brian Hackett. An Overview of the Saturn Project. PASTE 2007.
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin Rinard. Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005.
Martin Rinard, Alexandru Salcianu, Suhabe Bugrara. A Classification System and Analysis for Aspect-Oriented Programs. Foundations of Software Engineering 2004.

Awards