- Beijing
-
00:18
(UTC +08:00)
Zhongyi Pei
OswinGuai
I am working on software engineering for machine learning.
Tsinghua University Beijing
Zhilei Han
linusboyle
PhD student @ Tsinghua University. Research on formal verification.
Tsinghua University Beijing, PRC
Xingyu Xie
namasikanam
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.
Max Planck Institute for Security & Privacy Bochum, Germany