Will Crichton
willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.
Brown University Providence, RI
SoonWon Moon
damhiya
An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.
Seoul, Republic of Korea
Jang Yeong Woo
riagus99
Electrical & Computer Engineering Graduate Student
Seoul National University Seoul, Korea
Jaemin Hong
Medowhill
Ph.D. Student, School of Computing, KAIST
@kaist-plrg Daejeon, Republic of Korea
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.