Skip to main content

Anthony W. Lin

Personal photo - Anthony Lin

Anthony Widjaja Lin

Associate Professor in Programming Languages

Governing Body Fellow, Kellogg College

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Activities

Current Student