calebh
since 12/30/2010
447 karma
submissionscommentsfavorites
Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.

Website: https://helbl.ing/