Sullivan, Kevin
Primary Appointment
Computer Science
Contact Information
Email: kjs5d@virginia.edu
Research Interests
Software engineering, architectures, evolution, and economics
Research Description
My students and I do research in several areas, including software engineering; software-intensive, cyber-physical-human (CPH) systems engineering; systems assurance including security; and ultra-large-scale (USL) cyber-social ecosystems (CSE), with a focus on learning health systems. Our work is supported by the National Science Foundation, Systems Engineering Research Center (SERC), and the U.S. Department of Defense through a Science of Security Lablet. We develop, evaluate, and employ advanced techniques from computer science and systems engineering, including formal approaches to systems modeling, analysis, and synthesis; type theory and programming language design and analysis; and web, cloud, and data science technology. We are interested in how to catalyze the emergence of ULS CSEs having desired functions and properties, e.g., more efficiently computing answers to questions in health and healthcare.