Riib11
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMDUMD
Riib11's Followers
- 0xJepsen@Pluto
- alcidesLASIGE, University of Lisbon
- Alf0nsoBarcelona Supercomputing Center
- algebraic-sofiaContagem, Minas Gerais
- Athos213Galois
- bquiringUniversity of Maryland
- DaveAxiomConnecticut, USA
- davidadachiSan Francisco, CA
- dm0n3y@hazelgrove @fplab
- EarlPittsBudapest
- edvmorangoSão Paulo
- EricCrosson@stratos-trade
- esdnm
- fguilhermepllBrazil
- flupeTU Delft
- HiramaDubai
- javathunderman/dev/null
- jessepinkman9900IIIT-H
- Kaweees@NVIDIA
- KraksINRIA/ENS; Tufts
- MATRIXKOO@Vidar-Team @InProgramming
- nightlyUK
- omelkonianUniversity of Edinburgh
- Onemanwolfpac
- plt-amyBrazil
- pretentious7
- qsctr@GaloisInc
- sighingnow@alibaba
- singularittiLos Alamos National Laboratory
- solidityslayer
- StehfynReno, Nevada
- xieyuheng嗨起来!
- yairchu
- yangdinglou
- zant@socialappslab
- ziutech