Wolfgang Ahrendt

Summary

Wolfgang Ahrendt is a human^[1]. He worked as a computer scientist^[2].

Key Facts

• Wolfgang Ahrendt's professions included computer scientist^[2].
• Wolfgang Ahrendt's field of work was formal methods^[3].
• Among Wolfgang Ahrendt's employers was Chalmers University of Technology^[4].
• Wolfgang Ahrendt's doctoral advisor was Reiner Hähnle^[5].
• Wolfgang Ahrendt is recorded as male^[6].
• Wolfgang Ahrendt's instance of is recorded as human^[7].
• Wolfgang Ahrendt supervised Philipp Rümmer as a doctoral student^[8].
• Wolfgang Ahrendt's family name is recorded as Ahrendt^[9].
• Wolfgang Ahrendt's given name is recorded as Wolfgang^[10].
• Wolfgang Ahrendt's official website is recorded as https://www.cse.chalmers.se/~ahrendt/^[11].
• Wolfgang Ahrendt's curriculum vitae URL is recorded as https://www.cse.chalmers.se/~ahrendt/cv.pdf^[12].

Body

Education

Wolfgang Ahrendt's doctoral advisor was Reiner Hähnle^[5].

Career and Affiliations

Wolfgang Ahrendt worked as a computer scientist^[2]. His field of work was formal methods^[3]. He was employed by Chalmers University of Technology^[4]. He supervised Philipp Rümmer as a doctoral student^[8].

FAQs

What did Wolfgang Ahrendt do for work?

Wolfgang Ahrendt worked as computer scientist^[2].