CS Colloquium: David Rosenblum (National University of Singapore) - Uncertainty in Computer Systems: Problems and Results
Fri, Jan 13, 2017 @ 11:00 AM - 12:00 PM
Conferences, Lectures, & Seminars
Speaker: David Rosenblum, National University of Singapore
Talk Title: Uncertainty in Computer Systems: Problems and Results
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium.
For the past several years, my research has spanned problems in diverse areas including probabilistic verification, software testing, ubiquitous computing and the Internet of Things. A common theme of this research has been the need to deal with various forms of uncertainty, which is an increasingly important concern in the design of modern computer systems. In this talk I will describe recent research on perturbation analysis for probabilistic model checking, which provides systematic ways of computing the effect that uncertainty in the probability parameters of stochastic models has on verification results. Time permitting, I will also discuss recent research on the use of contextual bandit algorithms to deal with uncertainty in service composition for the Internet of Things, and research on how uncertainty in software testing can mask the existence of software faults.
Biography: David S. Rosenblum is Provost's Chair Professor of Computer Science at the National University of Singapore (NUS). He holds a Ph.D. from Stanford University and joined NUS in April 2011 after holding positions as Member of the Technical Staff at AT&T Bell Laboratories (Murray Hill); Associate Professor at the University of California, Irvine; Principal Architect and Chief Technology Officer of PreCache (a technology startup funded by Sony Music); and Professor of Software Systems at University College London. David is a Fellow of the ACM and IEEE, and he serves as Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (ACM TOSEM). He was previously Chair of the ACM Special Interest Group in Software Engineering (ACM SIGSOFT). He has received two "test-of-time" awards for his research papers, including the ICSE 2002 Most Influential Paper Award for his ICSE 1992 paper on assertion checking, and the first ACM SIGSOFT Impact Paper Award in 2008 for his ESEC/FSE 1997 on Internet-scale event observation and notification (co-authored with Alexander L. Wolf).
Host: CS Department
Location: Grace Ford Salvatori Hall Of Letters, Arts & Sciences (GFS) - 116
Audiences: Everyone Is Invited
Contact: Assistant to CS chair