My research interest lies at the intersection of software engineering and formal methods, with a focus on improving software reliability through automated techniques such as program analysis and fuzzing. I am also drawn to foundational topics like SMT solving and mathematical optimization.
