Ramkumar Ramachandra

Last updated: Fri, 9 Nov 2018

Founding principles: Precision, elegance, and beauty.

Identity: Expert programmer with experience in C++ and Coq, budding mathematician.