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

Weitere Informationen finden Sie unter my personal homepage.

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

---