On the journey of my mathematical maturity (2021)
|
Hi, my name is Khánh (pronunciation /xajŋ˧˥/, meaning),
I hold a MSc in Mathematics at National University of Singapore (NUS) and a BE in Computer Science at Nanyang Technological University (NTU).
I worked as a Senior Research Engineer in Audio and Speech at A*STAR Singapore.
Prior to my college, I was a silver medalist in IPhO 2015, gold in APhO 2015, and bronze in APhO 2014.
My current academic interests lie at the intersection of mathematics and computer science, specifically Algebraic Geometry, Homotopy Type Theory, and formalizing mathematics.
Feel free to contact me via email.
I spent a lot of time programming, if you are not good with computers, contact me.
my CV here
"eat math, study noodles, prove obvious facts, almost everyday"
(and beat elden ring at rl1 and ran a 23:02 5k)
|