Skip to the content.

Homepage of Anthony Widjaja Lin [previously Anthony W. To]

My image



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:

Research Group Members

Current Members

Past Members


PC chair/organizer:

Executive Committee Member:

Program committee member:


I regularly offer courses, seminars, and projects on computational logic, verification, and automata. Please check the group’s official website.