Jixin Han
kalfazed
Hello everyone, welcome to my git repository. I am a researcher whose interests include program logic, parallelization, formal verification and deep learning.
Toronto, Canada
chyyuu
chyyuu
I'm teaching & researching AI4OS & OS4AI in Dept. of Computer Sci. & Tech., Tsinghua Univ.
Tsinghua Unviersity Beijing, China


