Dr. Mark Blackburn
- Ph.D. from George Mason University
- M.S. in Mathematics (emphasis in C.S.) from Florida Atlantic University
- B.S. in Mathematics (C.S. option) from Arizona State University
Dr. Blackburn is primarily responsible for research focused on methods and automated tools for reasoning about computer-based systems. His research combines tools, formal methods, modeling, simulation, visualization and computation in support of design, architecting, and testing. Current interests include use of semantic technologies and ontologies to enable AI for cross-domain model integration of complex and cyber physical systems, and research in use of Bayesian networks for prediction, estimation and decision-making.
Dr. Blackburn has been the Principal Investigator (PI) on 12 Systems Engineering Research Center research tasks, with two currently ongoing: one sponsored by NAVAIR and another by the US Army ARDEC/CCDC investigating the most advanced and holistic approaches to model-centric engineering and digital engineering. He was co-PI on Architecting Digital Twins for Model-Centric Engineering: A Combined Semantic Modeling and Machine Learning Approach, as well as a task for Quantitative Risk. He has also been the PI on research tasks for the National Science Foundation, Federal Aviation Administration, and National Institute of Standards and Technology.
Prior to joining Stevens, Dr. Blackburn was a Fellow at the Systems and Software Consortium where he conducted applied research and received over $10 million dollars from industry primarily focused on formal method-based modeling, analysis, simulation, and test generation tools and methods.
- Member of Research Council for the Systems Engineering Research CenterEnter
- Member of OpenMBEE Leadership Team
- Core Member of the Semantic Technologies for Systems Engineering Initiative
Dr. Blackburn is an inventor and entrepreneur with more than twenty-five years of software systems engineering experience in development, management and research, and is a principal with T-VEC Technologies, and KnowledgeBytes. He co-invented the theorem proving-based test vector generation system called T-VEC, and associated suite of modeling tools.
- SSW 689 Engineering of Trusted Software Systems
- SYS 810 Selected Topics in Systems Engineering
- SYS 673 Implementation of CPS: Bringing Solutions to Life