Ismail Patel

I launch big projects—now focused on seeing them through. Research Assistant @ KeYmaera X. Building UniPod and more. Interested in SMT solvers, ML, and AI.