Graduate Students and Post-doctoral Fellows (Past and Present)

                   Research group photograph (CNY 2016)                                                         Latest Group Photograph (Deepavali 2016)                       

       An old picture - with research group members - 2012.                                                                                An older picture - with research group members - 2009.


Current Post-docs

          Zhen Dong, Research Fellow, joined March 2017, PhD University of Heidelberg in 2017.

          Andrew Edward Santosa, Senior Research Fellow, PhD NUS.

 


 

Current PhD Students 

Sergey Mechtaev, Semantic program repair (thesis submitted for examination).

Gao Xiang,  Symbolic analysis of Android apps.

Yu Xiao Liang, Joined 2018, Topic being discussed.

Ridwan Shariffdeen, Joined 2018, Topic being discussed.

Edwin Lesmana Tjiong, Joined 2018, Combination of fuzz testing and automated patching.



Former Post-docs

 


PhD Students Graduated


Masters Students Graduated

Lee Kee Chong (M.Comp by dissertation), Integrated Timing Analysis of Application and Operating Systems Code, Graduated 2015.

Bach Khoa Huynh (M.Sc.), Timing analysis of Data intensive programs, Graduated 2010.

Shanshan Liu (M.Sc.), Model Checking Parameterized Process Classes, Graduated 2009, Moved to DBS Singapore as Analyst.

Liang Guo (M.Sc.) Debugging Statechart models via Model-code Traceability, Graduated 2008, Moved to CreditSuisse, Singapore.

Tuan-Anh Tran (M.Sc.) Automated Generation of Protocol Converters from Scenario-based Specifications, Co-supervisor [Main supervisor P.S. Thiagarajan],  Graduated 2005, Moved to a start-up comany.

Qinghua Shen (M.Sc.)     Multithreaded Java from Multiprocessor Perspective, Graduated 2004, Main supervisor [Co-supervisor Tulika Mitra], Moved to Creative Technologies Ltd., Singapore.

Hemendra Singh Negi (M.Sc.) Two Concrete Problems in Worst-case Execution Time Analysis, Graduated 2004, Co-supervisor [Main supervisor Tulika Mitra], Moved to Mentor Graphics (India).

Lei Xie (M.Sc.)  Performance Impact of Multithreaded Java Semantics on Multiprocessor Memory Models, Graduated July 2003, Moved to ??