Homepage of Anthony Widjaja Lin [previously Anthony W. To]
NEWS
- I will be giving a tutorial on string solving at POPL’24
- Our string solver OSTRICH won QF_S (Single Query Track) in SMT-COMP 2023!
I am delighted to have received an ERC
Consolidator Grant on Logic and
Automata over Sequences with Data. I will be looking for PhD Students and
Postdoc Researchers soon. Please let me know if you are interested.
Background
- Professor in Theoretical Computer Science (Automated Reasoning) and Max-Planck Fellow at Technical University of Kaiserslautern, Germany
- Previously:
- (2016 - 2019) Associate Professor in Programming Languages at Oxford University Department of Computer Science and Governing Body Fellow at Kellogg College. I taught at the MSc Software Engineering Programme.
- (2014 - 2016) assistant professor at Yale-NUS, Singapore.
- (2010-2013) EPSRC Postdoctoral Research Fellow at Oxford University hosted by Marta Kwiatkowska
- Completed PhD in Informatics at University of Edinburgh in 2010 under Leonid Libkin (supervisor) and Richard Mayr (co-advisor).
- Awards (selected): ERC Consolidator Grant (2023), Amazon Research Award (2021), ERC Starting Grant (2017), Google Faculty Award (2017), LICS Kleene Award (2010)
- Where else I studied: BSc (Honours) at Melbourne University and MSc at University of Toronto
- Where I am from: I am Australian and was born in Indonesia
Research Interests
I am interested in automated reasoning and logic/automata techniques, especially constraint solving (particularly over strings) and learning/synthesis methods. Applications of interests include software verification, computer security, program synthesis, querying graph databases, and interpretable machine learning. My publication page contains pretty much all my published papers.
Selected Tool:
- OSTRICH - our string solver supporting complex constraints (concatenation, real-world regexes, lengths, transducers) that primarily exploit regular constraint propagation.
Research Group Members
Current Members
- Pascal Bergstraßer (PhD Student)
- Eva Gonzalez Garcia (PhD Student)
- Hongjian Jiang (PhD Student)
- Oliver Markgraf (PhD Student)
- Dr. Rodrigo Raya (Postdoc)
Past Members
- Dr. Chih-Duo Hong (PhD student completed in 2022, now Assistant Professor at National Chingchi University, Taiwan)
- Dr. Shuanglong Kan (Postdoc Researcher completed in 2022, now Researcher at Certik)
- Dr. Xuan-Bach Le (PhD student completed in 2018, now Postdoc at Nanyang Technical Uni, Singapore)
- Dr. Muhammad Najib (Postdoc Researcher completed in 2022, now Lecturer at Heriot-Watt University, UK)
- Dr. Reino Niskanen (Postdoc Researcher completed in 2018, now Lecturer at Liverpool John Moores University, UK)
- Dr. Daniel Stan (Postdoc Researcher completed in 2022, now Assistant Professor at Epita, France)
- Dr. Di-De Yen (Postdoc Researcher completed in 2023, now postdoc at Academia Sinica, Taipei)
Events
PC chair/organizer:
- RP’22 (co-chaired with Georg Zetzsche)
- APLAS’19
- MOSCA (Meetings on String Constraints and Applications) 2019 (co-chaired with Loris D’Antoni and Philipp Rümmer)
- ICECCS’18 (co-chaired with Jun Sun)
- IMS Workshop Series on Formal Verification (co-chaired with Luke Ong)
Executive Committee Member:
Program committee member:
- FoSSaCS’25
- Highlights’24
- CAV’24 [Area chair of automata theory]
- LICS’24
- STACS’24
- TACAS’24
- CAV’23
- ICALP’23
- VMCAI’23
- ATVA 2022
- CSL 2022
- POPL 2022
- ATVA 2021
- CAV 2020
- Pre 2020: PPDP’19, ATVA’19, VMCAI’19, CAV’19 Verification Mentoring Workshop, LICS’18, ICALP’17, PSI,17, FoSSaCS’17, APLAS’16, PSI’15, LICS’15, INFINITY’13
Teaching
I regularly offer courses, seminars, and projects on computational logic, verification, and automata. Please check the group’s official website.