Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
Dewantoro Kunto Wibisono
dewhush
Building interfaces for humans and logic for machines.
Dew Protocols
Isaac Diemer
isdiemer
I'm a student at the University of Michigan studying Computer Science and Mathematics, particularly interested in Programming Languages and Theory!
Asif Ali
aaasif4usk143
Computer HarDWare & IT Master SofTWware Program Service
Computer Hardware Peshawar
Shiwei Weng 翁士伟
arbipher
JHU Ph.D. Student //
Fudan B.Eng //
PL is the classics of computer science.
Johns Hopkins University Baltimore, Maryland, USA
Tundzhay Mollov
tmollov
Junior Developer / Hobbies:
Game development with Unity 3D
/ 3D printing
Emre Balkay
EmreBlky
Sevdiğin Her ne ise Onu Bull ve Seni Öldürmesine İzin Ver.....!!!
MicroChipTecnology Körfez
Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
PreviousNext