Minal Suresh Patil
Doctoral Candidate @ Umeå universitet • MSc from University College London
Hi, I’m Minal!
I am a Senior Scientist at Infor with a background in Computer Science. My work and research sit at the intersection of formal methods, explainable AI, and adversarial robustness, focusing on building trustworthy and verifiable machine learning systems.
At Infor, I help lead the architecture and development of AI/ML-enhanced solutions for Infor M3. I enjoy partnering with cross-functional teams to design, build, and scale cloud-native AI systems, while also helping to grow our internal AI capabilities and represent our initiatives.
During my doctoral studies and my time at Scania, I worked on AI-enabled toolchains for generating safety-critical automotive software. This involved combining large language models with formal verification to produce code that is functionally correct and compliant with rigorous industry standards like ISO-26262 and MISRA-C.
Ultimately, I love working at the boundary of research and engineering, especially on problems where correctness guarantees truly matter!