Sidebar
alumi
Table of Contents
Alumni
Ph. Doctor
Dong-Gook Kim (김동국)
| Name(Korean) | 김동국 |  |
|---|---|---|
| Name(English) | Dong-Gook Kim | |
| dgkim1026@gmail.com | ||
| Status | Ph.D | |
| Graduate | 1997 | |
| Graduation thesis | Practical Detection of Races in Parallel Programs | |
| Affiliation | SAMHYUN KOMTECH Co. 삼현컴텍 (주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hee-Dong Park (박희동)
| Name(Korean) | 박희동 |  |
|---|---|---|
| Name(English) | Hee-Dong Park | |
| hdpark@joongbu.ac.kr | ||
| Status | Ph.D | |
| Graduate | 1999 | |
| Graduation thesis | First-race detection in shared-memory parallel programs with ordered synchronization | |
| Affiliation | Jungbu University 중부대학교 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jeong-Si Kim (김정시)
| Name(Korean) | 김정시 |  |
|---|---|---|
| Name(English) | Jeong-Si Kim | |
| sikim00@etri.re.kr | ||
| Status | Ph.D | |
| Graduate | 1999 | |
| Graduation thesis | On-the-fly race detection for shared memory multithreaded programs | |
| Affiliation | Electronics and Telecommunications Research Institute (ETRI) 한국전자통신연구원 책임연구원 |
|
| homepage / linkedIn / ResearchGate / etc… | ||
Young-Cheol Kim (김영철)
| Name(Korean) | 김영철 |  |
|---|---|---|
| Name(English) | Young-Cheol Kim | |
| yckim@iuk.ac.kr | ||
| Status | Ph.D | |
| Graduate | 2000 | |
| Graduation thesis | Program Restructuring for On-the-fly Race Detection of Parallel Programs | |
| Affiliation | - | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
So-Hee Park (박소희)
| Name(Korean) | 박소희 |  |
|---|---|---|
| Name(English) | So-Hee Park | |
| heuiyha@hanmail.net | ||
| Status | Ph. D | |
| Graduate | 2002 | |
| Graduation thesis | Efficient On-the-fly Race Detection for Parallel Programs Mixed with Shared-Memory and Message-Passing | |
| Affiliation | KyungSung University 경성대학교 전임교수 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Mi-Young Park (박미영)
| Name(Korean) | 박미영 |  |
|---|---|---|
| Name(English) | Mi-Young Park | |
| park@race.gsnu.ac.kr | ||
| Status | Ph.D | |
| Graduate | 2005 | |
| Graduation thesis | Detecting unaffected races for debugging message-passing programs | |
| Affiliation | Yonsei Institute of Convergence Technology 연세대학교 미래융합기술연구소 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Young-Joo Kim (김영주)
| Name(Korean) | 김영주 |  |
|---|---|---|
| Name(English) | Young-Jo Kim | |
| kr.yjkim@etri.re.kr | ||
| Status | Ph.D | |
| Graduate | 2007 | |
| Graduation thesis | Verifying Data Races in OpenMP Programs | |
| Affiliation | Electronics and Telecommunications Research Institute (ETRI) 한국전자통신연구원 선임연구원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Byung-Chul Kim (김병철)
| Name(Korean) | 김병철 |  |
|---|---|---|
| Name(English) | Byung-Chul Kim | |
| bckim@gnu.ac.kr | ||
| Status | Ph.D | |
| Graduate | 2010 | |
| Graduation thesis | Scalable Visualization for Debugging Multithreaded Programs | |
| Affiliation | Samsung Heavy Industries Co., Ltd 삼성중공업 |
|
| SNS | linkedIn / ResearchGate | |
Mun-Hye Kang (강문혜)
| Name(Korean) | 강문혜 |  |
|---|---|---|
| Name(English) | Mun-Hye Kang | |
| kturtle@hanmail.net | ||
| Graduate | 2012 | |
| Graduation thesis | Detecting First Races to Occur in Shared-Memory Programs with Nested Parallelism | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ok-Kyoon Ha (하옥균)
| Name(Korean) | 하옥균 |  |
|---|---|---|
| Name(English) | Ok-Kyoon Ha | |
| hannuri2000@hanmail.net | ||
| Status | Ph.D | |
| Graduate | 2012 | |
| Graduation thesis | Hybrid On-the-fly Race Detection for Structured Fork-join Parallel Programs | |
| Affiliation | Kyungwoon University 경운대학교 항공소프트웨어공학과 교수 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Guy Martin Tchamgoue (기마틴 참궤)
| Name (Korean) | 기마틴 참궤 |  |
|---|---|---|
| Name (English) | Guy Martin Tchamgoue | |
| tchaguy@gmail.com | ||
| Status | Ph.D | |
| Graduate | 2013 | |
| Graduation thesis | Efficient Verification of Data Races in Interrupt-Driven Embedded Software | |
| Affiliation | Electrical and Computer Engineering University of Waterloo | |
| SNS | Homepage / LinkedIn / ResearchGate / etc… | |
TSogbayar Jargalsaikhan (처그바야르 자르갈사이항)
| Name(Korean) | 처그바야르 자르갈사이항 |  |
|---|---|---|
| Name(English) | TSogbayar Jargalsaikhan | |
| tsogbayr@hureeict.edu.mn | ||
| Status | Ph.D. | |
| Graduate | 2022-02 | |
| Affiliation | GIANTDRONE (자이언트드론) | |
| Graduation Thesis | Architectural Process for Flight Control Software of Unmanned Aerial Vehicle with Module-Level Portability | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sang-Yun Kim (김상윤)
| Name(Korean) | 김상윤 |  |
|---|---|---|
| Name(English) | Sang-Yun Kim | |
| summer@gnu.ac.kr | ||
| Status | Ph.D. | |
| Graduation | 2023-08 | |
| Affiliation | GNU Center of IT Services (GNU-CIS) 경상대학교 정보전산원 |
|
| Graduation Thesis | Student Dropout Prediction for University with High Precision and Recall | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Master
Myeong-Ok Jeong (정명옥)
| Name(Korean) | 정명옥 | |
|---|---|---|
| Name(English) | Myeong-Ok Jeong | |
| jmolyh@korea.com | ||
| Status | Master | |
| Graduate | 1992 | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jin-Sug Kim (김진숙)
| Name(Korean) | 김진숙 | |
|---|---|---|
| Name(English) | Jin-Sug Kim | |
| jjskim@shoseo.ac.kr | ||
| Status | Master | |
| Graduate | 1993 | |
| Affiliation | Seoul hoseo College 서울호서전문학교 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
In-Young Park (박인영)
| Name(Korean) | 박인영 | |
|---|---|---|
| Name(English) | In-Young Park | |
| iypark@kt.co.kr | ||
| Status | Master | |
| Graduate | 1993 | |
| Graduation thesis | (An)On-the- fly monitoring technique for detecting access anomalies in parallel programs | |
| Affiliation | Telecommunications Network Laboratories, Korea Telecom (KT) (주) 케이티 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hye-Gyeong Kim (김혜경)
| Name(Korean) | 김혜경 | |
|---|---|---|
| Name(English) | Hye-Gyeong Kim | |
| - | ||
| Status | Master | |
| Affiliation | The deceased | |
| SNS | - | |
Jin-Sook Lee (이진숙)
| Name(Korean) | 이진숙 | |
|---|---|---|
| Name(English) | Jin-Sook Lee | |
| hijslee@hanmail.net | ||
| Status | Master | |
| Graduate | 1995 | |
| Graduation thesis | On-the-fly detection for access anomailes occurred first in parallel programs without first in parallelism | |
| Affiliation | Hanil High School 한일전산여고 교사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Soon-Ho Ok (옥순호)
| Name(Korean) | 옥순호 | |
|---|---|---|
| Name(English) | Soon-Ho Ok | |
| shok@doosanheavy.com | ||
| Status | Master | |
| Graduate | 1995 | |
| Graduation thesis | A Sequential Monitoring Tool for Detecting Access Anomalies in Nested Parallel Loop Programs | |
| Affiliation | Doosan Heavy Co. 두산 중공업 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Byoung-Gyu Chun (천병규)
| Name(Korean) | 천병규 | |
|---|---|---|
| Name(English) | Byoung-Gyu Chun | |
| bgchon@cenccut.com | ||
| Status | Master | |
| Graduate | 1995 | |
| Graduation thesis | (An)on-the-fly detection protocol for access anomailes occurred first in nested parallel loop programs | |
| Affiliation | Cutting Engineering Consulting (C.EN.C) 씨이엔씨 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Choon-Hwa Jeong (정춘화)
| Name(Korean) | 정춘화 | |
|---|---|---|
| Name(English) | Choon-Hwa Jeong | |
| hwa@zenda.co.kr | ||
| Status | Master | |
| Graduate | 1998 | |
| Graduation thesis | A Sequential monitoring tool for debugging races in parallel programs | |
| Affiliation | ZendaSoft Co., (주)젠다 소프트 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Byoung-Yun Hwang (황병연)
| Name(Korean) | 황병연 | |
|---|---|---|
| Name(English) | Byoung-Yun Hwang | |
| h5458@hanmail.net | ||
| Status | Master | |
| Graduate | 2001 | |
| Graduation thesis | (A)Study on development of CAI CD-ROM title | |
| Affiliation | Hamahn Elementary School 함안초등학교 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sang-Chul Kang (강상철)
| Name(Korean) | 강상철 | upload your picture here |
|---|---|---|
| Name(English) | Sang-Chul Kang | |
| sckang99@koreaaero.com | ||
| Status | Master | |
| Graduate | 2000 | |
| Graduation thesis | (An)Intranet-based system for the management of specification hostories in manufacturing commercial aircraft | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 (차장) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sung-Dae Kim (김성대)
| Name(Korean) | 김성대 |  |
|---|---|---|
| Name(English) | Sung-Dae Kim | |
| char.seangdae.kim@ericsson.com | ||
| Status | Master | |
| Graduate | 2000 | |
| Graduation thesis | Web-based virtual laboratories for shared-memory parallel programming | |
| Affiliation | Ericsson LG 에릭슨-엘지 SDO, SI&CORE Team 수석연구원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jin-Hee Lee (이진희)
| Name(Korean) | 이진희 | upload your picture here |
|---|---|---|
| Name(English) | Jin-Hee Lee | |
| binaryhee@daum.net | ||
| Status | Master | |
| Graduate | 2002 | |
| Affiliation | 안산 공도 중학교 | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Myeong-Chul Park (박명철)
| Name(Korean) | 박명철 |  |
|---|---|---|
| Name(English) | Myeong-Chul Park | |
| africap1115@gmail.com | ||
| Status | Ph.D | |
| Affiliation | Kyungwoon University 경운대학교 항공전자공학과 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Su-Yun Bae (배수연)
| Name(Korean) | 배수연 | |
|---|---|---|
| Name(English) | Su-Yun Bae | |
| suyun.bae@gmail.com | ||
| Status | Master | |
| Graduate | 2003 | |
| Graduation thesis | Scalable race visualization for debugging message-passing programs | |
| Affiliation | HCONN | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jae-Seon Lim (임재선)
| Name(Korean) | 임재선 |  |
|---|---|---|
| Name(English) | Jae-Seon Lim | |
| dember99@daum.net | ||
| Status | Master | |
| Graduate | 2005 | |
| Affiliation | Suresoft Technologies, Inc. 슈어소프트테크(주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jung-Hye Kang (강정혜)
| Name(Korean) | 강정혜 | |
|---|---|---|
| Name(English) | Jung-Hye Kang | |
| kjh762@nate.com | ||
| Status | Master | |
| Graduate | 2004 | |
| Graduation thesis | A Practical Visualization Tool for Understanding Operating System Behavior | |
| Affiliation | Ulsan Hyeongwang Girl's High School 울산 현광여고 교사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Gil-Joon Park (박길준)
| Name(Korean) | 박길준 |  |
|---|---|---|
| Name(English) | Gil-Joon Park | |
| kjpark@empal.com | ||
| Status | Master | |
| Graduate | 2012 | |
| Graduation thesis | Visualization Tool for Supporting Dynamic Detection of Data Races in OpenMP Programs | |
| Affiliation | Hara System co., Ltd (주)하라 시스템 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Geum-Hee Kim (김금희)
| Name(Korean) | 김금희 | |
|---|---|---|
| Name(English) | Geum-Hee Kim | |
| kimi33@naver.com | ||
| Status | Master | |
| Graduate | 2004 | |
| Graduation thesis | Effective race visualization for eebugging openMP programs | |
| Affiliation | - | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sung-Il Lee (이성일)
| Name(Korean) | 이성일 | |
|---|---|---|
| Name(English) | Sung-Il Lee | |
| silee88@koreaaero.com | ||
| Status | Master | |
| Graduate | 2004 | |
| Graduation thesis | A Requirement Analysis Tool for Optimized Race Detection Environment of Parallel Programs | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ming-Hao Jia (가명호)
| Name(Korean) | 가명호 |  |
|---|---|---|
| Name(English) | Ming-Hao Jia | |
| jiaminghao@hotmail.com | ||
| Status | Master | |
| Graduate | 2004 | |
| Affiliation | Daegu Catholic University 대구가톨릭대학교 교수 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Young-Moon Song (송영문)
| Name(Korean) | 송영문 |  |
|---|---|---|
| Name(English) | Young-Moon Song | |
| ym5198@jinju.go.kr | ||
| Status | Master | |
| Affiliation | Jinju Cityhall 진주시청 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hye-Gyeong Kang (강혜경)
| Name(Korean) | 강혜경 | |
|---|---|---|
| Name(English) | Hye-Gyeong Kang | |
| hgkang@gnty.net | ||
| Status | Master | |
| Graduate | 2005 | |
| Affiliation | The Provincial Office of Gyeongnam 경상남도청 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jun-Yee Lee (이준이)
| Name(Korean) | 이준이 | |
|---|---|---|
| Name(English) | Jun-Yee Lee | |
| ljy242@bcline.com | ||
| Status | Master | |
| Graduate | 2005 | |
| Graduation thesis | (A)Race Verification Engine for Debugging OpenMP Programs | |
| Affiliation | Japan (에이스) | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Seokjoo Choi (최석주)
| Name(Korean) | 최석주 |  |
|---|---|---|
| Name(English) | Seokjoo Choi | |
| asbawi@suresofttech.com | ||
| Status | Master | |
| Graduate | 2005 | |
| Graduation thesis | (A)Web-based Tool to Construct Optimal Environment of Race Detection for OpenMP Programs | |
| Affiliation | Suresoft Technologies, Inc. 슈어소프트테크(주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Min-Sub Jung (정민섭)
| Name(Korean) | 정민섭 |  |
|---|---|---|
| Name(English) | Min-Sub Jung | |
| msjung@soludus.co.kr | ||
| Status | Master | |
| Graduate | 2005 | |
| Graduation thesis | Detecting Potential Data Races in Shared-memory Programs | |
| Affiliation | Soludus Co. 솔루더스(주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Byoung-Kwi Lee (이병귀)
| Name(Korean) | 이병귀 |  |
|---|---|---|
| Name(English) | Byoung-Kwi Lee | |
| bk.lee@daum.net | ||
| Status | Master | |
| Graduate | 2011 | |
| Graduation thesis | Program Transformation for Detecting Dynamic Data Races in Interrupt-Based Embedded Software | |
| Affiliation | Posco ICT 포스코ICT |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ho-Gi Cho (조호기)
| Name(Korean) | 조호기 |  |
|---|---|---|
| Name(English) | Ho-Gi Cho | |
| hogi2271@gmail.com | ||
| Status | Master | |
| Graduate | 2009 | |
| Graduation thesis | Interposing System Calls for Monitoring Multithreaded Windows Programs | |
| Affiliation | MacroImpact, Inc. (주)매크로임팩트 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Lin Gan (간린)
| Name(Korean) | 간린 |  |
|---|---|---|
| Name(English) | Lin Gan | |
| ganlin428@gmail.com | ||
| Status | Master | |
| Affiliation | Lecturer | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sahaja Dorankula (사하자)
| Name(Korean) | 사하자 |  |
|---|---|---|
| Name(English) | Sahaja Dorankula | |
| dsahaja@yahoo.co.in | ||
| Status | Master | |
| Affiliation | - | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sun-Sook Kim (김선숙)
| Name(Korean) | 김선숙 |  |
|---|---|---|
| Name(English) | Sun-Sook Kim | |
| sun@suresofttech.com | ||
| Status | Master | |
| Graduate | 2013 | |
| Graduation thesis | SUN-RACE: An Integrated Development Environment Plug-in to Support Data Race Detection in Airborne Software | |
| Affiliation | Suresoft Technologies, Inc. 슈어소프트테크(주) |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ying Meng (멍영)
| Name(Korean) | 멍영 |  |
|---|---|---|
| Name(English) | Ying Meng | |
| mengy_candy@hotmail.com | ||
| Status | Master | |
| Affiliation | Beijing ZhongChao WeiYe Information Security Technology Co., Ltd. | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hye-Jin Choi (최혜진)
| Name(Korean) | 최혜진 |  |
|---|---|---|
| Name(English) | Hye-Jin Choi | |
| aristarchos@naver.com | ||
| Status | Master | |
| Graduate | 2014 | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Joong-Hoon Kim (김중훈)
| Name(Korean) | 김중훈 |  |
|---|---|---|
| Name(English) | Joong-Hoon Kim | |
| kimjh3940@gmail.com | ||
| Status | Master | |
| Graduate | 2014 | |
| Graduation thesis | A Study on Message Race in Inter-partition Communication of the ARINC 653 Operating System | |
| Affiliation | - | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Myeong-Sin Kang (강명신)
| Name(Korean) | 강명신 |  |
|---|---|---|
| Name(English) | Myeong-Sin Kang | |
| myeong41@nate.com | ||
| Status | Master | |
| Graduate | 2014 | |
| Graduation thesis | Visualization for Debugging Race Conditions in Event Synchronization of ARINC 653 | |
| Affiliation | AERO MASTER CORPORATION(AMC) (주)에어로매스터 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Byeong-Wook Kim (김병욱)
| Name(Korean) | 김병욱 |  |
|---|---|---|
| Name(English) | Byeong-Wook Kim | |
| kokolel@naver.com | ||
| Status | Master | |
| Affiliation | Korean Aerospace Industries (KAI) 한국항공우주산업 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hyun-Ji Kim (김현지)
| Name(Korean) | 김현지 |  |
|---|---|---|
| Name(English) | Hyun-Ji Kim | |
| hecho3927@gmail.com | ||
| Status | Master | |
| Graduate | 2015 | |
| Graduation thesis | A Study on Data Race and Message Race in Data Distribution Service Programs | |
| Affiliation | AERO MASTER CORPORATION (AMC) (주)에어로매스터 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Se-Won Park (박세원)
| Name(Korean) | 박세원 |  |
|---|---|---|
| Name(English) | Se-Won Park | |
| s-w.park@samsung.com | ||
| Status | Master | |
| Graduate | 2016 | |
| Graduation thesis | Effective Loop Filtering for On-the-fly Data race Detection in Multithreaded Programs | |
| Affiliation | Samsung SDS Co., Ltd. 삼성 SDS 주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Bong-Jun Paeng (팽봉준)
| Name(Korean) | 팽봉준 |  |
|---|---|---|
| Name(English) | Bong-Jun Paeng | |
| bjun@gnu.ac.kr | ||
| Status | Master | |
| Graduate | 2016 | |
| Graduation thesis | Visualization and integrity verification tools of IMA configuration in ARINC 653 | |
| Affiliation | GNU Center of IT Services (GNU-CIS) 경상대학교 정보전산원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hyang-Yeon Bae (배향연)
| Name(Korean) | 배향연 | |
|---|---|---|
| Name(English) | Hyang-Yeon Bae | |
| baehy06@gmail.com | ||
| Status | Master | |
| Graduate | 2017 | |
| Graduation thesis | An Analysis Tool for Real-time Characteristics Related to Cache Hit-ratio of Multicore Real-time Applications | |
| Affiliation | - | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Min-Woo Kim (김민우)
| Name(Korean) | 김민우 | |
|---|---|---|
| Name(English) | Min-Woo Kim | |
| bmw8289@gmail.com | ||
| Status | Master Course | |
| Graduate | 2017 | |
| Graduation thesis | A Software Modularization for the Expandable Platforms of Automatic Test Equipments in Avionics | |
| Affiliation | Korean Aerospace Industries (KAI) 한국항공우주산업 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Yong-Lae Lee (이용래)
| Name(Korean) | 이용래 | |
|---|---|---|
| Name(English) | Yong-Lae Lee | |
| mian0824@gmail.com | ||
| Status | Master Program | |
| Graduate | 2017 | |
| Graduation thesis | A Tool for Supporting Fault Analysis of Airborne Software Using Flight Data | |
| Affiliation | Korean Aerospace Industries (KAI) 한국항공우주산업 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Young-Jin Seo (서영진)
| Name(Korean) | 서영진 |  |
|---|---|---|
| Name(English) | Young-Jin Seo | |
| syj48383202@naver.com | ||
| Major | Information Science | |
| Status | Master Program | |
| Graduate | 2017 | |
| Graduation thesis | An Assessment System of Manufacturing Readiness for Weapon Software | |
| Affiliation | Defense Agency for Technology and Quality (DTaQ) 국방기술품질원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jin-Woo Oh (오진우)
| Name(Korean) | 오진우 |  |
|---|---|---|
| Name(English) | Jin-Woo Oh | |
| kanshin87@naver.com | ||
| Major | Information Science | |
| Status | Master Program | |
| Graduate | 2017 | |
| Graduation thesis | A Framework for Detecting Concurrency Faults in Weapon Software | |
| Affiliation | Defense Agency for Technology and Quality (DTaQ) 국방기술품질원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Dong-Su Lee (이동수)
| Name(Korean) | 이동수 |  |
|---|---|---|
| Name(English) | Dong-Su Lee | |
| s32719@naver.com | ||
| Status | Master | |
| Graduate | 2018 | |
| Graduation thesis | An Efficient Health Management System for On-the-fly Repairing of Atomicity Violation in Airborne Software | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ju-Hyeok Park (박주혁)
| Name(Korean) | 박주혁 |  |
|---|---|---|
| Name(English) | Ju-Hyeok Park | |
| wngur3110@naver.com | ||
| Status | Master | |
| Graduate | 2018 | |
| Graduation thesis | An Efficient Technique for On-the-Fly Repairing of Atomicity Violation in Pthreads Programs | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sang-Seob Park (박상섭)
| Name(Korean) | 박상섭 |  |
|---|---|---|
| Name(English) | Sang-Seob Park | |
| sspark@koreaaero.com | ||
| Status | Master | |
| Graduate | 2020 | |
| Graduation thesis | Low Cost Telecommand Processing System for Domestic Development Satellites | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Sung-Jun Kim (김성준)
| Name(Korean) | 김성준 |  |
|---|---|---|
| Name(English) | Sung-Jun Kim | |
| kimsj@outlook.com | ||
| Status | Master | |
| Graduate | 2020 | |
| Graduation thesis | Fault-Tolerant Architecture for PCI-Express Bus in Avionics Systems | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
San-Ha Lim (임산하)
| Name(Korean) | 임산하 |  |
|---|---|---|
| Name(English) | San-Ha Lim | |
| sanha.lim@koreaaero.com | ||
| Status | Master | |
| Graduate | 2020 | |
| Graduation thesis | Requirement Analysis for Evaluating Potential Critical Nature of Avionics Items | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Hyoung-Jin Baek (백형진)
| Name(Korean) | 백형진 |  |
|---|---|---|
| Name(English) | Hyoung-Jin Baek | |
| azzp45@naver.com | ||
| Status | Master | |
| Graduate | 2020 | |
| Graduation thesis | On-The-Fly Repairing of Order Violation Associated with Critical Sections in Concurrent Programs | |
| Affiliation | 모아소프트 | |
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Tae-Hyung Kim (김태형)
| Name(Korean) | 김태형 |  |
|---|---|---|
| Name(English) | Tae-Hyung Kim | |
| miewcs@naver.com | ||
| Status | Master | |
| Graduate | 2020 | |
| Graduation thesis | An Efficient System of Health Management for On-the-fly Repairing of Order Violation in Airborne Software | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Woo-Sung Ahn (안우성)
| Name(Korean) | 안우성 | |
|---|---|---|
| Name(English) | Woo-Sung Ahn | |
| aws1024@nate.com | ||
| Status | Master | |
| Graduate | 2023 | |
| Graduation thesis | Open Software Architecture for Infrared Devices of Aircraft Mission System | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Min-Gyun Han (한민균)
| Name(Korean) | 한민균 |  |
|---|---|---|
| Name(English) | Min-Gyun Han | |
| newwayne2@naver.com | ||
| Status | Master | |
| Graduate | 2023-08 | |
| Graduation thesis | On-the-fly Deadlock Repairing for Health Management System of Airborne Software | |
| Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Ji-Won-Jeong(정지원)
| Name(Korean) | 정지원 |  |
|---|---|---|
| Name(English) | Ji-Won Jeong | |
| jjion4078@gnu.ac.kr | ||
| Status | Master | |
| Graduate | 2024 | |
| Graduation thesis | Tool For Creating an UAV Flight Path in a CPS Environment | |
| Affiliation | NSquare,Inc. (주)엔스퀘어 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
Jun-Ho Lee (이준호)
| Name(Korean) | 이준호 |  |
|---|---|---|
| Name(English) | Jun-Ho Lee | |
| dlwnsgh0901@naver.com | ||
| Status | Master | |
| Graduate | 2024 | |
| Graduation thesis | On-the-fly Repairing of Atomicity Violation Caused by Signal Handlers for Health Management of Airborne Software | |
| Affiliation | Defense Agency for Technology and Quality (DTaQ) 국방기술품질원 |
|
| SNS | homepage / linkedIn / ResearchGate / etc… | |
PhoneBook
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
alumi.1714539344.txt.gz · Last modified: 2024-05-01 13:55 by Junho Lee
alumi.1714539344.txt.gz · Last modified: 2024-05-01 13:55 by Junho Lee