NWMonster's Following
- arielgabizon
- Abbbbbi
- azonenbergIOActive
- tyranid
- KihongHeoKAIST
- NikolajBjornerMicrosoft Research
- cliffordwolfVienna
- kevinkoo001Sungkyunkwan University
- qinheping
- corinusNASA and CMU CyLab
- MichaelFu1998-createMelbourne, Australia
- zhendongsuETH Zurich
- shao-hua-liETH Zurich
- kenmcmilUT Austin
- leodemouraAWS
- abentkamp
- cliffclickStealth Mode Startup
- hajduakos@Facebook
- matijapretnarFaculty of Mathematics and Physics, University of Ljubljana
- hengxinNanjing University (南京大学)
- smorimoto@ocaml @tc39
- vafeiadis@MPI-SWS
- xnningUniversity of Toronto
- Practical-Formal-Methods
- digama0Chalmers University of Technology
- xc93Pi Squared
- simonpjEpic Games
- yannissDedaub, University of Athens
- pcousot
- hongjin-liang
- wcventureXidian University
- ranjitjhalaUniversity of California, San Diego
- ConsensysThe Blockchain
- liyong31Beijing
- fengwz17Institute of Software, CAS
- ngorogiannis@facebook