Anthony Widjaja Lin (To)

MathSciNet


Ph.D. The University of Edinburgh 2010 UnitedKingdom
Dissertation: Model Checking Infinite-State Systems: Generic and Specific Approaches
Mathematics Subject Classification: 68—Computer science

Advisor 1: Leonid Libkin
Advisor 2: Richard Mayr

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Hong, Chih-DuoUniversity of Oxford2022
Le, Xuan BachNational University of Singapore2018

According to our current on-line database, Anthony Widjaja Lin (To) has 2 students and 2 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 148215 for the advisor ID.