Expanders Learning Seminar, a collaborative event between the Mathematics Department (the Operator Algebras/Functional Analysis group) and the Computer Science Department (the BARC group).
Tuesday, 26 November 2019, Daniela Kaufmann, PhD student at the Institute for Formal Models and Verification, Johannes Kepler University, Austria, will give a talk on "Combining SAT and Computer Algebra to successfully verify Large Multiplier Circuits".
