Dr. Mark Blackburn
|ASSOCIATE PROFESSOR *|
|School: School of Systems & Enterprises|
|Department: School of Systems and Enterprises|
|Research Center: Center for Complex Systems and Enterprises|
- 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 embedding model-based verification mechanisms into run-time verification of complex adaptive systems and cyber physical systems, and research in use of Bayesian networks for prediction, estimation and decision-making.
Dr. Blackburn is the Principal Investigator (PI) on a Systems Engineering Research Center research task sponsored by NAVAIR investigating the most advanced and holistic approaches to model-centric engineering, and co-PI on a related 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.
Dr. Blackburn has received over $10 million dollars from industry primarily focused on applied research in formal method-based modeling, analysis, simulation, and test generation tools and methods.
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