David S. Rosenblum
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, 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 probabilistic verification of systems, and the design and validation 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. He was previously an Associate Editor for the IEEE Transactions on Software Engineering, and he has served as Member-at-Large, Vice Chair, Chair and Past Chair of the ACM Special Interest Group on Software Engineering (ACM SIGSOFT).
More information is available in a current CV.
Current Professional Activities
- Provost's Chair Professor of Computer Science
- Director of the NUS-Singtel Cyber Security Research and Development Laboratory
- Director of the Felicitous Computing Institute
- Member of the NUS Graduate School for Integrative Sciences and Engineering (NGS)
- Editor-in-Chief of the ACM Transactions on Software Engineering and Methodology (ACM TOSEM)
- Member of the Steering Committee of the International Conference on Software Engineering (ICSE)
- Co-Chair of the Technical Briefings Track for the 39th International Conference on Software Engineering (ICSE 2017)
- Keynote Speaker at the 19th International Conference on Formal Engineering Methods (ICFEM 2017)
- Co-Chair of the 50 Years of Software Engineering Track for the 40th International Conference on Software Engineering (ICSE 2018)
- Member of the Program Committee of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017)
- Member of the Program Committee of the First International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering (ECASE 2017)
Fellowships and Affiliations
- Fellow of the Association for Computing Machinery (FACM)
- Member of the ACM Special Interest Group on Data Communication (ACM SIGCOMM)
- Member of the ACM Special Interest Group on Mobility of Systems, Users, Data and Computing (ACM SIGMOBILE)
- Member of the ACM Special Interest Group on Software Engineering (ACM SIGSOFT)
- Fellow of the Institute of Electrical and Electronics Engineers (FIEEE)
- Senior Member of the Singapore Computer Society (SMSCS)
- Member of the Information Technology Management Association of Singapore (ITMA)
- Visiting Professor in the Department of Computer Science at University College London
Recent Interview
Recent Editorials
- Journal-First Publication for the Software Engineering Community (ACM TOSEM, w/Matthew B. Dwyer, Editor-in-Chief of IEEE TSE)
The pros and cons of the 'PACM' proposal: counterpointCommunications of the ACM, 2015
In memoriam: David Notkin (1955–2013)ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design, 2013
Recent Papers
- Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing (ESEC/FSE 2017)
- ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains (ICSE 2017)
- Urban Water Quality Prediction Based on Multi-Task Multi-View Learning (IJCAI 2016)
- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems (ETAPS FASE 2016)
- Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters (IEEE TSE, 2016)
- Fusing Social Networks with Deep Learning for Volunteerism Tendency Prediction (AAAI 2016)
- Fortune Teller: Predicting Your Career Path (AAAI 2016)
- Recognizing Complex Activities by a Probabilistic Interval-based Model (AAAI 2016)
- From Action to Activity: Sensor-Based Activity Recognition (Neurocomputing, 2016)
- A Visual Design Toolset for Drag-and-drop Smart Space Configuration (Demo Paper, IoT 2015)
- recipient of Best Demo Award
- Ambient Flow: A Visual Approach for Remixing the Internet of Things (IoT 2015)
- Action2Activity: Recognizing Complex Activities from Sensor Data (IJCAI 2015)
- 2nd Prize in the Visions & Challenges Track
- featured as a Great Innovative Idea by CCC
Mining performance specificationsFSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
A Bandit Approach for Intelligent IoT Service Composition across Heterogeneous Smart SpacesIoT'16 Proceedings of the 6th International Conference on the Internet of Things, 2016
Reliability of Run-Time Quality-of-Service evaluation using parametric model checkingICSE '16 Proceedings of the 38th International Conference on Software Engineering, 2016
Known unknowns: testing in the presence of uncertaintyFSE 2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014
Recent Talks
The Power of Probabilistic Thinking
(keynote talk at ASE 2016)
Known Unknowns: Testing in the Presence of Uncertainty
(talk at ACM SIGSOFT FSE 2014 Visions & Challenges Track)
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)
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 6 June 2017