Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
Highlights
- Pro
Mohammad Amin Koohi
MohammadAminKoohi
Mohammad Amin Koohi
CE student at Sharif university of Technology
Vafa
VafaTarighi
I'm a CE graduate interested in backend & system design
I'm where I don't want to be
BETANCUR . N
nelbeu
art & architectural historian #BetancurN #nelbeu
National University of Colombia
MostafaRoohy
MostafaRoohy
ML | AlgoTrader | Python, MQL5 & Pine Script | Specializing in cross-language strategy conversion
Himasaif
himasaif
Backend Developer | Node.js • Express • TypeScript | REST APIs • Auth • Databases
helwan Cairo, Egypt
tiny
tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.
United State
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
Dorsa Sharifi Ghombavani
Dorsa-Sharifi
BS.c Student at Sharif University of Technology / Formal Verification / Distributed Systems
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 focusing on software testing
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
PreviousNext