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
Jonathan C. Rowanhill
Jonathan Rowanhill is President of Dependable Computing. He received his Ph.D. in 2004 from the University of Virginia. His experience includes working as a software engineer in Silicon Valley and Research Triangle Park, NC. Jonathan joined Dependable Computing in 2013. His primary areas of expertise are assurance cases and distributed survivability.
Virginia G. Knight
Virginia Knight 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 a computer science course as an adjunct professor at U.Va.
Ben L. Di Vito
Ben Di Vito received his PhD in 1982 from the University of Texas at Austin. He has expertise in deductive formal methods, PVS in particular, and their application to the aerospace domain. He retired from NASA Langley in early 2018.
Ashlie Ben 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.
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.