Katalin Fazekas receives Amazon Research Award
Friday, May 29, 2026We’re proud to announce that Katalin Fazekas received an Amazon Research Award for her research on Improved Passing of Assertion Stacks to SAT in Incremental SMT Solvers.
We’re proud to announce that Katalin Fazekas received an Amazon Research Award for her research on Improved Passing of Assertion Stacks to SAT in Incremental SMT Solvers.