Brussels / 2 & 3 February 2019


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.



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