Anthony Lin
Max-Planck Fellow at University of Kaiserslautern
Kaiserslautern, Rhineland-Palatinate, Germany
Summary
👤
Senior🎓
Top SchoolAnthony Lin is a Max-Planck Fellow and professor based in Kaiserslautern with a decade-long track record in formal verification, automated reasoning, and programming languages. He develops SMT techniques for strings and sequences, explainable machine learning over sequential data, and constraint models for graph databases, bridging deep theory with practical verification tools. His research history spans leading EPSRC-funded projects, discovering real-world vulnerabilities, and settling complexity questions in verification—work that has been published and implemented in tools showcased to industry. Comfortable in both academic and applied settings, he combines rigorous theory (PhD in Informatics) with systems-building experience in C++, Prolog, and solver integrations. An intriguing throughline in his career is applying automata- and transducer-based methods to make infinite-state and numeric program analysis tractable and explainable.
10 years of coding experience
9 years of employment as a software developer
PhD, Informatics, PhD, Informatics at University of EdinburghMaster of Science, Computer Science, Master of Science, Computer Science at University of TorontoThe University of Melbourne
Chinese, Indonesian, English, German
Github Skills (8)
ranking10
react9
science9
computer-science9
minify-css8
refactoring4
solver2
smt1
Programming languages (5)
Github contributions (5)
anthonywlin/anthonywlin.github.io
Nov 2017 - Jul 2026
Contributions:161 pushes, 1 branch in 8 years 9 months
anthonywlin/CSrankings
Apr 2024 - Nov 2024
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Contributions:3 pushes in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.