Registered user since Wed 20 Aug 2014
Scott D. Stoller is a Professor in the Computer Science Department at Stony Brook University. His primary research interests are design, analysis, optimization, testing, and verification of software, especially for cyberphysical systems, computer security, and distributed systems. He received his Bachelor’s degree in Physics, summa cum laude, from Princeton University and his Ph.D. degree in Computer Science from Cornell University. He received an NSF CAREER Award in 1999, an ONR Young Investigator Award in 2002, the NASA Turning Goals Into Reality Award for Engineering Innovation in 2003 (as a member of the Java PathFinder team), Best Paper Awards in 2005, 2011, and 2016, and a 2011-2012 State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities. He is the author or co-author of 140 refereed research publications that have been cited over 5900 times, according to Google Scholar. He has been the PI or co-PI on over $23m of research grants from AFOSR, DARPA, NSF, and ONR.
|PLDI 2023||High-Level Executable Specification and Reasoning for Improving Distributed Algorithms|
|Show activities from other conferences|