Joined 12/30/2010, 2:20:37 AM has 488 karma
Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.
Website: https://helbl.ing/
This user hasn't posted yet