Formal Methods and Tools

UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsAkshay Dhonthi will defend his thesis on Monday 7 July, 16:45

Akshay Dhonthi will defend his thesis on Monday 7 July, 16:45

Previous article Next article

Friday 4 July 2025

See: PhD Defence Akshay Dhonthi Ramesh Babu | Safe Journeys | Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous Vehicles

More recent news

Suggestions