3rd Year Computing Student at Imperial College London
-
Imperial College London
- London
-
05:48
(UTC +01:00) - https://yunkaizhang233.github.io
Highlights
- Pro
Chenyang Zhao
chenyangzhaoicl
“We don’t choose Mathematics as our profession, it chooses us.” -- Yuri Manin
Impeiral Maths | Inria AROMATH Sophia Antipolis, France
Sidharth Hariharan
thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London
Carnegie Mellon University Pittsburgh, Pennsylvania, United States
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS & RPTU /
Computer Science /
Interested in Formal Methods / Distributed Systems / Concurrency Theory
Germany
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris