Automatic Reasoning

Professor Anthony Lin

 

Address

RPTU Kaiserslauetern-Landau
Building 34, Room 419
PO Box 3049
Gottlieb-Daimler-Str
67653 Kaiserslautern
Germany

Tel: (0631) 205-3330

E-mail: lin(at)cs.uni-kl.de

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 2019 Professor an der RPTU Kaiserslautern-Landau
2016-2019Associate Professor an der Oxford University (GB)
2014-2016Assistant Professor an der Yale-NUS College (Singapore)