🙃
Busy writing proofs for concurrent programs.
SWE at CitSec. Programmer. Verifier.
- Somewhere, Universe
- https://parvmor.github.io
Aaditya Kumar Mittal
Aaditya-Kumar-Mittal
"कर्मण्येवाधिकारस्ते मा फलेषु कदाचन।
मा कर्मफलहेतुर्भूर्मा ते सङ्गोऽस्त्वकर्मणि॥"
India
Shubham Soni
sshubhamsoni
EE undergrad at IIT Kanpur(2018-2022)
Indian Institute of Technology, Kanpur
Varun Goyal
govarun
Wisdom AI | CS Master's, UIUC | CSE, IIT Kanpur '22
University of Illinois Urbana-Champaign Champaign, Illinois
Ayush Gupta
7ayushgupta
AI agents | Quant | IITK
@AUV-IITK @iitk-consult Indian Institute Of Technology, Kanpur
rahul Saxena
rahul7iitk
Just a student with the passion of learning and exploring new technology.
Kanpur Uttar Pradesh India
PreviousNext