David S. ROSENBLUM

Provost's Chair Professor
Director, Felicitous Computing Institute (FCI)
Director, NUS-Singtel Cyber Security Research & Development Laboratory

Ph.D. (Electrical Engineering: Computer Systems, Stanford University, 1988)
M.S. (Electrical Engineering: Computer Systems, Stanford University, 1987)
M.S. (Computer Science, North Texas State University, 1983)
B.S. Summa Cum Laude (Computer Science, Minor: Mathematics, North Texas State University, 1982)
COM1-03-15
651 66230

Research Areas

  • Programming Languages & Software Engineering
  • Security

Research Interests

  • Software Engineering
  • Ubiquitous Computing
  • Machine Learning
  • Probabilistic Model Checking
  • Software Testing
  • Distributed Systems
  • Software Architecture

Profile

David S. Rosenblum is Provost's Chair Professor in the Department of Computer Science at the National University of Singapore. He is currently the Director of the NUS-Singtel Cyber Security Research and Development Laboratory, which is part of the NUS Smart Nation Research Cluster. He also directs the Felicitous Computing Institute, and he is a member of the NUS Graduate School for Integrative Sciences and Engineering. From 2013 to 2016 he was Dean of the NUS School of Computing. He received his PhD in 1988 from the Department of Electrical Engineering at Stanford University, and he did his undergraduate studies 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, New Jersey. 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, verification, testing, analysis and maintenance. His current research focuses on probabilistic verification of systems, and applications of machine learning for the design and testing of mobile, context-aware adaptive systems for ubiquitous computing and the Internet of Things. 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. He is a Fellow of the ACM and IEEE and has received two test-of-time awards for his research (the 2002 ICSE Most Influential Paper Award, and the inaugural 2008 ACM SIGSOFT Impact Paper Award). He is currently the Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and was previously an Associate Editor for the IEEE Transactions on Software Engineering (IEEE TSE). He has served as Member-at-Large, Vice Chair, Chair and Past Chair of the ACM Special Interest Group on Software Engineering (ACM SIGSOFT), and in 2018 he received the ACM SIGSOFT Distinguished Service Award.

Current Projects

  • NUS-Singtel Cyber Security Research and Development Laboratory (NUS, Singtel, NRF)
  • Ambient Web: Towards Write Once, Run Everywhere Mobile IoT Applications (A*STAR PSF)
  • Modeling and Analysis of Stochastic Systems with Perturbed Parameters (MOE Tier 2)

Selected Publications

  • G. Su, Y. Feng, T. Chen and D.S. Rosenblum, “Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters”, IEEE Trans. Software Engineering, Vol. 42, No. 7, Jul. 2016, pp. 623–639.

  • Y. Liu, L. Nie, L. Liu and D.S. Rosenblum, “From Action to Activity: Sensor-Based Activity Recognition”, Neurocomputing, Vol. 181, 12 Mar. 2016, pp. 108–115.

  • S. Elbaum and D.S. Rosenblum, “Known Unknowns: Testing in the Presence of Uncertainty”, Proc. 22nd ACM SIGSOFT Int’l Symp. Foundations of Software Engineering (FSE 2014), Visions and Challenges Track, Hong Kong, Nov. 2014, pp. 833–836. Winner of 2nd Prize in the Visions and Challenges Track.

  • L. Duboc, E. Letier and D.S. Rosenblum, “Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis”, IEEE Trans. Software Engineering, Vol. 39, No.1, Jan. 2013, pp. 119–140.

  • X. Wang, D.S. Rosenblum and Y. Wang, “Context-Aware Mobile Music Recommendation for Daily Activities”, Full Paper, Proc. ACM Multimedia 2012 (ACMMM 2012), Nara, Japan, Oct.–Nov. 2012, pp. 91–108.

  • Carzaniga, D.S. Rosenblum and L. Wolf, “Design and Evaluation of a Wide-Area Event Notification Service”, ACM Trans. Computer Systems, Vol. 19, No. 3, Aug. 2001, pp. 332–383.

  • P. Oreizy, M.M. Gorlick, R.N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D.S. Rosenblum and A.L. Wolf, “An Architecture-based Approach to Self-Adaptive Software”, IEEE Intelligent Systems, Vol. 14, No. 3, May/Jun. 1999, pp. 54–62.

  • D.S. Rosenblum, “A Practical Approach to Programming with Assertions”, IEEE Trans. Software Engineering, Vol. 21, No. 1, Jan. 1995, pp. 19–31. Minor correction published in Vol. 21, No. 3, Mar. 1995, p. 265. The earlier ICSE 1992 version of this paper was awarded the 2002 ICSE Most Influential Paper Award.

Awards & Honours

  • ACM Fellow (2010), for contributions to software testing and distributed systems, and for service to the software engineering community
  • IEEE Fellow (2006), for contributions to scalable, distributed component- and event-based software systems
  • 2008 ACM SIGSOFT Impact Paper Award (for ESEC/FSE 1997 paper, with Alexander L. Wolf)
  • 2002 ICSE Most Influential Paper Award (for ICSE 1992 paper)

Teaching (2019/2020)

  • CS5219: Automated Software Validation