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 ORCID iD is recorded as 0000-0002-5671-2555^[9].
• Wolfgang Ahrendt's Mathematics Genealogy Project ID is recorded as 102651^[10].
• Wolfgang Ahrendt's family name is recorded as Ahrendt^[11].
• Wolfgang Ahrendt's given name is recorded as Wolfgang^[12].
• Wolfgang Ahrendt's official website is recorded as https://www.cse.chalmers.se/~ahrendt/^[13].
• Wolfgang Ahrendt's ACM Digital Library author ID is recorded as 81100217364^[14].
• Wolfgang Ahrendt's Google Scholar author ID is recorded as rFuqP-8AAAAJ^[15].
• Wolfgang Ahrendt's ResearchGate profile ID is recorded as Wolfgang-Ahrendt^[16].
• Wolfgang Ahrendt's DBLP author ID is recorded as 91/1275^[17].
• Wolfgang Ahrendt's MR Author ID is recorded as 643288^[18].
• Wolfgang Ahrendt's IEEE Xplore author ID is recorded as 37086527830^[19].
• Wolfgang Ahrendt's curriculum vitae URL is recorded as https://www.cse.chalmers.se/~ahrendt/cv.pdf^[20].
• Wolfgang Ahrendt's Yale LUX ID is recorded as person/899936bd-38a8-4cfc-a665-107923a03a3b^[21].

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].