- I'm a Ph.D. student in IIIS, Tsinghua University majoring in Computer Science. Previously I'm an undergraduate student in Shanghai Jiao Tong University, ACM Class.
- I'm doing research on the area of Computer System and Architecture. Specially I'm interested in Machine Learning System (MLSys).
- My avatar is the character 霊烏路 空 in a STG game called Touhou Project.
- Welcome to my Blog: Metric Space!
siriusneo / alice Goto Github PK
View Code? Open in Web Editor NEWA LTL (Linear Temporal Logic) Formulas Checking System. SJTU CS3959 Model Checking Course Project.