Bruno Schmitt
Senior Software Architect at NVIDIA
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolBruno Schmitt is a Senior Software Architect with 11 years of experience at the intersection of research and industry, currently driving architecture work at NVIDIA after a progression from senior engineer roles. He holds a computer engineering degree from UFRGS and is a long-running PhD researcher at EPFL, where he leads development of tweedledum, an open-source full-stack quantum compilation library used in projects like qiskit-terra. His background spans deep expertise in C/C++, Python, and performance-focused systems work, with notable contributions to flagship logic-synthesis projects such as Berkeley ABC and the mockturtle C++ library. Bruno’s work bridges quantum computing, logic synthesis, formal verification and CAD tools, combining low-level algorithmic innovation (e.g., FXCH in ABC) with production-quality engineering. He has a track record of integrating research code into major ecosystems (IBM Qiskit, Microsoft) and optimizing core solvers and data structures for real-world use.
11 years of coding experience
9 years of employment as a software developer
1 year exchange, Electrical Engineering, 1 year exchange, Electrical Engineering at Ecole nationale supérieure d'Electronique, Informatique et de Radiocommunications de BordeauxBachelor’s Degree, Computer Engineering, 8.9/10, Bachelor’s Degree, Computer Engineering, 8.9/10 at Pontifícia Universidade Católica do Rio Grande do Sul / PUCRSDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at EPFL (École polytechnique fédérale de Lausanne)Bachelor’s Degree, Computer Engineering, Bachelor’s Degree, Computer Engineering at Universidade Federal do Rio Grande do Sul / UFRGS
English, French, Portuguese
Github Skills (14)
c1710
algorithm10
synthesis10
data-structures10
algorithms10
c-language10
formal-verification10
synthesize10
c1110
cprogramming-language10
synth10
data-structure10
logic10
hashtable9
Programming languages (7)
Github contributions (5)
lsils/mockturtle
May 2019 - Mar 2022
C++ logic network library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 11 PRs, 7 pushes in 2 years 10 months
Contributions summary:Bruno primarily contributed to the `mockturtle` repository, which is a C++ logic network library. Their work focused on improving the library's functionality and efficiency. This includes fixing benchmark issues, optimizing XAG constant fanin, migrating to parallel_hashmap, and implementing a DIMACS reader for importing files. Additionally, the user implemented and tested a feature to duplicate the network.
logiccppc-plus-plus
berkeley-abc/abc
May 2016 - Feb 2018
ABC: System for Sequential Logic Synthesis and Formal Verification
Role in this project:Back-end Developer
Back-end DeveloperContributions:41 commits in 1 year 9 months
Contributions summary:Bruno implemented a new module, `FxchDiv.c`, within the ABC system, which focuses on the Fast eXtract with Cube Hashing (FXCH) algorithm. This involved creating functions for divisor handling, creation, and addition to a hash table. The user also addressed issues in the `FxchMan.c` and `FxchSCHashTable.c` files, including fixing issues related to divisor identification and optimizing memory usage. The commits demonstrate a focus on improving the functionality and efficiency of the logic synthesis and formal verification system.
edasynthesisformal-verificationformalabc
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.