Friends
Labmates
Friends(within and outside USC)
Nick(Yiqi) Zhao @ USC working on Robotics and Formal Methods
Taiwei Shi @ USC working on NLP
Kai Chen @ USC working on NLP
Yimin Tang @ USC working on Robotics and Algorithm
Qinrun Dai @ CU Boulder working on System Security
Xuanyu Peng(Dofy) @ UCSD working on Program Synthesis
Jingtao Xia @ UCSB working on PL x Arch
Mike He @ Princeton working on Formal Verification
Fangzheng Lin @ Science Tokyo working on Arch & Security