Directory

Researcher and designer with a background in Information Science from Cornell University, focused on creating user-centered solutions that transform ideas into impactful outcomes.

Monday-Thursday in office; Friday remote

My research focus on large-scale constraint-based reasoning, optimization, and machine learning. Existing methods often struggle to scale up to large real-world problems that involve physics, hard constraints, and complex decision-making processes. The goal of my research is to solve concrete real-world applications, focusing on integrating reasoning-based traditional method and data-driven ML to address core questions in computational sustainability, including large-scale fishing portfolio optimization, species distribution modelling, and material discovery.

I am a senior scientist at Cornell University, working on research in programming languages and synthesis/verification, with applications in domains such as networking and (distributed) systems. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.