Katalin Fazekas receives Hertha Firnberg Fellowship
Tuesday, Jun 29, 2021Katalin Fazekas received a Hertha Firnberg Fellowship and will (re-)join FORSYTE to perform research on Incremental SAT and SMT Reasoning for Scalable Verification. Congratulations!