Professor Anthony Lin
Anschrift
RPTU Kaiserslauetern-Landau
Gebäude 34, Raum 419
Postfach3049
Gottlieb-Daimler-Str
67653 Kaiserslautern
Deutschland
Tel: (0631) 205-3330
E-mail: lin(at)cs.uni-kl.de
Forschungsinteressen
- 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 2019 | Professor an der RPTU Kaiserslautern-Landau |
| 2016-2019 | Associate Professor an der Oxford University (GB) |
| 2014-2016 | Assistant Professor an der Yale-NUS College (Singapore) |