CURRENT DOCTORIAL STUDENTS

Ruoyu WANG

Jingyang LI

Minyu CHEN


CURRENT MASTER STUDENTS

[3rd year]

Yuan HANG

Valeriia Tumanian

Yonghong CHEN (MEM)

Jialing HUANG (MEM)

[2nd year]

Yihang CHEN

Qunhao SHA

Chun TAN

Xiang ZHOU (MEM)

[1st year]

Lianyi WU

Zhiwen WU

Yin ZHAO

Saengsawang Saharatg (Guohao ZHU)

Hong LIU (MEM)

Kun LIU (MEM)

Haiming XUE (MEM)


CURRENT UNDERGRADUATE STUDENTS

Meng CHEN

Size HE

Zhengyang LIU


PREVIOUS STUDENTS

Minyu CHEN (master student, graduated in 2021, now is PhD. candidate in the lab) Thesis: Complex Question Generation on Knowledge Graphs Based on Deep Neural Network and Enhanced Text Fusion

Yikang LUO (master student, graduated in 2021, now at WorldQuant) Thesis: Automated Scoring System for Chinese Essay Based on BERT Model

Zhenwen MA (master student, graduated in 2021, now at ...) Thesis: Prediction of the Results of the Initial Public Offering Review on the Science and Technology Innovation Board Based on Legal Knowledge Reasioning

Jinghao TAN(master student, graduated in 2021, now is PhD. candidate of HKU) Thesis: Verification of Asynchronously Communicating Programs Based on Basic Parallel Processes

Lvbo ZHONG (master student, graduated in 2021, now at ...) Thesis: Design and Implementation of Clinical Diagnosis Supportive System for Congenital Heart Disease Based on Machine Learning

Rujiang DING (master student, graduated in 2020, now at Enhitech) Thesis: Design and Implementation of Computer Aided Diagnosis Core Based on Satisfiability Problem Solving

Min GAO (master student, graduated in 2020, now at SenseTime) Thesis: Design and Application of Application of Feature-Based Medical Synonyms Algorithm

Jinyang LI (master student, graduated in 2020, now is PhD. candidate in the lab, as well as UNSW, Australia) Thesis: Knowledge Representation and Knowledge Extraction for Chinese Medical Documents

Jin LUO (master student, graduated in 2020, now at SenseTime) Thesis: A LSTM Modeling for Forecasting NASDAQ Constituents Based on a New Performance Indicator

Muhammad Jahanzeb Khan (master student, graduated in 2020, now at Shanghai Zhongheng Supply Chain Management Co., Ltd) Thesis: Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning

Yuwei WANG (master student, graduated in 2019, now at Pinduoduo) Thesis: Nested Timed Automata, Revisited

Congcong YE (master student, graduated in 2019, now at Ali) Thesis: Research on Blockchain Safety Detection and Consensus Algorithm for Agricultural Product Quality Traceability

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, Jun. 3, 2020.