Anthony W. Lin

Anthony Widjaja Lin

Associate Professor in Programming Languages

Governing Body Fellow, Kellogg College

Leaving date: 28th February 2019

Themes:

• Programming Languages
• Automated Verification
• Quantum
• Security

Completed Projects:

• more…

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

• Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters

  Matthew Hague and Anthony Widjaja Lin

  In Computer Aided Verification (CAV), 2012.

  Details about Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | BibTeX data for Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | Download  (pdf) of Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters

Activities

• Software Engineering
• RECOUNT
• Quantitative Analysis and Verification

Completed Projects

• Transducer-based approach to infinite-state verification

Past Student