I'm a software engineer and researcher with a PhD in Computer Science from UW Madison, and I'm obsessed with building systems that make code more trustworthy, interpretable, and accessible. My focus lies at the intersection of formal methods and machine learning, where I have developed novel solutions for static analyses, program synthesis, and neurosymbolic reasoning.I have a deep interest in the development of programming languages and compiler design, with previous experience working on probabilistic logic programming languages and AI-driven code generation and deployment. My mission is to continue pushing the boundaries of software engineering by integrating cutting-edge research with real-world applications to empower others to create and trust the software that shapes our world.