Ruoyu WANG
Jingyang LI
Minyu CHEN
[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)
Meng CHEN
Size HE
Zhengyang LIU
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.