cody
I am currently an engineer at Draper Labs in Cambridge. My interests include software verification and language design, logic and computability, proof theory and other things.
121
answers
1
question
~130k
people reached
-
Cambridge, MA
-
Member for 8 years, 11 months
-
581 profile views
-
Last seen 9 hours ago
Communities (15)
Top Meta Posts
0
1
Top network posts
Badges (67)
Gold
—
Silver
18
Rarest
-
Jul 27 '14
-
Aug 11 '15
Bronze
49
Rarest
-
Dec 16 '18
-
Oct 24 '17
-
May 22 '16