Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Himasaif
himasaif
Backend Developer | Node.js • Express • TypeScript | REST APIs • Auth • Databases
helwan Cairo, Egypt
Josh
tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.
Alessandro Scala
Alex23087
Theoretical Computer Science PhD Student @ University of Edinburgh
University of Edinburgh Scotland
Raya Rezaie
raya-rezaie
4th-year B.Sc Computer Engineering Student at the Sharif University of Technology. I am interested in Operating Systems and Computer Network .
Tehran, Iran
Shayan Shahrabi
ShayanShahrabi
Computer Science Student at Shahid Beheshti University
Shahid Beheshti University Tehran, Iran
Ali Barmaki
Stellarous
I read about AI/ML, TCS/CE, DS, Math/Logic and Physics of Complex Systems. As it's obvious, I'm deeply into Formal Sciences.
Peiyang He
BaldDemian
2nd year master student in CS at Nanjing University
Nanjing University Nanjing, China
Kyle Lin
ChAoSUnItY
CSIE student form Taiwan. Compiler researcher. @vlang member. @CleanroomMC co-founder.
Taiwan, Taipei
Hossein jafari
HosseinJafari2001
M.Sc. Student in Electrical Engineering at the University of Bologna
University of Bologna Bologna, Italy
Jinhua Wu
Hua-hana
PL | Formal Verification | Working on Rust verified compiler
Shanghai Jiao Tong University
Mehran Alam Beigi
Mehranalam
Biomedical Engineering Student · CS lover · Founder @DistroFdn & @Diara-Token
MxGhadimi
MxGhadimi
CS & MATH | クラックヘッド | Interested in Formal methods & Theory of Programming languages and their applications in Security
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Mahdi Movahedian Moghaddam
mmovahed
I am PhD candidate in computer science at Shahid Beheshti University, specializing in high-performance scientific computing.
PreviousNext