calebh

...joined 15 years ago, and has 488 karma

submissions / comments / favourites

Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.

Website: https://helbl.ing/