Skip to the content.

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

My image

NEWS

Background

Research Interests

I am interested in automated reasoning (particularly over strings), formal language theory, learning/synthesis, and foundations of machine learning. Applications of interests include software verification, program synthesis, querying graph databases, machine learning, and computer security. My publication page contains pretty much all my published papers.

Selected Tool:

Research Group Members

Current Members

Past Members

Events

PC chair/organizer:

Executive Committee Member:

Program committee member:

Teaching

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