News

2025VeriGen received the Best Paper Award from ACM TODAES
2025Serving on Program Committee for AAAI 2025, AI for Social Impact Track
2024Serving on Program Committee for WiML 2024, EMNLP 2024 (MRL Workshop)
2024Our paper VeriGen accepted in ACM TODAES
2023Two papers on bug fixing and assertion generation using LLMs accepted in IEEE TIFS
2023Nominated for Best Paper Award — Benchmarking LLMs for Verilog RTL generation, DATE 2023
2023Invited Reviewer for WiCV at ICCV 2023, AAAI 2023
2022Post-Doctoral Fellowship in the NSF National AI Institute for Edge Computing (Athena)

Selected Talks


In the Media


Service