Minal Suresh Patil

Hi, I’m Minal.

I’m a Senior Scientist at Infor, leading AI/ML for Infor M3.

Before this, at TRATON, I built AI toolchains that paired large language models with formal verification to generate, test, and verify safety-critical automotive code under standards like ISO 26262.

I like working where research meets engineering, especially when correctness matters.