Talk at Vienna

Anthony Widjaja Lin

(previously known as Anthony Widjaja To)

My email address


News

Background

Research

My research interests lie in the development of logical methods for programming technologies, which includes constraint solving (especially, over the string domain), formal verification, and program analysis, especially motivated by problems in (i) web security/optimisation, (ii) analysis of concurrent programs with many processes, and (iii) databases. I am interested in all aspects of the field, ranging from theory to systems. In particular, I strongly believe in the importance of theory, tool construction, and case studies to make serious research advances.

Postdocs:

PhD Students:

Events:

Teaching