Prof. Dr. Anthony Lin
Post:TU Kaiserslautern
Postfach 3049
67653 Kaiserslautern
Hausadresse:Geb. 34, Raum 419
67663 Kaiserslautern
Email: lin [at]
Phone: (0631) 205-3330
More info can be found on my personal homepage.


  • Satisfiability Modulo Theories: Solvers, Decidability, Applications
  • Verification of Infinite-State Systems
  • Concurrency Theory
  • Database Theory
  • Logic and Automata
  • Program Analysis for Web Applications

Laufende Projekte

  • Algorithmic Verification for String-Manipulating Programs (ERC Starting Grant)
  • Parameterized System Verification via Regular Model Checking
  • Web Minification: developing minifiers for JavaScript/CSS
  • Automata and Logics over Data Words, Trees, and Graphs

Wissenschaftlicher Werdegang

seit 2019Professor an der TU Kaiserslautern
2016 - 2019Associate Professor an der Oxford University (GB)
2014 - 2016Assistant Professor an der Yale-NUS College (Singapore)

PDF (114kB, 2019-10-01) [mehr ...]