Updates
awards
positions
publications
service
talks
teaching
I will be helping the CAV organizing committee this year to evaluate artifacts submitted in terms of ease of use, correctness, consistency, etc, and additionally serve as a subreviewer for a paper.
I will be helping the TACAS organizing committee this year to evaluate artifacts submitted in terms of ease of use, correctness, consistency, etc.
Spent 15 weeks as an applied scientist intern under Aaron Tomb in the Dafny Team (Dafny is really cool, check them out here, exploring and learning about program equivalence across different languages. It was an opportunity for me understand the internal encoding of program structures in an intermediate language, the challenges of comparison of these encoding on different languages, and leanr whole new languages on-the-go to deliver artifacts in this short time. It also helped me visulize hyperproperties in a practical setting.
Our paper describing the introduction of asynchronicity when specifying probabilistic hyperproperties got accepted in QEST 2023. We have utilised the advantages of smart sampling in statistical model checker PLASMA (https://ieeexplore.ieee.org/document/6976581) to find a scalable solution for probabilistic HyperLTL. I have worked on this with Stefan Schupp, Axel Legay, Ezio Bartocci, Miroslav Pajic, Yu Yang, and my advisor, Borzoo Bonakdarpour on this project.
Our paper describing the introduction of asynchronicity when specifying probabilistic hyperproperties got accepted in QEST 2023. We extend HyperPCTL with stutter schedulers which allows us to specify how we want to check for stuttering when verifying the rest of our specification. I have worked on this with Lina Gerlach, Dr. Ábrahám, Dr. Bartocci, and my advisor, Dr. Borzoo on this project.
I will be helping the QEST organising committee to evaluate artifacts submitted in terms of ease of use, correctness, consistency, etc.
I will be helping the PLDI organising committee to evaluate artifacts submitted in terms of ease of use, correctness, consistency, etc.
Our detailed journal paper on Model checking of Probabilistic hyperproperties got accepted in 2022 Special Issue of Information and Computing.
I’ll be spending the summer of 2023 as an intern in the AWS Dafny team in Seattle.
I passed my Ph.D comprehensive examination(online).
Spent 14 weeks as an applied scientist intern under Temesghen Kahsai in their Privacy Engineering Team, working on utilization of existing formal verification tools to argue about Data Residency in customer account setup. Learnt about the various application of formal verification at large scale projects in AWS.
I will be helping the QEST organising committee to evaluate artifacts submitted in terms of ease of use, correctness, etc.
I presented our research on addition of rewards to probabilistic hyperproperties at NFM 2022.
Slides: Probabilistic Hyperproperties with Rewards
Our paper describing the use of rewards when specifying probabilistic hyperproperties got accepted in NFM 2022. I have worked on this with Lukas Wilke, Dr. Ábrahám, Dr. Bartocci, and my advisor, Dr. Borzoo on this project.
I’ll be spending this summer as an applied scientist intern under Temesghen Kahsai in their Privacy Engineering Team in Amazon’s New York City office. I will additionally have Byron Cook as my mentor in this journey. I’m looking forward to learning and contributing to interesting projects. Yay!
I accepted an offer to volunteer in the SGWC program for the spring semester. I’ll joining others to teach coding to middle and high schools students in and around Lansing, MI.
Was able to attend Women’s Initiative for Leadership Development conference. Got new perpectives on intersectionality of identities, feminism in Islam, beating the imposter syndrome, and feminism as a whole.
I won a gold in Iowa Open ‘21 in Tier-B in women’s singles category. Lost in semis in mixed and doubles.
Our tool paper describing the working of HyperPROB got accepted in FM 2021. I have worked on this with Dr. Ábrahám, Dr. Bartocci, and my advisor, Dr. Borzoo.
I received a grant to attend the 33rd CAV conference to be held virtually in July’21.
Received a full scholarship (again!) to attend the Grace Hopper Celebration in Sept’21! Looking forward to spending days learning and networking, surrounded by talented women in computing.
I received admission to attend workshop by Galois to learn about incorporation of trustworthiness in Ml, AI, DS. The workshop had lectures on the challenges that come into when applying these technologies to safety critical, real-life case studies. We also got to do group projects on modified datasets to recognize bias or predict results.
I am honored to have been appointed to the Department Meeting Committee and Grad Studies Committee for the year Fall 2021- Spring 2022.
I received partial funding for summer, based on my research merit, nominated by my advisor.
I passed the WQE — one step closer to getting my PhD!
I presented our results on solving the parameter synthesis problem for probabilistic hyperproperties on DTMCs at LPAR 2020.
Slides: Parameter Synthesis for Probabilistic Hyperproperties
I presented our results on solving a fragment of model checking of probabilistic hyperproperties on MDPs at ATVA 2020.
Slides: Probabilistic Hyperproperties with Nondeterminism
I transferred to MSU to continue my PhD under my advisor Borzoo.
Our paper describing the verification algorithm of model checking of probabilistic hyperproperties on MDPs got accepted in ATVA 2020. I have worked on this with Dr. Ábrahám, Dr. Bartocci, and my advisor, Dr. Borzoo.
Our paper describing the solution to the parameter synthesis of DTMCs got accepted in LPAR 2020. Here, given probabilistic hyperproperties that must hold for the system, we try to find range of missing transition values in DTMCs. I have worked on this with Dr. Ábrahám, Dr. Bartocci, and my advisor, Dr. Borzoo.
I won a silver in Iowa Open ‘19 in Tier-B in women’s doubles category and a bronze in Tier-B in women’s singles category
Received a full scholarship to attend the Grace Hopper Celebration in Oct’19! Looking forward to spending days learning and networking, surrounded by talented women in computing.
⋮
May19
I spend the summer as a research assistant under Dr. Wei Le. I got interested in program analysis during her course. I explored Helium, found case studies, and tried testing them. Helium aims to create a minimum size executable C/C++ code to recreate a bug. I learnt about docker and other program analysis tools during this experience.
I won a gold in Nebraska Open ‘19 in Tier-B in women’s doubles category.