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.