National University of Singapore
  David S. Rosenblum

David S. Rosenblum

David S. Rosenblum

David S. Rosenblum is Dean of the School of Computing at the National University of Singapore and a Professor in the Department of Computer Science. He also directs the Felicitous Computing Institute and is a member of the NUS Graduate School for Integrative Sciences and Engineering.

He received his PhD in 1988 from the Department of Electrical Engineering at Stanford University, and he did his undergraduate work at North Texas State University (now the University of North Texas). From 1988 to 1996 he was a Member of the Technical Staff at AT&T Bell Laboratories (now AT&T Labs Research) in Murray Hill, NJ. After leaving Bell Labs, from 1996 to 2001 he was on the Faculty of the Department (now School) of Information and Computer Science at the University of California, Irvine. From 2001 to 2003 he was on leave from UC Irvine working as Chief Technology Officer and Principal Architect of PreCache, a startup company developing technology in the area of publish/subscribe networking. And from 2004 to 2011 he was Professor of Software Systems in the Department of Computer Science at University College London.

Professor Rosenblum's research has addressed a wide range of problems spanning the breadth of the software development life cycle, including software specification, architecture, design, testing, analysis and maintenance, as well as problems underlying the processes that guide large software projects. His current research focuses on the scalability of architectures for large-scale software systems; probabilistic verification of software systems; and the design and validation of mobile, context-aware adaptive systems for ubiquitous computing. In 1997 he received a CAREER Award from the US National Science Foundation for his work on distributed component-based software, and from 2004-2009 he held a Wolfson Research Merit Award from the Royal Society.

More information is available in a current CV.

Current Professional Activities

Fellowships and Affiliations

Recent Papers

Nested Reachability Approximation for Discrete-time Markov Chains with Univariate Parameters (accepted at ATVA 2014)

Perturbation Analysis in Verification of Discrete-Time Markov Chains (accepted at CONCUR 2014)

Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters (ICSE 2014)

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems (ICFEM 2013)

ACM DL Author-ize serviceCascading verification: an integrated method for domain-specific model checking

Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, Anthony Finkelstein
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013

Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis (IEEE TSE, 2013)

ACM DL Author-ize serviceContext-aware mobile music recommendation for daily activities
Xinxi Wang, David Rosenblum, Ye Wang
MM '12 Proceedings of the 20th ACM international conference on Multimedia, 2012

Recent Presentations

Career Management
(invited talk at ICSE 2014 NFRS)

Jogging While Driving, and Other Software Engineering Research Problems
(invited talk for UIC Computer Science Distinguished Lecturer Series)

Probability and Uncertainty in Software Engineering
(keynote talk at NASAC 2013)

Felicitous Computing
(invited Talk for UC Irvine ISR Distinguished Speaker Series)
 
YouTube Video of the Talk

Whither Software Engineering Research?
(keynote talk at APSEC 2012)

Applications and Abstractions: A Cautionary Tale
(invited talk at the DIMACS Working Group on Abstractions for Network Services, Architecture, and Implementation)


Last updated 1 July 2014