I work on the design of power-efficient interconnection systems for heterogeneous multi-core Systems-on-Chip.
As I target efficient semi-custom design implementations, I focus on constraint-driven communication synthesis techniques and correct-by-construction design methodologies.
I am a post-doctoral researcher at the System-Level research group (SLD) at Computer Science Department of the Columbia University in the city of New York.
Computer Science Department 467 Computer Science Building, 1214 Amsterdam Avenue, New York, NY 10027-7003
