Anthony Widjaja Lin Email & Phone Number

Kaiserslautern, Rhineland-Palatinate, Germany

Kaiserslautern, Germany

Kaiserslautern, Germany

Oxford, United Kingdom

Singapore

Teaching/Research

Singapore

Developing symmetry reduction methods for verifying distributed protocols

Taiwan

Developing learning algorithms for inferring arithmetic properties in programs

Oxford University Department Of Computer Science, Oxford

Some research highlights:- Led the project on transducer-based approach for modelling and verifying infinite-state systems funded by EPSRC (http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H026878/1)- Developed a method for verifying programs with numeric data types via a reduction to an SMT solver (Z3). Implemented in C++ and Prolog. Showcased the tool in an industry day organised by Oxford. [Published in CAV'11 CAV'12] - Discovered buffer overflow vulnerabilities in Linux Device Drivers and a well-known buffer overflow vulnerabilities benchmark (Verisec). - Proved the precise complexity of model checking and equivalence checking of well-known models of concurrent programs. Proposed sublogics of LTL and CTL where the model checking problem becomes more tractable.Some teaching highlights:- Co-lectured ``Automata, Logic, and Games'' --- a 4th year course with applications in verification and circuit design.- Tutored ``Theory of Data and Knowledge Bases'' --- a 4th year course covering advanced algorithms and query languages.

Edinburgh, United Kingdom

Some research highlights:- Developed a generic semi-algorithm for verifying LTL and CTL in a general symbolic framework for infinite-state systems. - Verified freedom from starvation for cache coherence protocols (e.g. MESI, MOESI, Berkeley).- Settled an open problem on the complexity of Parikh images of regular languages with applications in integer programming, learning theory, verification, and databases. Won LICS'10 Kleene Award for Best Student Paper.Teaching Highlights:- Tutored a 3rd-year course on computability and complexity theory

Toronto, Canada Area

Teaching highlights:- Tutored a 3rd-year course on computability and complexity theory.- Tutored a 4th-year course on formal methods covering reasoning about program correctness in first-order logic

Los Alamos, New Mexico

Worked in "Computer & Computational Sciences, Discrete Simulation Science" Division.Research Highlights:- Implemented a program in Mathematica for performing simulations of traffic in computer networks modeled in sequential dynamical systems. - Proved the complexity of reasoning about the behavior of dynamical systems (e.g. reachability, equivalence).

Melbourne, Australia

Worked in the Department of Mathematics and Statistics with Sanming Zhou.Research highlights:- Studied a hypercube coloring problem and Wan's conjecture.- Implemented an optimisation technique in C++ for confirming Wan's conjecture up to hypercube with 2^{10} nodes.

Melbourne, Australia

Teaching highlights:- Tutored and lab demonstrated ``Logic and Computation'' --- a 2nd-year course covering basic logic, computability, and Prolog programming.- Tutored and lab demonstrated ``Software Developments: Principles and Tools'' --- a 2nd-year course covering standard development principles and tools in Unix, e.g., Shell-scripting, Make, version control systems (RCS and CVS), GDB, and DDD.

Melbourne, Australia

Worked in Phil Hodgkin's Lab in the Department of Immunology.Research highlights:- Implemented programs in Matlab and C++ for performing simulations of numerical models of lymphocytes.- Developed local search algorithms (hill climbing and simulated annealing) in C++ for optimising the models.

Phd, Informatics

In my PhD studies, I developed frameworks and symbolic methods for verifying infinite-state systems. Some notable results include (i).

Master Of Science, Computer Science

Working under Leonid Libkin. Transferred in September 2006 for a PhD study in Edinburgh.

Bachelor Of Science (Hons), Computer Science, Mathematics

Activities and Societies: Melbourne University Computing Students' Association: secretary, magazine (Grok) chief editor, and study group.