Friends

Labmates

Yuzhou Fang @ USC

Jacqueline Mitchell @ USC

Brian Kim @ USC

Tooba Khan @ USC

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

Friend Blogs

Centaurus99

Obliviated::Victor