tchajed
Tej Chajed
PhD student working on systems verification
Cambridge, MA

Following (40)

yunsheng
Yun-Sheng Chang
asselism
inhocho
Inho Cho
upamanyu
dblalock
joshfried
Josh Fried
kevliao
Kevin Liao
arielck
Ariel Szekely
stellamplau
Stella Lau
alinush
Alin Tomescu

Followers (30)

yunsheng
Yun-Sheng Chang
asselism
davidlazar
David Lazar
joshfried
Josh Fried
kevliao
Kevin Liao
arielck
Ariel Szekely
ahenzinger
ralfj
Ralf J.
derbear
Derek Leung
krawthekrow
Mark

Browse others (14)

dima2608
soulles
selm
sarah elmendorf
kellyalb
Kelly Albrecht
eshio
Eshiogiemeh Peter
panuci
Vitor Panuci
shoggoth
Samater Liban
jjatria
José Joaquín Atria
therabit83
luis diego
akudan
Ariel Kudan
bellabi
Collete Nwadika
faludi
Robert Faludi
robertsharp
Robert Sharp