kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.
Tarides and IIT MadrasChennai, India
kayceesrk's Following
- zazeddFaculty of Science - University of Porto
- Innf107
- fusion-engineeringDelft, Netherlands
- Athishpranav2003IIT Madras
- joshpxyne@Coframe
- bvaugon
- anmonteiroSF Bay Area, CA
- astradaMilan, Italy
- justincormack@docker
- andrewjkennedyMeta
- erictrautWashington State
- eptUniversity of Cambridge
- pikatchuSkipLabs
- jberdineLondon, UK
- SkipLabs
- sanjayprabhu
- mdalesUniversity of Cambridge
- RalfJung
- hernanponcedeleon
- zapashcanon@OCamlPro
- hannesm@robur-coop
- sidkshatriya
- sl33kESA
- dariusfSingapore
- alan-j-huAmerica
- lukewagnerFastly
- SudalaiRajkumar
- knadhZerodha
- remixlabs
- melsmanUniversity of Copenhagen, Denmark
- arc80
- norvigGoogle
- munificent@google, on @dart-lang
- ArulselvanMadhavanSan Francisco, CA
- titzerCarnegie Mellon University
- vouillon