Mark Blackburn


Research Associate Professor, School of Systems and Enterprises

Research Role:

Email Address:

Dr. Blackburn is an inventor and entrepreneur with more than twenty five years of software systems engineering experience in development, management and applied research of process, methods and tools. He is involved in consulting, research, training, strategic planning, proposal and business development, as well as developing and applying methods and tools to software and system engineering. He is the co-inventor of a theorem proving-based test vector generation system called T-VEC.

Dr. Blackburn spends much of his time doing research in the areas of modeling, formal analysis and visualization, and also helps companies adopt, adapt, tailor and apply new technologies, tools and methods. He is currently involved in a number of projects involving analysis and testing of adaptive autonomous systems, Bayesian networks, MBSE, domain specific modeling and concept engineering using gaming technology and immersive environments. He is a frequent speaker at conferences and symposia, and has authored more than 100 papers covering a broad spectrum of topics such as modeling, requirements engineering, verification, software safety, security, reliability, automatic test vector generation, formal methods, and measurement.

Dr. Blackburn has been consulting with companies and organizations such as AT&T, BAE Systems, Boeing, Citibank, CSC, DARPA, DHS, EDS, Embraer, FAA, General Dynamics, Hamilton Sundstrand, Honeywell, Lockheed Martin, Medtronic, NASA, NAVAIR, NCR, NIST, Northrop Grumman, Qualcomm, Raytheon, Rockwell, Pratt Whitney, SRA, UTC, and Xerox for the last 17 years.

Research Work

Collaborator Organization