Muhammad Jahanzeb Khan
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
Last modified: Wednesday, May 2, 2017.