My original and still main area of research is in software engineering. I’m broadly interested in software-intensive, cyber-physical-human (CPH) systems engineering; systems assurance including security; ultra-large-scale (USL) systems, cyber-social systems in general, and learning healthcare service systems, in particular. My¬†work is supported by the National Science Foundation, the Systems Engineering Research Center (SERC), and the U.S. Department of Defense through a Science of Security Lablet. I’m an associated editor of the international, peer reviewed journal, Learning Health Systems. I serve as a reviewer for grant funding agencies and for journals and conferences in my field. My students and I are interested in how to catalyze the emergence of trusted and trustworthy software-intensive cyber-social systems that with high assurance have important functional and other engineering properties. Recent work with John Knight focused on extending our understanding of software to include not only the formal logic of computer code, but carefully documented interpretations¬†that maps the terms in such code (variables, functions, and so on) to real work meanings. This is work collaborative with John’s former PhD student, Xiang Wang. Please check the menu items under Research and my blog posts for additional details.