Hongjin Liang
431
reputation
4
5
I'm a phd student in USTC-Yale Joint Research Center for High-Confidence Software. My research interests are in the area of programming languages and formal methods, especially concurrency theories.