4,762 reputation
bio website andrew.cmu.edu/~croux
location Cambridge, MA
visits member for 4 years
seen 10 hours ago

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.

4,762 Reputation

This user has not asked any questions

664 Votes Cast

all time   by type   month   week  
635 up 257 question 22 3
29 down 407 answer