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

Research interests

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

Current projects

  • 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

Scientific career

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


Publications
[more ...]
Curriculum Vitae
PDF (114kB, 2019-10-01) [more ...]



Superordinated page: Group members
[more ...]
Feedback for this Page
Email to the person in charge of this page (stan@informatik.uni-kl.de) [more ...]