Joined 6/27/2015, 3:37:29 PM has 1435 karma
Technologist. Researcher in programming languages and formal verification.
This user hasn't posted yet