Awards & Honors

For the thesis "Technology Mapping and Optimization Algorithms for Logic Synthesis of Advanced Technologies".

"Practical Boolean Decomposition for Delay-driven LUT Mapping"

"Area-Oriented Resubstitution For Networks of Look-Up Tables"

Granted to individuals with an extraordinary ability in the sciences.

"Synthesis of SFQ Circuits with Compound Gates"

Synthesis of small circuits for completely-specified multi-output Boolean functions represented using truth tables

"Direct Model-checking of SysML Models"

"From Logic to Gates: A Versatile Mapping Approach to Restructure Logic"

Doctoral fellowship from the EDIC doctoral program.