verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
Intelligent Software Research Center
ISRC-CAS
Intelligent Software Research Center, Institute of Software, Chinese Academy of Sciences
Beijing
Bohua Zhan
bzhan
Associate Research Professor. Institute of Software, Chinese Academy of Sciences.
Chen Tianyi
chenty2333
Hangzhou Normal University/major in Computer Science and Technology
Hangzhou Normal University Hangzhou
chyyuu
chyyuu
I'm teaching & researching OS/Compiler in Dept. of Computer Sci. & Tech., Tsinghua Univ.
Tsinghua Unviersity Beijing, China
xuefeiyu
feiyu1104
A student from Dalian University of Technology
Dalian University of Technology Dalian
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Future Scholars
Future-Scholars
Things brought by future scholars for the scholars towards future.
United Kingdom
Mix
mnixry
The developer who is meaninglessly coding for @BUPTMerak and @nonebot. Mentor of OSPP summer 2022-2024.
@BUPTMerak
Alex Chi Z
skyzh
building database systems @databricks, previously @cmu-db; a bubble tea every day makes me happy right away
Databricks 🧱 Bellevue, WA, USA ⇌ Shanghai, China
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
PreviousNext