Anthony Widjaja Lin

News

• I have some researcher openings at PhD/postdoc levels, and internships at bachelor/masters level. Topic is flexible, but has to be aligned with my general interests (see below). Email me with your CV and explain why you are interested.
• Submit to CAV 2020
• I have been recently awarded a Max-Planck Fellowship. Thanks to everyone who supported me

Background

• Professor in Theoretical Computer Science (Automated Reasoning), ERC Starting Grant Fellow, 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
• (2014 - 2016) assistant professor at Yale-NUS, Singapore
• Completed PhD in Informatics at University of Edinburgh in 2010 under Leonid Libkin (supervisor) and Richard Mayr (co-advisor).

Research

I am interested in developing methods using logic and automata for automatically reasoning about programs. At the moment, I have been doing lots of research related to logics over strings. I like applications that arise from web security/optimisation, analysis of large concurrent programs, and databases, to name a few. When doing research, I always try to strike a healthy balance between theory, tool construction, and case studies.

• Current research projects:
  • Constraint solving and program analysis for the Web:
    • String solving for vulnerability detection in web applications.
    • Web performance optimisation, e.g., detecting redundant CSS rules.
  • Verification of parameterized concurrent systems:
    • Regular model checking
• Some tools:
  • satcss - one of the best CSS minifiers around at the moment in terms of minification rate. It uses maxsat solvers to iteratively find best rule-merging opportunities that are difficult to identify otherwise.
  • OSTRICH - hitherto the fastest string solver that supports concatenation, replaceall, regular constraints, and other complex string operations like transducers.
  • Sloth - a new string solver that combines concatenation, transducers, replace, regular constraints, and length constraints.
  • SLRP - for automatically verifying liveness for randomised parameterised systems and distributed protocols, and reasoning about two-player reachability games.
  • ParaSymmetry - for automatically verifying/synthesising symmetry patterns and simulation preorder for parameterised systems (see our VMCAI paper).
  • TreePed - for detecting redundant CSS rules in HTML5 applications (see here for a detailed description).
  • ReCount - for verifying integer-manipulating concurrent recursive programs via reversal/synchronisation bounding (see our CAV'11 paper and CAV'12 paper).
• Publications (on Google Scholar|||| on DBLP)

Current team members:

• Muhammad Najib (Postdoc, 2019 - present)
• Chih-Duo Hong (PhD student, 2017 - present)

Graduated team members:

• Reino Niskanen (postdoc, 2018 - 2019)
• Xuan-Bach Le (postdoc, 2018 - 2019; PhD student, 2014 - 2017)

Events:

• PC chair/organiser:
  • APLAS 2019
  • MOSCA (Meetings on String Constraints and Applications) 2019
  • ICECCS 2018
  • INFINITY 2016
  • IMS Workshop Series on Automata, Logic and Games (2016)
• Program committee member:
  • CAV 2020
  • PPDP 2019
  • ATVA 2019
  • VMCAI 2019
  • CAV 2019 Verification Mentoring Workshop
  • LICS 2018
  • ICALP 2017
  • PSI 2017
  • FoSSaCS 2017
  • APLAS 2016
  • PSI 2015
  • LICS 2015
  • INFINITY 2013

Teaching

• 2018-2019:
• Logik (Bachelor) [Summer Semester]
• Logic and Verification Seminar (Bachelor/Masters) [Summer Semester]
• Past (selected):
  • Object Oriented Programming (2017)
  • Theory of Computation - Instructor/Lecturer (Spring 2016)
  • Introduction to Computational Thinking and Programming for All - Instructor/Lecturer (Spring 2016)
  • 2 x Scientific Inquiry - Instructor/Lecturer (Fall 2015)
  • Logic for formal verification - co-lecturer (Summer 2015, National Taiwan University)
  • Introduction to Computational Thinking and Programming for All - Instructor/Lecturer (Spring 2015, Yale-NUS)
  • Quantitative Reasoning - Instructor/Lecturer (Spring 2015, Yale-NUS)
  • Scientific Inquiry - Instructor/Lecturer (Fall 2014, Yale-NUS)
  • Automata, Logic, and Games - Co-lecturer (2012, Oxford)
  • Theory of Data and Knowledge Bases - Tutor (2011, Oxford)