Minal Suresh Patil is a PhD student at Umeå universitet, focusing on the intersection of formal methods, verification, and software engineering to enhance the reliability of AI-enabled software systems. Their research is conducted in collaboration with Sweden's Wallenberg AI, Autonomous Systems and Software Program (WASP) and the Knut and Alice Wallenberg Foundation (KAW). Previously, they served as a Senior Scientist at Infor and held positions as a Senior Machine Learning Engineer at Scania Group, a Research Intern at Virgin Media, and a Navigation Guidance Engineer at Sensus Labs. Minal is proficient in programming languages including C++, Python, OCaml, and Rust, and utilizes various verification tools and frameworks such as Lean, Coq, PyTorch, TensorFlow, and OpenAI Gym.
Location
Stockholm, Sweden
This person is not in the org chart
This person is not in any teams
This person is not in any offices