Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
user:calebh
created:December 30, 2010
karma:488
about:Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.

Website: https://helbl.ing/

submissions
comments
favorites