APLAS 2019 (series) / Anthony Widjaja Lin
Registered user since Tue 18 Aug 2015
Name:Anthony Widjaja Lin
Country:Germany
Affiliation:Technische Universität Kaiserslautern
Personal website: https://anthonywlin.github.io/
Research interests:Automated reasoning, program verification, program optimization
Contributions
2019
APLAS
- Session Chair of Keynote 3 (part of Keynote Talks)
- Word Equations with Length Constraints and Presburger Arithmetic with Divisibility
- PC Chair in Organizing Committee
- Chair in Program Committee within the Research Papers-track
- PC Chair in Organizing Committee within the Research Papers-track
- Session Chair of Keynote 1 (part of Keynote Talks)
- Session Chair of Keynote 2 (part of Keynote Talks)
APLAS 2019-profile
View general profile
View general profile