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!
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 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.
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.
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.
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. :)
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!
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 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.
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 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 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.