Sankha Narayan Guria

Nfrd

December 03, 2024

Received the New Faculty Research Development (NFRD) Award to work on combining formal methods based program synthesis with LLMs.