😊
Highlights
- Pro
Velimir Đurković
djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.
Novi Sad, Vojvodina, Serbia
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Lqxc
lovebaihezi
Sound type is everything.
true = λx.λy.x
false = λy.λx.y
if = λc.λx.λy.y ~> x ~> c
Quang Dao
quangvdao
PhD Student at Carnegie Mellon University. Interested in cryptography and formal verification
Pittsburgh, PA
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
Jacob Neumann
jacobneu
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science;
Former Lecturer at Carnegie Mellon University SCS
Nottingham, England, UK
Kevin Zhou
kevinazhou150
I go by Kaz (my initials). I'm a math PhD student at UIUC, and I have a BS+MS from CMU. I love functional programming and combinatorics!
Kyle Booker
ktbooker
Software Engineer and Computer Scientist. Senior at CMU SCS. Interested in Systems (specifically DBMSs, OSs, and Compilers) and Programming Language Theory.
Carnegie Mellon University School of Computer Science Pittsburgh, PA
Sanjay Salem
sanjaysalem17
Hi! I’m a Software Engineer at Apple currently working on AR applications with Metal and ARKit.
Apple
Abigale Kim
abigalekim
SWE @TileDB-Inc | formerly @cmu-db
University of Wisconsin--Madison Madison, WI
Ruiran Xun
elucidium
Theatrical music director and collaborative pianist; former software engineer.
Jersey City, NJ