๐Ÿ™‹๐Ÿปโ€โ™‚๏ธ Hi, Haolin here!

shangtianzhu ๐Ÿ‘จ๐Ÿปโ€๐Ÿ’ป 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 ๐Ÿ“–

mila ๐Ÿ”ฌ I work as a student researcher at Mila AI Institute from 2022-05-01 to 2023-01-01.

Awards ๐Ÿ†

  1. SPLASH 2023 SRC(Student Research Competition) second place .
  2. USRA 2023(Undergraduate Student Research Awards) under the supervision of Professor Brigitte Pientka
  3. ENG WEEK Hackathon 2022 first place