Hi there ๐
- ๐ I'm an Ph.D. student at the University of Rochester!
- ๐ฑ Iโm currently learning database, category theory and HoTT.
- ๐ฏ Iโm looking to collaborate on PL, OS and DBMS.
- ๐ฌ Ask me about anything you like!
- ๐ซ How to reach me:
- email: [email protected]
- twitter: @ZhuSchrodinger
- tg: @SchrodingerZhu