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