Kivooeo
B.Sc. in I&C. Compiler Theory Enthusiast. Test Reassignment Unit. звёзды все принадлежат богам.
Nicolas Klose
rayman2000
PhD Candidate in the Programming Methodology group at ETH Zurich
@viperproject
Johannes Hostert
JoJoDeveloping
PhD Student @ ETH Zurich, since October 2023
ETH Zurich Zürich, Switzerland
Isaac van Bakel
ivanbakel
Haskell developer, programming language & formal verification theorist
Aurea
Aurel300
PhD student in Rust verification. Rust enthusiast, game developer, CTF player and author.
ETH Zurich
Zhuming Shi 施朱鸣
ShiZhuming
Graduate at Stony Brook University;
Undergraduate at Peking University
Peking University Beijing, China
Hanyue Lou (SII)
HYLZ-2019
PhD candidate student of Peking University & SII. SII is an institution dedicated to innovation in education and research in the field of AI.
Shanghai Innovation Institute & Peking University
Aoyang Yu
permui
Senior in Computer Science, interested in programming language theory.
Zhejiang University Hangzhou, China
Pengcheng Xu
KireinaHoro
PhD Student @ Systems Group, ETH Zürich 🇨🇭
[email protected]
Telegram: https://t.me/jsteward
ETH Zurich Zürich, Switzerland
PreviousNext