Ruoyu WANG
[3rd year]
[2nd year]
Yuwei WANG
Congcong YE
[1st year]
Rujiang DING
Min GAO
Jin LUO
Muhammad Jahanzeb Khan
Ziyu WANG
Yanghen ZHAO
Chunmiao LI (master student, graduated in 2018, now is PhD. candidate of NII, Japan) Thesis: On Lower Bounds of VAS-Like Models
Ruoyu WANG (master student, graduated in 2018, now is PhD. candidate of the lab, as well as UNSW, Australia) Thesis: A Big Data Provenance System with Trustworthiness Evaluation and Collective Anomaly Detection Mechanism
Yi CUI (master student, graduated in 2018, now at Ali) Thesis: An Ad-Hoc Query Engine Based on Spark SQL
Yunqing WEN (master student, graduated in 2017, now at UnionPay) Thesis: Time-Sensitive Pushdown Systems
Li LIU (master student, graduated in 2017, now at Microsoft, Shanghai) Thesis: Coverability Problem of Asynchronous Multi-Process Timed Automata
Bingbing FANG (master student, graduated in 2017, now at Microsoft, Shanghai) Thesis: Schedulability Analysis of Timed Regular Task Automata
Yanlong LI (master student, graduated in 2016, now at Microsoft, Suzhou) Thesis: Research on Visualization and Visual Comparison Analysis of Hierarchical Data
Lichao WANG (master student, graduated in 2015, now at Industrial Bank Co. LTD. ) Thesis: Constructing Format-Preserving Printing from Syntax-Directed Definition
Yan LI (master student, graduated in 2014, now at GalaxyCoreInc.) Thesis: Research and Implementation of the Reachability Problem on Updatable Timed Automata
Guoqiang Li
Last modified: Wednesday, May 2, 2017.