Bruno Schmitt
I received a computer engineering degree from the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil, in 2017. I have worked as a visiting researcher in logic synthesis and verification group of Prof. Robert K. Brayton at UC Berkeley, where I contributed to the development of ABC, a tool logic synthesis and verification. Today, I am a second-year Ph.D. student at the École Polytechnique Fédérale de Lausanne (EPFL), where I received a fellowship from the School of Computer and Communication Sciences, and I am developing two open source libraries for quantum compilation (e.g., tweedledee and tweedledum). My primary research interests include quantum computing, logic synthesis and verification, CAD tools and SAT solvers.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Design Automation in Wonderland The EPFL Logic Synthesis Libraries |
Sunday | AW1.125 | CAD and Open Hardware | 11:00 | 11:25 |