Currently a lecturer at Mount Holyoke College since 2021. PhD student in Formal Methods and Software Engineering with 5 years of research exposure in symbolic model checking. 2 years of industrial experience in application development for financial technologies. Conceptualized time- & cost-effective methods into working implementations to elevate performance of model checking algorithms. Self-taught programming languages and built utility projects to keep pace with latest developments.