Zulip Chat Archive

Stream: Geographic locality

Topic: Kathmandu, Nepal

view this post on Zulip Kaushal Timilsina (Jul 02 2021 at 14:49):

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.

Last updated: Sep 29 2021 at 01:50 UTC