Scalable Data-Driven Abstractions
Generating scalable abstractions of uncertain stochastic systems efficiently — pivotal for safe, trustworthy embodied AI, with mathematical error quantification for model checking.

My personal motto is “it's about becoming the best version of yourself.” Great goals come with great effort — and while people would describe me as sociable and curious, my most valuable skill is perseverance: never settling for less.

















Hover or tap a dot to see what happened there.
When I think about what adds the most value to my life, it's the friends and family I'm blessed with — spending time with different people, having fun, and writing memories.






Open to collaborations, talks, and questions on safe autonomy and formal methods.