Anthony Widjaja Lin

Background

• EPSRC Postdoctoral Research Fellow at Oxford University Department of Computer Science as of October 2010
• Member of Oxford Verification Group
• Completed PhD in Informatics at University of Edinburgh in 2010
• My (grossly out of date) blog

Research

• Research interests: infinite-state verification (theoretical and practical aspects thereof), automata and logic, algorithms and complexity, database theory
• Current projects:
  • Transducer-based approach to infinite-state model checking
  • Model checking REcursive programs with COUNTers
• Publications

Teaching

• Automata, Logic, and Games - Guest lecturer (2012)
• Theory of Data and Knowledge Bases - Tutor (2011)

Some Random Links

1. Research links
2. Manuel Blum's research advice for graduate students
3. Michael Nielsen's Principles of Effective Research
4. Learn Prolog Now!
5. SWI-Prolog Reference
6. A guide to installing and using Powerdot
7. How to use Latex formulas with xfig
8. An interesting/annoying bug that you might come across if you use T-mobile mobile broadband on your Mac
9. Friends and Collaborators

Last Modified: 24 January 2012