Talk at Vienna - Thanks to Georg Weissenbacher

Anthony Widjaja Lin

(previously known as Anthony Widjaja To)

My email address




I am interested in all aspects (ranging from theory to systems) of the development of principled techniques that can make software less error-prone, and more efficient. My current research interests lie in the field of constraint solving, program analysis, and formal verification, especially motivated by problems in (i) web security, (ii) web performance optimisation, and (iii) analysis of concurrent programs with many processes. I have found logic and automata extremely useful (as abstractions, and algorithmic toolbox) in solving these problems.



Anthony Widjaja Lin

Last Modified: November 2015