Bernhard Beckert

Summary

Bernhard Beckert is a human^[1]. He worked as a computer scientist^[2].

Key Facts

• Bernhard Beckert worked as a computer scientist^[2].
• Bernhard Beckert's field of work was artificial intelligence^[3].
• Bernhard Beckert's field of work was formal methods^[4].
• Bernhard Beckert's education included a stint at University of Karlsruhe^[5].
• Bernhard Beckert's doctoral advisor was Peter Hans Schmitt^[6].
• Bernhard Beckert's doctoral advisor was Jacques Calmet^[7].
• A notable work attributed to Bernhard Beckert is KeY^[8].
• Bernhard Beckert is recorded as male^[9].
• Bernhard Beckert's instance of is recorded as human^[10].
• Bernhard Beckert supervised Sebastian Bogan as a doctoral student^[11].
• Bernhard Beckert supervised Hermann Lehner as a doctoral student^[12].
• Bernhard Beckert's ISNI is recorded as 0000000053039401^[13].
• Bernhard Beckert's VIAF cluster ID is recorded as 37577082^[14].
• Bernhard Beckert's GND ID is recorded as 1268474118^[15].
• Bernhard Beckert's Library of Congress authority ID is recorded as nb2005014381^[16].
• Bernhard Beckert's IdRef ID is recorded as 149837852^[17].
• Bernhard Beckert's ORCID iD is recorded as 0000-0002-9672-3291^[18].
• Bernhard Beckert earned the academic degree of Doctor of Natural Sciences^[19].
• Bernhard Beckert's Mathematics Genealogy Project ID is recorded as 77954^[20].
• Bernhard Beckert's NL CR AUT ID is recorded as xx0038438^[21].
• Bernhard Beckert's family name is recorded as Beckert^[22].
• Bernhard Beckert's given name is recorded as Bernhard^[23].
• Bernhard Beckert's official website is recorded as https://formal.kastel.kit.edu/beckert/index.phtml^[24].
• Bernhard Beckert's Google Scholar author ID is recorded as 5BPKfQIAAAAJ^[25].
• Bernhard Beckert's DBLP author ID is recorded as b/BBeckert^[26].

Body

Education

Bernhard Beckert was educated at University of Karlsruhe^[5]. Doctoral advisors include Peter Hans Schmitt^[6], a computer scientist^[27], b. 1948^[28], of Germany^[29] and Jacques Calmet^[7], a mathematician^[30], 1941–2019^[31]. He earned the academic degree of Doctor of Natural Sciences^[19].

Career and Affiliations

Bernhard Beckert's professions included computer scientist^[2]. Fields of work include artificial intelligence^[3], a type of technology^[32] and formal methods^[4]. Doctoral students include Sebastian Bogan^[11], a computer scientist^[33] and Hermann Lehner^[12].

Works and Contributions

A notable work attributed to Bernhard Beckert is KeY^[8].

Why It Matters

Bernhard Beckert's notable doctoral advisees include Sebastian Bogan^[34], a computer scientist^[35].

FAQs

What did Bernhard Beckert do for work?

Bernhard Beckert worked as computer scientist^[2].

Where did Bernhard Beckert go to school?

Bernhard Beckert was educated at University of Karlsruhe^[5].