Ben Hocking
Focus on safety critical engineering, formal methods, and assurance arguments. Dissertation on bio-inspired neural networks. He/him. https://scholar.google.com/citations?user=unZJBcwAAAAJ&hl=en
Education
PhD in CS from UVA, MCS from UVA, MS in physics/astronomy from GSU, BS in physics from GT.
Work
Principal Scientist at Dependable Computing
loading...
Want to connect with Ben Hocking?
Create an account to connect with Ben Hocking. You can also sign in below to proceed if you already have an account.