Bernhard Beckert
0 sources
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 H. 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 earned the academic degree of Doctor of Natural Sciences[13].
- Bernhard Beckert's family name is recorded as Beckert[14].
- Bernhard Beckert's given name is recorded as Bernhard[15].
- Bernhard Beckert's official website is recorded as https://formal.kastel.kit.edu/beckert/index.phtml[16].
Body
Education
Bernhard Beckert was educated at University of Karlsruhe[5]. Doctoral advisors include Peter H. Schmitt[6], a computer scientist[17], b. 1948[18], of Germany[19] and Jacques Calmet[7], a mathematician[20], 1941–2019[21]. He earned the academic degree of Doctor of Natural Sciences[13].
Career and Affiliations
Bernhard Beckert's professions included computer scientist[2]. Fields of work include artificial intelligence[3], a type of technology[22] and formal methods[4]. Doctoral students include Sebastian Bogan[11], a computer scientist[23] 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[24], a computer scientist[25].
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].