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

Muhammad Jahanzeb Khan


CURRENT UNDERGRADUATE STUDENTS

Jianbang YANG

Ziyu WANG

Fenlin YANG

Yanghen ZHAO


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.