Principal Scientist at Dependable Computing, where we work on formal methods, safety cases, and other safety- and security-critical applications.
-
Dependable Computing, LLC
- Charlottesville, Virginia
-
20:45
(UTC -05:00) - http://www.linkedin.com/in/benhocking1
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.