About me

I am a Doctoral Candidate in the department of Computer and Communication Sciences at the Swiss Federal Institute of Technology of Lausanne (EPFL). My research interests include design automation, logic synthesis, and emerging technologies.

In my research, I focus on developing innovative algorithms and data structures that enhance the power, performance, and area (PPA) metric of digital circuits. My primary areas of investigation revolve around logic synthesis and technology mapping for ASICs and FPGAs. Additionally, I explore synthesis methods for new emerging technologies with unique constraints, distinct from CMOS. As a promising class of beyond-CMOS technologies, I concentrate on two families of superconducting electronics: Rapid Single-Flux Quantum (RSFQ) and the Adiabatic Quantum-Flux Parametron (AQFP). These technologies offer exceptionally low power consumption while operating at speeds of tens of gigahertz.

By pushing the boundaries of design automation and harnessing the potential of emerging technologies, I strive to contribute to advancements in the efficiency and performance of digital circuits.

Most of my work has been open-sourced and is available in the logic synthesis library Mockturtle.

I am a maintainer of the EPFL Combinational Benchmark Suite and its associated contest. The best results from the contest are presented annually at the International Workshop on Logic & Synthesis.