Kathmandu, Nepal

Stream: Geographic locality

[Kaushal Timilsina]

I am a senior year undergraduate studying mechanical engineering, but have been studying some mathematics on the internet for two years and would like to pursue a masters program in mathematics and then a Ph d program. I also studied some physics and sometimes study some computer science on the internet. Recently, I watched Bob Harper's class on Homotopy Type Theory recorded at CMU. I am now going through LftCM2020 videos and will go through Lean Summer Lectures to understand and practice lean a bit more. It's really nice to have an active community! I am really interested in topics in algebraic geometry and more generally ideas that build on algebra, topology and category theory.

[Chandan Sah]

Hey there