Guest staff

A. Dhonthi Ramesh Babu MSc (Akshay)

PhD Candidate (Guest)
EEMCS-CS-FMT
a.dhonthirameshbabu@utwente.nl
Business card

I am a research engineer at AUDI AG working on the Audi Verifiable AI (AVAI) as well as the BMWi KARLI projects. My focus currently lies at the intersection of AI and formal methods, particularly on developing scalable methods and tools for the safety and security testing of AI functions. Prior to that, I was a visiting researcher at the Bosch center for AI in Renningen, focusing on using formal methods to find optimal robot trajectories. I hold a Masterā€™s degree in Artificial Intelligence and Robotics from Sapienza University of Rome, Italy.

Expertise

  • Computer Science

    • Neural Network
    • Backdoors
    • Deep Neural Network
    • Logic Constraint
    • Network Security
    • Robot
    • Temporal Logic
    • temporal property

Organisations

Publications

2024

AGNES: Abstraction-Guided Framework forĀ Deep Neural Networks Security (2024)In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings (pp. 124-138) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). Springer. Dhonthi Ramesh Babu, A., Eiermann, M., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-50521-8_6

2023

Backdoor Mitigation inĀ Deep Neural Networks viaĀ Strategic Retraining (2023)In Formal Methods - 25th International Symposium, FM 2023, Proceedings (pp. 635-647) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14000 LNCS). Springer. Dhonthi Ramesh Babu, A., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-27481-7_37

2022

Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints (2022)In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022 (pp. 1255-1262) (IEEE International Conference on Intelligent Robots and Systems; Vol. 2022-October). IEEE. Dhonthi Ramesh Babu, A., Schillinger, P., Rozo, L. & Nardi, D.https://doi.org/10.1109/IROS47612.2022.9981384

Research profiles

Scan the QR code or
Download vCard