Riib11
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMDUMD
Riib11's Following
- 2manslkh
- alpaylanUniversity of Maryland, College Park
- Athos213Galois
- aya-prover
- base-org
- bcpierce00University of Pennsylvania
- breandan@mila-iqia
- DeepSpec
- extropic-aiUnited States of America
- formal-land
- GopiandcodeA cool breeze
- HigherOrderCO
- junrui-liu
- jwshii
- kayceesrkTarides and IIT Madras
- lapplislazuliLost - Still on Earth
- liyishuai@Alibaba
- minosvasiliashercules.ai
- neel-krishnaswamiUniversity of Cambridge
- neurosityUnited States of America
- o1-labsSan Francisco
- pi8027Nantes, France
- pjreddie
- RoganMurley@reddit
- scolsenBrooklyn, NY
- scuellar
- shoggoth-systems
- thenetrunnaShogAI
- therealyingtongSingapore
- tramhnt99
- trishumeSan Francisco
- TritloDPella AB
- VictorTaelinHigher Order Company
- WhatisRTIOHK
- yairchu
- zed-industries