Anthony Lin

Professor, TU Kaiserslautern
Visiting Scientist
Dates of Visit: Jan. 12May 14, 2021

Lin is a Professor of Automated Reasoning at TU Kaiserslautern (Germany) and a Max-Planck Fellow. He is interested in the area of formal verification, programming languages, as well as logic in computer science and automata theory. His current research interests lie in algorithmic verification of string-manipulating programs.

Program Visits