Researcher

Education

• Doctor of Philosophy in Computer Science, University of Maryland
• Master of Science in Computer Science, University of Maryland
• Bachelor of Arts in Mathematics, Cornell University

Distinguished Service Professor Mark Ardis received a BA in Mathematics from Cornell University and MS and PhD degrees in Computer Science from the University of Maryland in College Park, MD.  He spent the first part of his computing career as a government contractor for NASA, the Department of Labor, the Department of Health Education and Welfare, and the Department of Defense.  After completing his PhD he taught software engineering courses at the University of Illinois, Wang Institute of Graduate Studies, Carnegie Mellon University, Rose-Hulman Institute of Technology, and Rochester Institute of Technology. He also spent nine years at Bell Labs Research where he conducted research in formal methods and software product line engineering for systems with high reliability requirements.

In 1991 Dr. Ardis joined the Department of Software Production Research at Bell Laboratories, where he conducted research in formal methods and software product line engineering for systems with high reliability requirements. He returned to academia in 2000, helping to start a new Bachelor of Science in Software Engineering program at Rose-Hulman Institute of Technology.  In 2006 Dr. Ardis joined Rochester Institute of Technology, where he was Graduate Program Coordinator for Software Engineering. In 2009 he joined Stevens Institute of Technology as Distinguished Service Professor.  His research interests are in software engineering education, formal methods for specification and design, software product line engineering and software quality assurance.