Maciej Ciesielski

Activity: Hosting a visitorHosting an academic visitor

Description

Maciej Ciesielski from the University of Massachusetts, Amherst, USA visits us and gives a talk on "Functional Verification of Arithmetic Circuits: Survey of Formal Methods".
Period7 Jun 2023
Visiting fromUniversity of Massachusetts
Visitor degreeProfessor

Keywords

  • Quantum Computing