๐๐ปโโ๏ธ Hi, Haolin here!
๐จ๐ปโ๐ป I am a third year undergraduate student at McGill University.
๐ My research interests lie in formal methods and machine learning theory :)
๐งฎ I also have a strong interest in geometry and mathematical optimization!
Experience ๐
๐ฌ I work as a student researcher at Mila AI Institute from 2022-05-01 to 2023-01-01.
Awards ๐
- SPLASH 2023 SRC(Student Research Competition) second place .
- USRA 2023(Undergraduate Student Research Awards) under the supervision of Professor Brigitte Pientka
- ENG WEEK Hackathon 2022 first place