News
- September 30, 2022Tutorial on Specification-Guided Reinforcement Learning accepted to AAAI 2023. To be co-presented with Rajeev Alur, Osbert Bastani, and Kishor Jothimurugan.
- September 5, 2022New paper accepted at VSTTE 2022.
- July - Aug, 2022FLoC time of the year. Excited to share plenty of new work!
- July 24, 2022Roberto Cipollone will present our work on Compositional RL from Logical Specifications at PRL@IJCAI as none of the authors could make it to the workshop. Thank you, Roberto!
- June 26, 2022Informally accepted Tenure-Track Assistant Professor position in the School of Computing at Georgia Insititute of Technology. The job market has concluded! :)
- June 6, 2022I am the Round-Table Host on "Safe Reinforcement Learning" at WOLVERINE at FLoC 2022. Do attend if you want to learn about the cutting edge reserach at the intersection of Formal Methods and Reinforcement Learning.
- April 30, 2022New CAV Paper! Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to CAV 2022. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- Jan - June, 2022Academic Job Market 2022. Application Materials: Research Statement | Resume | Teaching Statement | Diversity Statement
- December 9, 2021Paper on Compositional Reinforcement Learning from Logical Specifications appears at NeurIPS 2021 today. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- December 1, 2021Paper on On Synthesis from Satisficing and Temporal Goals has been accepted to appear at AAAI 2022. This is joint work with Lydia Kavraki, Moshe Y. Vardi, and Andrew Wells. [10-mins Talk Video]
- October 19, 2021Paper on Specification-Guided Learning of Nash Equilibria with High Social Welfare has been accepted to appear at SafeRL 2021 at NeurIPS 2021
- October 5, 2021Invited Speaker at the prestigious IARCS Verification Seminar Series. [Talk Details] [60-mins Talk Video]
- September 28, 2021Compositional Reinforcement Learning from Logical Specifications has been accepted to NeurIPS 2021. This is joint work with Kishor Jothimurugan, Osbert Bastani, and Rajeev Alur.
- September 20, 2021Presenting Invited Talk on "Towards designing intelligent machines via reactive synthesis" at Continuity, Computability, Constructivity: From Logic to Algorithms 2021
- September 15, 2021Presenting "Synthesis from Temporal and Satisficing Goals" at Highlights of Logic, Games, and Automata 2021 [10-mins Talk Video].
- July 20, 2021Presenting Adapting Behaviors via Reactive Synthesis at CAV 2021.
- July 19, 2021Presenting "Compositional Reinforcement Learning from Logical Specifications" at SYNT 2021 at CAV 2021.
- July 18-19, 2021Co-ogamizing Verification Mentoring Workshop at CAV 2021.
- June 17, 2021Excited to share that "Compositional Reinforcement Learning from Logical Specifications " will appear at SYNT 2021 at CAV 2021! Check out the Extended Abstract and Long Paper.
- April 17, 2021New paper alert!! Paper on "Adapting Behaviors via Reactive Synthesis" has been accepted at CAV 2021. Always excited to return to CAV!
- April 1, 2021TACAS slides and talk video out now! These summarize our work on "On Satisficing in Quantitative Games"
- February 2021I am co-organizing the Verification Mentoring Workshop at CAV 2021. Six years ago VMW@CAV2015 was my gateway to the magnficient Formal Methods community. Life seems to have come a full circle. :)
- January, 2021I am serving on the Program Committee of SYNT 2021 and LAMAS+SR 2021. Small and intimtae workshops are a great way to showcase work to domain experts. Do consider submitting work to these workshops!
- December 23, 2020Ending the tumultous year with some good news. Paper titled "On Satisficing of Quantitative Games" has been accepted to TACAS 2021. This is joint work with Krishnendu Chatterjee and Moshe Y. Vardi
- October 26, 2020I am serving on the program committee of IJCAI 2021. Can't wait to read your best submissions to IJCAI!
- September 14, 2020Honored to be in the cohort of Computing Innovation Fellows 2020. Thank you Computing Research Association and the NSF for their generous support.
Official annoucement.
- August 8, 2020Bidding farewell to Houston to move to Philladelphia today. Damn, this is harder than I had imagined... Philly, you better put on your best version. :).
- July 3, 2020Extended abstract on my Dissertation has been accepted to appear at Highlights in Logic, Games and Automata 2020.
- July 1, 2020Big News! Moved to CIS@UPenn.
Excited to start as a Postdoctoral Researcher with Prof. Rajeev Alur.
- June 22, 2020Submitted my PhD. Thesis. This marks the end of an epic era.
I am deeply grateful to all who were on this journey with me. Read my acknowledgement here.
- May 8, 2020Successfully defended my Ph.D. Dissertation "Automata-Based Quantitative Reasoning" under the most unusual circumstances -- from my dining table over a remote talk in a BYO Beverage/Food session!
My advisor Moshe Vardi said I did an "outstanding job"! Could I have asked for anything more?
- April 24, 2020PhD Dissertation defense official annoucement is out today. The finish line is near!!!
- March 14, 2020Had been practicing social distancing for the past few weeks. Officially beginning strict Stay-at-home today. This is the beginning of the end of the world as we had come to know it. Hoping that we'll create a better world once we are out of the pandemic. Yup, that is my birthday wish for this year. :)
- Jan.-Feb. 2020Busy few days ahead. Pardon me if I loose track of where I am. :P
- January 14-15. Visiting U Penn. Hosted by Prof. Rajeev Alur. Talking about "Automata-based quantiative reasoning"
- January 22-24. Attending POPL 2020. I will present "Synthesis of coordination programs from linear temporal logic" (Paper). This is joint work with Kedar S. Namjoshi and Yaniv Sa'ar.
- February 3-5. Visiting UT Austin. Hosted by Prof. Ufuk Topcu. Talking about "Designing intelligent systems via reactive synthesis".
- February 7. Visiting Nokia Bell Labs, Murray Hill. Always a pleasue to be back.
- February 8-12. Attending AAAI 2020. I will present "Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications" (Paper). This is joint work with Yong Li, Lucas M. Tabajara, and Moshe Y. Vardi
- November 25-29, 2019Had a great week in Marta Kwiatkowska's group at the University of Oxford. Thank you for the wonderful visit!
Talked about "Automata-based quantiative verification".
- November 10, 2019Paper accepted at AAAI 2020! First paper at an AI venue. AI, here I come! Our paper presents the a new approach for syntheis of reactive systems from temporal logic over finite traces. This is joint work with Yong Li, Lucas M. Tabajara and Moshe Y. Vardi.
- November 5, 2019Awarded the ACM Artifact Evaluated Badge - Functional for our prototype tool for Coordination synthesis presented in our POPL 2020 paper.
- October 9, 2019Elated that our paper on "Synthesis of coordination programs from linear temporal logic" with Kedar S. Namjoshi and Yaniv Sa'ar has been conditionally accepted to POPL 2020.
- August 20, 2019Awarded the Rice School of Engineering Future Faculty Fellow. Thank you, SoE!
- July 13-18, 2019Returning to NYC to present my research at CAV 2019:
See you at the talks!
- June 3, 2019Paper titled "Coodination synthesis" accepted to SYNT 2019. This is joint work with Kedar S. Namjoshi and Yaniv Sa'ar.
- April 25, 2019Visiting the Department of Computer Science - IIT Delhi today. Thank you Sanjiva Prasasd for hosting me!
Talk title: Designing intelligent systems via reactive synthesis
- April 16, 2019Paper titled "Safety and co-safety comparators for discounted-sum inclusion" has been accepted to CAV 2019. This is joint work with Moshe Y. Vardi.
Can't wait to return to CAV!
- April 15, 2019Visiting the School of Computing at NUS, Singapore today. Thank you Wei Ngan for hosting me!
Talk title: Designing intelligent systems via reactive synthesis
- March 25, 2019Journal version of "Comparator automata for quantitative verification" has been accepted for publication in Logical Methods in Computer Science. This is joint work with Swarat Chaudhuri and Moshe Y. Vardi.
- October 28-30, 2018Attending the MIT EECS Rising Stars Workshop 2018. It brings together the brightest and most inspiring rising women computer scientists for a phenomenal mentoring workshop. Honored to be in this cohort of rising stars.
- July 14-17, 2018Attending CAV 2018 at FLoC 2018 in Oxford, UK. I will be presenting my papers on asyncrhonous syntheis with Kedar S. Namjoshi and Yaniv Sa'ar on July 14, and empirical evaluation of comparator-based and traditional approches for quantititative verification with Swarat Chaudhuri and Moshe Y. Vardi on July 17. Drop by the talks!
- June 4 - July 6, 2018Back to Bell Labs for the summer.
- April 14-20, 2018Attending ETAPS 2018. Presenting paper on a symbolic technique for quantitative verification - Comparators co-authored with Swarat Chaudhuri and Moshe Y. Vardi at FoSSaCS 2018.
- April 11, 2018Priviledged to talk about my research at IST Austria.
- March 31, 2018What is better than one paper at CAV? Two papers at CAV!
Excited to share that two of my papers have been accepted for publication at CAV 2018.
- Work on in-practice performance of comparator-based algorithms vs traditional algorithms with Swarat Chaudhuri and Moshe Y. Vardi.
- Work on asynchronous synthesis with Kedar S. Namjoshi and Yaniv Sa'ar.
- March 25, 2018Spending the rest of the semester at Simons Institute, UC Berkeley. Already loving it. <3
- March 7, 2018Who is the new Ph.D Candidate in town? Passed my qualifying exam!
- December 22, 2017My work on Comparators with Swarat Chaudhuri and Moshe Vardi has been accepted for publication at FoSSaCS 2018. Great way to begin the winter holidays. :)
- December 17-21, 2017Wrapping up the year with a visit to IIAS, Jerusalem. Attending the 2nd Winter School on Computer Science and Engineering in Formal Verification.
- September 19-21, 2017Invited to attend and speak at the first ever Google Student Research Summit. My talk on "Reasoning about Incentive Compatibility" was well received.
- June-August, 2017Spending the summer interning at NOKIA-Bell Labs with Kedar Namjoshi. Was so much fun!
- March 17, 2017Gave an impromptu talk on Comparators at Saarland University. Feeling researchy!
- March 12 - 17, 2017My first ever Dagstuhl! Attending the Dagsthul seminar on Games in AI, Logic and Algorithms.
- December 15, 2016Selected to attend CRA-W Grad Cohort. Looking forward to it!
- September 15, 2016Officially a Master now. Submitted my Master's thesis.
- July 13, 2016Doesn't get better than the MSR Faculty Summit 2016: Visiting MSR Redmond -- the Mecca for computer scientist, research showcase by the best researchers from all over the world, and inspiring talks by revolutionary leaders of CS.
- June 22, 2016The big day has arrived! Headed home for my brother's wedding.
- June 2, 2016Summer travel begins! Visiting New York over the weekend.
- April 27, 2016Been invited to the MSR Faculty Summit 2016. Feeling honored and excited!
- April 6, 2016Successfully defended my Masters!
Masters Thesis Title: Algorithmic analysis of Regular repeated games
- March 1, 2016Last week consisted of a paper submission to EC 16, three paper reviews, two course examinations, two course assignments, and one assignment grading only. And I thought post-submission will be free. :D
- January 24, 2016Disney World! Dreams do come true. :)
- January 23, 2016Acheivement unlocked. Gave my first talk outside Rice at Off the Beaten Track at POPL 2016. Talk was on Chanakya: Computer-Aided Strategic Reasoning.
- January 22, 2016My poster Reasoning about Incentive Compatibility has won the Gold Medal at the ACM Student Research Competition at POPL 2016. Yay!
- January 19, 2016POPLing for the rest of the week. I am on a mission this time. Presenting
- December 29, 2015My poster titled Reasoning about Incentive Compatibility has been accepted to appear at Student Research Competition at POPL 2016. See you at the competition!
- December 2, 2015Our paper titled Chanakya: Computer-Aided Strategic Reasoning has been accepted to appear at Off the Beaten Track 2016 at POPL 2016. First paper acceptance!
- November 30, 2015Submitted an extended abstract to Student Reseach Competition at POPL 2016. Fingers crossed!
- November 17, 2015Submitted a paper to AAMAS 16.
- November 12, 2015Saw a glimpse of grad school in a single day! Received a fellowship, did some research work, some TA duties, attended a great colloquium talk, met friends at the Diwali celebration, and a paper rejection. So many emotions!
- November 12, 2015First paper, first rejection. Such is research. :(
- November 12, 2015Received the Andrew Ladd Graduate Fellowship from Rice CS Department and the Ken Kennedy Institute. Such an honor! :)
- November 9, 2015Submitted a paper to OBT 16 at POPL 16.
- October 28, 2015The affair of surprises and shocks with Rebuttals has begun. Last thing I expected reviews to be was amusing! :D
- October 19, 2015Gave my first research talk on "Computer-Aided Strategic Reasoning". Slides can be found here.
- October 14, 2015Updated my webpage. Was long overdue. :)
- September 15, 2015Submitted my first paper to AAAI 2016!
- August 23, 2015Back to Houston! Was a memorable summer. Enough fun, now let us get some work done!
- August 21, 2015Last stop: Frankfurt.
- August 18, 2015Vacation stop two: Meeting with my best friend for three days, after three years, in Europe's most beautiful city - Prague! Whatta reunion ;)
- August 16, 2015Vacation begins, finally! Exploring Munich, today and tomorrow.
- August 3, 2015Chapter Germany of Summer-15 begins! Spending the next two weeks in the Bavarian countryside participating in Marktoberdorf Summer School.
- July 18, 2015
All news…
