news
| Aug 28, 2026 | We are looking for a good PhD student to join our group to work on topics broadly related to Trustworthy AI: Guardrailing AI and Formal Methods for AI. See details. |
|---|---|
| Aug 16, 2026 | Congratulations to both our PhD students, Vyshnavi and Varsha for being selected for the prestigious TCS Research Fellowship 2026. |
| May 29, 2026 | Liquify Your Programs, accepted for presentation at SYNT ‘26, co-located with CAV ‘26. Congrats Rajarshi! |
| Apr 22, 2026 | Liquid Tree Automata accepted to appear at CAV 2026. |
| Apr 17, 2026 | Recent Talk on Refinement Types at LeanLang Hackathon by Emergence AI India. |