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 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.

Will Hawkins

Will Hawkins received his Ph.D. in 2018 from the University of Virginia. His primary areas of expertise are network security and static binary translation.  In his free time, Will mentors up-and-coming IT professionals and serves on the board of the non-profit Wesley Chapel Mission Center in Cincinnati, OH.

Jason Hiser

Jason Hiser received his Ph.D. in 2005 from the University of Virginia. His primary areas of expertise are software security, and static and dynamic binary analysis and rewriting.

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.

Anh Nguyen-Tuong

Anh Nguyen-Tuong received his Ph.D. in 2000 from the University of Virginia. His primary areas of expertise are in security, fuzzing, and architecting autonomous systems.

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.