Community: Members: Profile
Shreyas.srini's profile
In my day job, I solve math problems, design computer chips, and formalise math proofs with computer programs. Outside that, I play board games, enjoy good music (melody matters), enjoy mild physical activity in natural surroundings, read a tonne of books and so on.
Active 1 mo ago
Awards & Badges
Loading image, please wait..