Select a calendar:
Filter January Events by Event Type:
Events for January 13, 2017
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
Thomas Lord Department of Computer Science
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
Navigating U.S. Recruitment Process
Fri, Jan 13, 2017 @ 12:30 PM - 01:30 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
This workshop will provide students tips on how to navigate the process of U.S. corporate recruiting and will touch on American culture norms.
Location: Ronald Tutor Hall of Engineering (RTH) - 211
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
W.V.T. Rusch Engineering Honors Program Colloquium
Fri, Jan 13, 2017 @ 01:00 PM - 02:00 PM
USC Viterbi School of Engineering, Viterbi School of Engineering Student Affairs
Join us for a presentation by Jenova Chen, Associate Director - President & Creative Director of thatgamecompany, titled "Innovation in Emotion, Design Philosophy of thatgamecompany."
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Contact: Ramon Borunda/Academic Services