About
Founded in 2009 by John C. Knight in Charlottesville, VA, Dependable Computing offers computer-engineering services for high assurance applications. Our experienced team prioritizes safety and security, using advanced approaches to create ultra-dependable solutions. With a passion for advancing critical systems dependability, we bring decades of expertise to every project.
Dependable Computing has collaborated with a diverse array of organizations, including AdaCore, Air Force Research Laboratory (AFRL), Barron Associates, Defense Advanced Research Projects Agency (DARPA), Department of Defense (DoD), Edge Case Research, Food and Drug Administration (FDA), Galois, GE Aeronautics, GE Research, Kudu Dynamics, Lockheed Martin, NASA, Naval Air Systems Command (NAVAIR), Nuclear Regulatory Commission (NRC), Toyota InfoTechnology Center, and Zephyr Software.
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.
Ashlie Ben Hocking
Ben Hocking is a Principal Scientist at Dependable Computing, applying over a dozen years of expertise in developing robust solutions for safety-critical systems. He received his Ph.D. in 2012 from the University of Virginia. He specializes in pioneering rigorous methods like formal specifications and comprehensive requirements gathering to ensure the highest levels of software assurance for mission-critical applications.
With backgrounds in artificial intelligence and neural networks, he is eager to harness the power of LLMs to advance provably secure software design. His aim is enabling engineers to build trustworthy intelligent systems capable of exceeding stringent certification standards.
Throughout his career, he has collaborated with a wide array of organizations, including AdaCore, the Air Force Research Laboratory (AFRL), Barron Associates, Defense Advanced Research Projects Agency (DARPA), the Department of Defense (DoD), Edge Case Research, Galois, GE Aeronautics, GE Research, Lockheed Martin, NASA, Toyota InfoTechnology Center, and Zephyr Software.
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.
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.