Talks and presentations

Scalable Optimal Layout Synthesis for NISQ Quantum Processors

July 11, 2023

Talk, ACM/IEEE Design Automation Conference (DAC), San Francisco

More information here

Language Equation Solving via Boolean Automata Manipulation

November 02, 2022

Talk, IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Diego

More information here

Language Equation Solving via Boolean Automata Manipulation

July 21, 2022

Talk, 31st International Workshop on Logic & Synthesis (IWLS), Virtual

More information here

Domain-Specific Quantum Architecture Optimizations

June 07, 2022

Talk, Center for Domain Specific Computing Annual Review, Los Angeles CA, USA