awards and honors

Awards Honors Fellowships and Grants

awards

  • CACM 2026 Research and Advances Article on Specification-Guided Reinforcement Learning, Feb. 2026, Vol. 69 No. 2
  • Amazon Research Award, 2025
  • Best Paper Award, ATVA 2023
  • 🥉 3rd Place, LTLf Realizability Track, SYNTCOMP 2023 (Tool: Lisa)
  • Thank-a-Teacher Certificate, Georgia Tech (presented by individual students)
    • CS 4510 (Automata and Complexity), Fall 2025
    • CS 8803 (Logic in Computer Science), Fall 2023
  • MIT EECS Rising Star, 2021, 2018
  • Future Faculty Fellow 2019, School of Engineering, Rice University
  • Rice Engineering Alumni Graduate Grant 2017 (awarded to one graduate student each year)
  • Gold Medal, ACM Student Research Competition at POPL 2016
  • Andrew Ladd Graduate Fellowship 2015, Rice CS Department and Ken Kennedy Institute
  • CMI Undergraduate Scholarship 2011–2014
  • KVPY Science Fellowship, Ministry of Science and Technology, Govt. of India, 2008

↑ Return to top

honors

  • Invited Tutorial European Joint Conferences on Theory and Practice of Software (ETAPS) 2025, May 2025
  • Keynote Foundations of Software Technology and Theoretical CS (FSTTCS) 2024, Dec. 2024
  • Keynote Static Analysis Symposium (SAS) 2022, Dec. 2022
  • Invited to NII Shonan Meeting on Frontiers of Formal Methods for Probabilistic Models and Programs, June 2026
  • Invited to Dagstuhl Seminar on Knowledge Compilation in AI, Databases, and Formal Methods, May 2026
  • Invited to Dagstuhl Seminar on Automated Synthesis: Functional, Reactive and Beyond, April 2024
  • Invited to Dagstuhl Seminar on Scalable Analysis of Probabilistic Models and Programs, June 2023
  • Invited to Simons Institute for program on Real-Time Decision Making, Spring 2018
  • Invited to Google Student Research Summit 2017, Sept. 2017
  • Invited to Dagstuhl Seminar on Game Theory, AI, Logic and Algorithms, March 2017
  • Invited to MSR Faculty Summit 2016, July 2016

↑ Return to top

fellowships and grants

  • Amazon Research Award 2025
    PI: Suguman Bansal — USD 40,000 (Cash) + USD 20,000 (AWS Credits)

  • IIT-Bombay/GaTech Collaboration, Jan. 2024 – Dec. 2024
    PI: S. Akshay, Suguman Bansal — INR 1,000,000 (~USD 12,000)

  • CRA/NSF Computing Innovation Fellow Award, Sept. 2020 – Aug. 2022
    PI: Rajeev Alur — USD 240,910

↑ Return to top

travel grants

AAAI Scholarship (2020), SIGPLAN PAC Travel Grant POPL (2020), CAV Student Travel Fellowship (2019), Rice Dean’s Travel Award (2019), MIT EECS Rising Stars Travel Grant (2018), NSF-CAV/VMW Travel Grant (2015, 2018), ETAPS Student Scholarship (2018), Google Student Research Summit Travel Grant (2017), CRA-W Grad Cohort Graduate Grant (2017), ACM SRC (POPL) Travel Grant (2016), MSR Faculty Summit Travel Grant (2016), Off The Beaten Track Travel Grant (2016), MSR Summer School Travel Grant (2012)

↑ Return to top