Talk at Vienna

Anthony Widjaja Lin

Professor in Theoretical Computer Science (Automated Reasoning) at TU Kaiserslautern.

My email address


. Topic is flexible, but has to be aligned with my general interests (see below). Email me with your CV and explain why you are interested.



I am interested in developing methods using logic and automata for automatically reasoning about programs. At the moment, I have been doing lots of research related to logics over strings. I like applications that arise from web security/optimisation, analysis of large concurrent programs, and databases, to name a few. When doing research, I always try to strike a healthy balance between theory, tool construction, and case studies.

Current team members:

Graduated team members: