Daehui's Homepage

정대희

• 2011.03~2017.02, 경기대학교 컴퓨터과학과, 이학학사

• 2017.03~2019.02, 경기대학교 컴퓨터과학과, 이학석사

• 2019.07~2020.06, 한컴엠디에스 (Hancom MDS)

• 2020.07~2022.05, 한컴인텔리전스 (Hancom Intelligence)

• 2021.09~현재, 경기대학교 컴퓨터과학과, 박사수료

• 2022.10~2023.10, 피에이치에이 (PHA)

• 2023.10~현재, 에이치엘만도 (HL Mando)

• 관심 분야: Functional Safety, SOTIF, Cyber Security, System & Software Safety, Software Engineering, Formal Verification, Verifiable AI

• 이  메  일: jdhpen@gmail.com / daehui.jeong@kyonggi.ac.kr / daehui.jeong@hlcompany.com

• 연  락  처: +82 10-5254-7078

나의 은사님

• 경기대학교 컴퓨터공학부 권기현 교수님

• 연구 분야: Software Engineering, Formal Verification, Software Safety, System Safety Analysis