Technologist. Researcher in programming languages and formal verification.
This user hasn't posted yet