Skip to main navigation
Skip to search
Skip to main content
Technical University of Munich Home
Help & FAQ
English
Deutsch
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Maciej Ciesielski
Wille, R.
(Host)
Chair of Design Automation
Activity
:
Hosting a visitor
›
Hosting 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".
Period
7 Jun 2023
Visiting from
University of Massachusetts
Visitor degree
Professor
Keywords
Quantum Computing