logo
user:created:karma:about:
chaitanyya767 days ago9All things software correctness, reliability, formal methods, and mathematics