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, 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. 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.

More information is available in a current CV.

Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum
ESEC/FSE 2018 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Learning Structures of Interval-Based Bayesian Networks in Probabilistic Generative Model for Human Complex Activity Recognition (Pattern Recognition, 2018)
A Non-Parametric Generative Model for Human Trajectories (IJCAI-ECAI 2018)
A Comparative Study of Decision Diagrams for Real-time Model Checking (SPIN 2018)
Using Branch Frequency Spectra to Evaluate Operational Coverage (APSEC 2017)

Probabilistic model checking of perturbed MDPs with applications to cloud computing

Yamilet R. Serrano Llerena, Guoxin Su, David S. Rosenblum
ESEC/FSE 2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains (ICSE 2017)

Mining performance specifications

Marc Brünink, David S. Rosenblum
FSE 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 Spaces

Nirandika Wanigasekara, Jenny Schmalfuss, Darren Carlson, David S. Rosenblum
IoT'16 Proceedings of the 6th International Conference on the Internet of Things, 2016