Personal information

formal methods, software engineering, AI safety

Activities

Employment (7)

Chalmers University of Technology: Gothenburg, SE

2024-03 to present | Associate Professor (Computer Science and Engineering)
Employment
Source: Self-asserted source
Chih-Hong Cheng

University of Hildesheim: Hildesheim, Niedersachsen, DE

2023-10 to 2024-02 | Interim Professor (W3) (Informatics)
Employment
Source: Self-asserted source
Chih-Hong Cheng

Fraunhofer IKS: Munich, Bavaria, DE

2021-09 to 2023-12 | Department Head / Researcher (Safety Assurance for AI)
Employment
Source: Self-asserted source
Chih-Hong Cheng

Technical University of Munich: Munich, DE

2023-05 to 2023-08 | Interim Professor (W2) (Informatics)
Employment
Source: Self-asserted source
Chih-Hong Cheng

DENSO : Eching, Bavaria, DE

2019-08 to 2021-07 | Technical Manager (Corporate R&D)
Employment
Source: Self-asserted source
Chih-Hong Cheng

fortiss - Research Institute of the Free State of Bavaria: Munich, Bavaria, DE

2015-08 to 2019-05 | Principal Scientist (Software Dependability)
Employment
Source: Self-asserted source
Chih-Hong Cheng

ABB Research: Ladenburg, Baden-Württemberg, DE

2013-10 to 2015-07 | Scientist (Software Systems)
Employment
Source: Self-asserted source
Chih-Hong Cheng

Education and qualifications (1)

Technical University of Munich: Munich, DE

2008-07 to 2012-04 | PhD (Informatics)
Education
Source: Self-asserted source
Chih-Hong Cheng