Skip to main content

Anthony W. Lin

Personal photo - Anthony Lin

Anthony Widjaja Lin

Associate Professor in Programming Languages

Governing Body Fellow, Kellogg College

Leaving date: 28th February 2019


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, (iii) analysis of concurrent programs with many processes, and (iv) graph databases. I have found logic and automata extremely useful (as abstractions, and algorithmic toolbox) in solving these problems.

For more information, see my personal home page.

Selected Publications

View AllManage publications


Completed Projects

Past Student

Chih-Duo Hong