Personal information
formal methods, software engineering, AI safety
Activities
Employment (7)
2024-03
to
present
|
Associate Professor
(Computer Science and Engineering)
Employment
Source:
Chih-Hong Cheng
2023-10
to
2024-02
|
Interim Professor (W3)
(Informatics)
Employment
Source:
Chih-Hong Cheng
2021-09
to
2023-12
|
Department Head / Researcher
(Safety Assurance for AI)
Employment
Source:
Chih-Hong Cheng
2023-05
to
2023-08
|
Interim Professor (W2)
(Informatics)
Employment
Source:
Chih-Hong Cheng
2019-08
to
2021-07
|
Technical Manager
(Corporate R&D)
Employment
Source:
Chih-Hong Cheng
2015-08
to
2019-05
|
Principal Scientist
(Software Dependability)
Employment
Source:
Chih-Hong Cheng
2013-10
to
2015-07
|
Scientist
(Software Systems)
Employment
Source:
Chih-Hong Cheng
Education and qualifications (1)
2008-07
to
2012-04
|
PhD
(Informatics)
Education
Source:
Chih-Hong Cheng