Resume
Academic Achievements
- NSF Medium Award: 'Practical and Efficient Accelerators with High-Frequency Chiplets' ($1M)
- Amazon Research Award: 'Verification Constrained Hardware Optimization using Intelligent Design Agentic Programming' ($100K)
- Google Academic Award: 'Building and Evaluating Hardware Agents' ($100K)
- Selected publications:
- - 'HDLEval Benchmarking LLMs for Multiple HDLs' (ISLAD 2024)
- - 'RETROSPECTIVE: Power model validation through thermal measurements' (ISCA@50 Retrospective, 2023)
- - 'A Multi-threaded Fast Hardware Compiler for HDLs' (CC 2023)
- - 'Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation' (MICRO 2021)