Wolfgang Ahrendt
Professor
Chalmers University of Technology
Research Interests
Explore related searches
Contact this professor
About
Wolfgang Ahrendt is a Professor at Chalmers University of Technology in Sweden. His research areas include formal methods, automated reasoning, and software verification, particularly as applied to autonomous driving systems. He has contributed to various significant publications, including those focused on testing and proof techniques, unsafe controllers, and formal developments using differential dynamic logic.
Articles (5)
Collaborators (4)
Martin Fabian
Professor
Chalmers tekniska högskola
SWEDEN
Eva Darulova
Uppsala University
SWEDEN
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg
GERMANY
Frédéric Loulergue
Professeur
Université d'Orléans
FRANCE
How do I reach out?
Sign in for free to see their profile details and contact information.