Anthony Widjaja Lin

EPSRC Post-Doctoral Research Fellow

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Infinite-state verification, automata and logic, algorithms and complexity, database theory. For more information, see my personal home page.

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

Matthew Hague and Anthony Widjaja Lin

In Computer Aided Verification (CAV), 2012.

Themes	Automated Verification \| Foundations, Logic and Structures
Activities	RECOUNT \| Quantitative Analysis and Verification
Projects	Transducer-based approach to infinite-state verification

Share this page: