AeroLeads people directory · profile

Anthony Widjaja Lin Email & Phone Number

Professor at RPTU, Max-Planck Fellow at Max Planck Institute for Software Systems
Location: Kaiserslautern, Rhineland-Palatinate, Germany 14 work roles 3 schools
LinkedIn matched
✓ Verified May 2026 3 data sources Profile completeness 100%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Max Planck Institute for Software Systems
Role
Professor at RPTU, Max-Planck Fellow
Location
Kaiserslautern, Rhineland-Palatinate, Germany
Company size
91 employees

Who is Anthony Widjaja Lin? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Anthony Widjaja Lin is listed as Professor at RPTU, Max-Planck Fellow at Max Planck Institute for Software Systems, a company with 91 employees, based in Kaiserslautern, Rhineland-Palatinate, Germany. AeroLeads shows a matched LinkedIn profile for Anthony Widjaja Lin.

Anthony Widjaja Lin previously worked as Max-Planck Fellow at Max Planck Institute For Software Systems and Professor at University Of Kaiserslautern. Anthony Widjaja Lin holds Phd, Informatics from University Of Edinburgh.

Company email context

Email format at Max Planck Institute for Software Systems

This section adds company-level context without repeating Anthony Widjaja Lin's masked contact details.

Max Planck Institute for Software Systems

Review company-level records connected to Anthony Widjaja Lin before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Anthony Widjaja Lin

Interested in theory and applications of automated reasoning and machine learning in the development of robust software. Current focus:- Development of string and sequence analysis (SMT over strings/sequences)- Explainable machine learning over sequences- Constraints for graph databases

Listed skills include Algorithms, Computer Science, Model Checking, Latex, and 13 others.

Current workplace

Anthony Widjaja Lin's current company

Company context helps verify the profile and gives searchers a useful next step.

Max Planck Institute for Software Systems
Max Planck Institute For Software Systems
Professor at RPTU, Max-Planck Fellow
germany
Website
mpi-sws.org
Employees
91
AeroLeads page
Company profile
View company profile Email format
14 roles

Anthony Widjaja Lin work experience

A career timeline built from the work history available for this profile.

Assistant Professor

Yale-Nus College

Singapore

Teaching/Research

May 2014 - Dec 2016

Visiting Researcher

Academia Sinica

Taiwan

Developing learning algorithms for inferring arithmetic properties in programs

Oct 2013 - Feb 2014

Epsrc Postdoctoral Research Fellow, Co-Lecturer, Tutor

University Of Oxford

Oxford University Department Of Computer Science, Oxford

Some research highlights:- Led the project on transducer-based approach for modelling and verifying infinite-state systems funded by EPSRC (http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H026878/1)- Developed a method for verifying programs with numeric data types via a reduction to an SMT solver (Z3). Implemented in C++ and Prolog. Showcased the.

Oct 2010 - Oct 2013

Phd Student, Research Assistant, Teaching Assistant

University Of Edinburgh, School Of Informatics

Edinburgh, United Kingdom

Some research highlights:- Developed a generic semi-algorithm for verifying LTL and CTL in a general symbolic framework for infinite-state systems. - Verified freedom from starvation for cache coherence protocols (e.g. MESI, MOESI, Berkeley).- Settled an open problem on the complexity of Parikh images of regular languages with applications in integer.

Sep 2006 - Sep 2010

Graduate Student, Research Assistant, Teaching Assistant

University Of Toronto, Department Of Computer Science

Toronto, Canada Area

Teaching highlights:- Tutored a 3rd-year course on computability and complexity theory.- Tutored a 4th-year course on formal methods covering reasoning about program correctness in first-order logic

Sep 2005 - Sep 2006

Graduate Research Assistant

Los Alamos National Laboratory

Los Alamos, New Mexico

Worked in "Computer & Computational Sciences, Discrete Simulation Science" Division.Research Highlights:- Implemented a program in Mathematica for performing simulations of traffic in computer networks modeled in sequential dynamical systems. - Proved the complexity of reasoning about the behavior of dynamical systems (e.g. reachability, equivalence).

Jun 2005 - Sep 2005

Summer Research Scholar

University Of Melbourne

Melbourne, Australia

Worked in the Department of Mathematics and Statistics with Sanming Zhou.Research highlights:- Studied a hypercube coloring problem and Wan's conjecture.- Implemented an optimisation technique in C++ for confirming Wan's conjecture up to hypercube with 2^{10} nodes.

Dec 2003 - Jan 2004

Tutor And Lab Demonstrator

University Of Melboure, Department Of Computer Science And Software Engineering

Melbourne, Australia

Teaching highlights:- Tutored and lab demonstrated ``Logic and Computation'' --- a 2nd-year course covering basic logic, computability, and Prolog programming.- Tutored and lab demonstrated ``Software Developments: Principles and Tools'' --- a 2nd-year course covering standard development principles and tools in Unix, e.g., Shell-scripting, Make, version.

Feb 2003 - Dec 2003

Undergraduate Research Assistant

Walter And Eliza Hall Institute Of Medical Research

Melbourne, Australia

Worked in Phil Hodgkin's Lab in the Department of Immunology.Research highlights:- Implemented programs in Matlab and C++ for performing simulations of numerical models of lymphocytes.- Developed local search algorithms (hill climbing and simulated annealing) in C++ for optimising the models.

Jun 2002 - Jun 2003
Team & coworkers

Colleagues at Max Planck Institute for Software Systems

Other employees you can reach at mpi-sws.org. View company contacts for 91 employees →

PB Pascal Briehl Pascal Briehl Colleague at Max Planck Institute For Software Systems Kaiserslautern, Rhineland-Palatinate, Germany, Germany View → AB Alexandra Bugariu Alexandra Bugariu Colleague at Max Planck Institute For Software Systems Germany, Germany View → HF Hasan Ferit Enişer Hasan Ferit Enişer Colleague at Max Planck Institute For Software Systems Kaiserslautern, Rhineland-Palatinate, Germany, Germany View → EÇ Emin Çelik Emin Çelik Colleague at Max Planck Institute For Software Systems Germany, Germany View → PS Paulius Sasnauskas Paulius Sasnauskas Colleague at Max Planck Institute For Software Systems Germany, Germany View → BG Bishwamittra Ghosh Bishwamittra Ghosh Colleague at Max Planck Institute For Software Systems Saarbrücken, Saarland, Germany, Germany View → AG Arabinda Ghosh Arabinda Ghosh Colleague at Max Planck Institute For Software Systems Kaiserslautern, Rhineland-Palatinate, Germany, Germany View → JH Jinhao Hu Jinhao Hu Colleague at Max Planck Institute For Software Systems China, China View → PS Priyank Shethia Priyank Shethia Colleague at Max Planck Institute For Software Systems Pilani, Rajasthan, India, India View → AA Ashwani Anand Ashwani Anand Colleague at Max Planck Institute For Software Systems Kaiserslautern, Rhineland-Palatinate, Germany, Germany View →
3 education records

Anthony Widjaja Lin education

Phd, Informatics

University Of Edinburgh

In my PhD studies, I developed frameworks and symbolic methods for verifying infinite-state systems. Some notable results include (i).

Master Of Science, Computer Science

University Of Toronto

Working under Leonid Libkin. Transferred in September 2006 for a PhD study in Edinburgh.

Bachelor Of Science (Hons), Computer Science, Mathematics

University Of Melbourne

Activities and Societies: Melbourne University Computing Students' Association: secretary, magazine (Grok) chief editor, and study group.

FAQ

Frequently asked questions about Anthony Widjaja Lin

Quick answers generated from the profile data available on this page.

What company does Anthony Widjaja Lin work for?

Anthony Widjaja Lin works for Max Planck Institute for Software Systems.

What is Anthony Widjaja Lin's role at Max Planck Institute for Software Systems?

Anthony Widjaja Lin is listed as Professor at RPTU, Max-Planck Fellow at Max Planck Institute for Software Systems.

Where is Anthony Widjaja Lin based?

Anthony Widjaja Lin is based in Kaiserslautern, Rhineland-Palatinate, Germany while working with Max Planck Institute for Software Systems.

What companies has Anthony Widjaja Lin worked for?

Anthony Widjaja Lin has worked for Max Planck Institute For Software Systems, University Of Kaiserslautern, Department Of Computer Science, University Of Oxford, Yale-Nus College, and Singapore University Of Technology And Design (Sutd).

Who are Anthony Widjaja Lin's colleagues at Max Planck Institute for Software Systems?

Anthony Widjaja Lin's colleagues at Max Planck Institute for Software Systems include Pascal Briehl, Alexandra Bugariu, Hasan Ferit Enişer, Emin Çelik, and Paulius Sasnauskas.

How can I contact Anthony Widjaja Lin?

You can use AeroLeads to view verified contact signals for Anthony Widjaja Lin at Max Planck Institute for Software Systems, including work email, phone, and LinkedIn data when available.

What schools did Anthony Widjaja Lin attend?

Anthony Widjaja Lin holds Phd, Informatics from University Of Edinburgh.

What skills is Anthony Widjaja Lin known for?

Anthony Widjaja Lin is listed with skills including Algorithms, Computer Science, Model Checking, Latex, Formal Verification, Matlab, Simulations, and Research.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.