Teaching
Lecturer
Theory of Automata and Formal Languages
- Fall 2024
- Spring 2024
co-teaching with Prof. Izadi
Projects
TCompos: Bidirectional Reasoning for Timed Safety Property Verification
TCompos is an open-source tool for compositional verification of timed automata. The tool, designed for timed safety properties, introduces a novel compositional framework that alleviates the limitations of the existing frameworks by leveraging both forward and backward analysis techniques, paving the way for more efficient verification of systems, and to verify systems that were previously considered infeasible. The tool builds upon the tool TChecker by incorporating the new algorithm alongside the existing ones, enabaling comparisons to evaluate peformance, accuracy, and efficiency.
Commitment to an Inclusive Community
Through my years as a graduate student and subsequently as an early-career instructor, my interaction with the student community has been notably extensive, primarily facilitated by my involvement in numerous courses and my role as the head of the student association. It has gradually deepened my understanding of the vital importance of an all-inclusive environment, where everyone feels supported and valued. I firmly believe in creating a learning environment where every student, especially the younger generation grappling with self-doubts, feels accepted and part of the community.Campus life beyond the classroom is of vital importance too, and our efforts in the student association has always encompassed concerns regarding the dormitory conditions, campus safety (particularly for women), and making facilities more accessible to all students. Though we've come a long way, there is still a great deal left to accomplish.
Transitioning out of this phase of my life and focusing more on my research and teaching responsibilities has made me increasingly aware of my growing detachment from the day-to-day concerns and evolving challenges faced by the student community. If you share similar concerns or face such issues yourself, as an undergraduate, graduate, or member of student organizations, please feel free to reach out to me for support, whether personal, academic, or otherwise.