CURRENT DOCTORIAL STUDENTS


CURRENT MASTER STUDENTS

[3rd year]

Chunmiao LI

Ruoyu WANG

Yi CUI

[2nd year]

Yuwei WANG

Congcong YE

[1st year]

Rujiang DING

Min GAO

Jin LUO


CURRENT UNDERGRADUATE STUDENTS

Jianbang YANG

Ziyu WANG

Fenlin YANG


PREVIOUS STUDENTS

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.