Improver

Contact Details

E-mails & Phone

Ben Hocking

Ben Hocking

Principal Scientist at Dependable Computing

Charlottesville, Virginia

I am a Principal Scientist at Dependable Computing in Charlottesville, VA, where we work on safety case engineering, formal specifications, requirements gathering, and other safety-critical and security-critical software engineering issues.

Specialties: Formal methods, assurance cases, artificial intelligence, neural networks, genetic algorithms, continuous integration, databases; Ada, Bash, C++, Cobertura, FORTRAN, Java, LISP, MATLAB, Perl, PVS, Rails, Ruby, SPARK Ada, SQL, TeX, VB; Linux, Mac OS X, Unix, Windows, Mac OS X, Windows, Linux, Unix


Experience:

  • Principal Scientist (Dependable Computing)
  • Adjunct Instructor (University of Virginia)
  • Research and Teaching Assistantships (University of Virginia)
  • Software Developer (Restaurant Technology, Inc)
  • Software Engineer (Mustard Seed Software, LLC / Elder Research, Inc)

Skills:

People also viewed these profiles

People also viewed these profiles

Amir Ofir

Señor algorithm developer at Emza Visual Sense @ Modiin Maccabim Reut, Central

People also viewed these profiles

Tomer Laszlo

Senior Product Manager at Hibob @ Tel Aviv-Yafo, Tel Aviv