Akshay Dhonthi
Data And AI Specialist
Germany
Summary
👤
Senior🎓
Top SchoolAkshay Dhonthi is a Data and AI specialist and research engineer with 8 years of experience, currently advancing verifiable AI initiatives at AUDI AG after leading formal safety assurance and predictive maintenance efforts as a PhD researcher. He works at the intersection of AI and formal methods, designing scalable tools and testing approaches to ensure safety and security of automated driving and robotic systems. Previously a visiting researcher at Bosch CAI, he applied formal methods to optimize robot trajectories and has hands-on robotics experience building ROS-based autonomous navigation stacks. Trained in AI and Robotics (MSc, Sapienza) and pursuing a PhD in AI safety and formal verification at University of Twente, he blends academic rigor with industry delivery across automotive and robotics domains. An understated strength is his ability to translate formal verification techniques into practical testing workflows for large-scale, safety-critical AI deployments.
8 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD AI Safety and Security | Formal Verification, Doctor of Philosophy - PhD AI Safety and Security | Formal Verification at University of TwenteMaster's degree Artificial Intelligence and Robotics, Master's degree Artificial Intelligence and Robotics at Sapienza Università di RomaBachelor of Engineering Robotics and Automation Engineering, Bachelor of Engineering Robotics and Automation Engineering at KLE Technological University - Hubballi (India)
English, Italian, GermanProgramming languages (3)
Github contributions (5)
WAGIS/wap_plugin
Dec 2020 - Feb 2022
Contributions:1 release, 35 reviews, 69 commits in 1 year 3 months
akshaydr/python_basics
Apr 2018 - Apr 2018
Contributions:17 commits, 13 pushes, 1 branch in 4 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.