Research Interests and Activities

If you are interested in collaborating with me on one (or more) of the topics below, feel free to email me.

Accelerating logic computing

• Efficient & scalable logic representation forms, with associated manipulation algorithms, e.g., majority and biconditional logic.
• Pushing further the limits of exact optimization.
• SAT solving for application-specific domains.
• Hardware acceleration for SAT.

Beyond CMOS design & exploration

• Native logic abstractions for designing circuits in emerging nanotechnologies.
• Models and algorithms for ReRAM based in-memory computing.
• Verification and synthesis of reversible circuits with application to quantum computing.
• Transistor-level design of logic gates with double-gate controllable polarity devices.
• Spin-wave based logic computing.

Electronic design automation

• Logic synthesis: general interest, and research, on state-of-the-art academic & industrial topics.
• Equivalence checking: general interest, and research, on state-of-the-art academic & industrial topics.

Emerging applications of logic manipulation tools

• Data compression via logic synthesis.
• Public key cryptography based on circuit abstraction of binary data.
• Support of complex and large scale design tasks, e.g., cyber-physical systems.
• Circuit lower bounds.