About

Located in Charlottesville, VA, Dependable Computing was founded in 2009 by John Knight to provide computer-engineering services to clients with applications where computing systems really matter. Dependable Computing specializes in applied research, advanced development and technology transfer in safety- and security-critical application domains.

Staff

Virginia G. Knight

Virginia Knight is President of Dependable Computing. She received her M.S. in Computer Science in 1985 from the University of Virginia. Her early career was spent in Ada compiler development and more recently she has taught an elementary computer science course as an adjunct professor at U.Va.

Ashlie Benjamin Hocking

Ben Hocking received his Ph.D. in 2012 from the University of Virginia. His primary areas of expertise are in the development of formal techniques for the specifications and analysis of software and models defined in MathWorks Simulink.

Jonathan C. Rowanhill

Jonathan Rowanhill received his Ph.D. in 2004 from the University of Virginia. His primary areas of expertise are lifecycle and process modeling and analysis.

Pamela A. Goff

Pam Goff joined the team in 2017 to provide administrative support. She has an extensive background with over 20 years experience as a human resources professional and office administrator.

John C. Knight

John Knight was the founder of Dependable Computing. His areas of expertise included software dependability, advanced software engineering technology, and the development of rigorous engineering arguments. He served as President until he passed away in early 2017. He is deeply missed.