Anthony Lin (University of Kaiserslautern).png

Anthony Lin

University of Kaiserslautern
2021 Amazon Research Award
Certified Solvers and Proof Checkers forString Constraints