김문주 교수 STVR 저널 Editorial board 선임

우리 전산학부 김문주 교수가 소프트웨어공학 분야 우수 저널인 Journal of Software Testing, Verification and Reliability (STVR) 의 Editorial Board로 선임 되었습니다. 선임을 축하드립니다.

Microsoft Research Japan-Korea Academic Day 2016 수..

우리 전산학부 신인식 교수님과 김효수 학생이, 지난 5월 20일 일본 동경에서 열린 Microsoft Research Japan-Korea Academic Day 2016에서 Poster & Demo 발표회 1st Prize를

한국연구재단 웹진 5월호 ＇연구자를 만나다 - 글로벌 여성리더

우리 전산학부 교수인 박진아 교수의 '한국연구재단 웹진 5월호 '연구자를 만나다 - 글로벌 여성리더' 컬럼에 소개된 인터뷰 내용입니다.(http://webzine.nrf.re.kr/nrf_1605/?chapter

2016 전산학부 인턴 및 취업 설명회 개최 안내

전산학부에서는 2016년 여름방학을 맞이하는 3 ,4 학년 학생을 위하여 인턴설명회와 여름학기 졸업하는 학생들을 위한 취업 설명회를 개최합니다. 특히 인턴은 바람직한 인턴 수행을 위하여 교수들이 주제와 회사를 공모하여 엄선하여 추천하

강성원 교수 소프트웨어공학 소사이어티 회장 선출

우리 전산학부의 강성원 교수는 2016년 3월부로 한국정보과학회 소프트웨어공학 소사이어티 회장으로 선출되어 2018년 2월까지 그 직을 수행할 예정이다. 소프트웨어공학 소사이어티는 우리나라 소프트웨어공학 분야의 학문적, 교육적, 기술

이윤정 선생님 인터뷰

학부사무실을 늘 따뜻하게 해주셨던 이윤정 선생님께서 학교 방침에 따라 전산학부를 떠나시게 되었습니다. 그동안 교원인사와 관련된 중요한 일들을 맡아 학과발전에 많은 공헌을 해주셨습니다. 진심으로 감사드립니다！ 1. 선생님 소개 간

한국정보과학회 제35회 학생논문경진대회 수상안내

우리 학부 김윤호 박사과정 학생(지도교수: 김문주 교수)이 한국정보과학회 제35회 학생논문경진대회에서 ​"실제적인 유닛 컨텍스트 생성에 기반한 효과적인 자동 Concolic 유닛 테스팅" 논문으로 ​우수상​을 수상했습니다. 수상을 진심으로 축하드립니다. (참고: 최우수1명, 우수 2명,장려 3명)​

QS World University Rankings by Subject 2016 - Com..

QS World University Rankings by Subject 2016 - Computer Science & Information Systems: QS 랭킹 컴퓨터과학 및 정보시스템 분야에서 우리 학부가 전세계에

이선아 박사 ​경상 대학교 조교수 임용

우리 전산학부의 이선아 박사(지도교수: 강성원)가 2016년 3월부로 경상대학교 항공우주 및 소프트웨어공학전공 조교수로 임용되었다. 이선아 박사는 소프트웨어 아키텍처 연구실(SA Lab)에서 2010년 가을학기부터 박사학위 연구를 시

2016년 전산학부 SW심화과정 학생워크샵 개최

우리 전산학부에서는 지난 25일(금) SW심화과정 학생들을 대상으로 심화과정 학생 간 및 참여교수의 상호교류 및 친선도모, 심화과정 학생 개인별 포트폴리오 작성 및 점검, 참여 기관과의 산학 교류를 위해 무주덕유산리조트 스타라우스홀에서 학생 워크샵을 개최했다.

KAIST-(주)엑셈 산학협력 협약 체결

우리 전산학부에서는 지난 24일(수) 전산학부교수회의실에서 빅데이터 운영 관제 소프트웨어 산학협력 프로그램의 원활한 운영을 위해 KAIST-(주)엑셈 사 간의 산학협력을 체결했다.

2016 KAIST 로봇 프로그래밍 IT 캠프

우리 전산학부에서는 26일 오늘 전산학부 디지털실험실에서 소프트웨어 중심 사회로 급변하고 있는 필연적이고 전 세계적인 흐름에 맞춰서, 향후 국가 경쟁력을 책임지게 될 어린 중고등학생들이 로봇 이론과 실습 교육을 통해 소프트웨어가 지닌

홍신 박사 한동대학교 조교수 임용

우리 전산학부 홍신 박사(지도교수: 김문주)가 2016년 3월부터 한동대학교 전산전자공학부 컴퓨터공학 전공 조교수로 임용하게 되었습니다. 홍신 박사는 소프트웨어 테스트 및 검증 (SWTV) 연구실에서 2011년 봄학기부터 박사학위 연

2016년 개교 제45주년 기념 우수교원 포상

2016년 개교 제45주년을 기념하여, KAIST 발전에 기여하고 공로가 큰 우수교원 수상에 우리 전산학부 신인식 교수(학술상), 오혜연 교수(창의강의대상), 박진아 교수(공적상)을 수상하게 되었습니다. 수상을 진심으로 축하드립니다.

이진서 석사과정, 백경덕 학부생, KCSE 2016 최우수 및 우수 논문상 수상

우리 전산학부의 이진서 석사과정 학생(지도교수: 고인영, 왼쪽 사진)과 백경덕 학부생(지도교수: 김광조, 개별연구 지도교수: 고인영, 오른쪽 사진)이 2016년 1월 27일부터 29일까지 강원도 평창에서 개최된 한국 소프트웨어공학 학

기성회장상 수상

2016년 학위수여식 학사과정 성적우수 졸업생 중 우리 전산학부 장윤석 씨과 기성회장상을 수상하였습니다. 수상을 진심으로 축하 드립니다.

전산학부 창업 동문, ‘릴레이 기부’로 1억 2천만 원 모교에 전달

지난해 KAIST 재학생이 앱 매각 수익금을 모교에 기부한데 이어 이번에는 전산학부 창업 동문들이 앱 매각 수익금을 KAIST에 전달했다. 서울버스 안드로이드 앱을 개발한 박영훈(25 ․ 전산학부)학생은 지난해 12월 전

주 출입구 및 학생 휴게실 준공식 행사

전산학부에서는 1월 11일 오후 3시부터 전산학부 주출입구 및 학생휴게실 준공식 행사를 전산학부장, 시설부장, 학술문화원장, 시설팀장, 전산학부학생대표, 교수 및 직원 30여명이 참석한 가운데 개최했다. 기존 설치한 출입구 구조

동문 벤처기업 이파피루스, 1억 2천만 원 상당의 소프트웨어 기증

전자문서 솔루션 전문기업 (주)이파피루스(대표 김정희)가 20일(화) KAIST에 1억 2100만원 상당의 소프트웨어를 기증했다. (주)이파피루스는 KAIST 전산학과를 졸업한 김정희(38) 대표가 창업한 회사로, 문서

올해의 동문상 시상식 및 수상자와의 대화

지난 24일 정보전자공학동(E3-1) 제1공동강의실에서는 공과대학에서 주최한 올해의 동문상에서 우리 전산학부 동문인 김정주 NXC대표이사가 선정되었다. 김정주 대표이사는 국내 디지털콘텐츠 분야를 선도하여, 정보서비스산업 발전에

차상길 교수님 부임을 축하드립니다.

지난 11월 16일 우리 전산학부에 차상길 교수님께서 부임해 오셨습니다. 차상길 교수님은 2015년에 Carnegie Mellon University에서 박사학위를 받으시고 전공 분야는 Software Security, Prog

조정완 CAIR 회의실 현판식 개최

KAIST 전산학부에서는 오는 6일(금) 전산동에서 전산학부 발전에 크게 기여하신 조정완 교수의 뜻을 기리고 확산하고자 전산학부 교수 및 학생, 직원이 참석한 가운데 '조정완 CAIR 회의실’현판식 행사를 개최한다.

최기선 교수, 한글 발전 및 보급 공로로 옥조근정훈장 수훈

우리 대학 전산학부의 최기선 교수가 지난 10월 9일 금요일에 제569돌 한글날을 맞아 세종문화회관에서 열린 경축식에서 한글 및 한국어의 발전과 보급을 위해 헌신한 공로를 인정받아 “옥조근정훈장”을 수훈했다. 최

송준화 교수, 미국컴퓨터협회 SenSys 학회 운영위원장 선임

우리 대학 전산학부 송준화 교수가 세계컴퓨터학회(ACM) SenSys(Conference on Embedded Networked Sensor Systems)의 학회운영위원장(General Chair)에 선임됐다. 지난 2003년

KAIST - Oberthur Technologies(OT) MOU 체결

2016년 한불 수교 130주년을 기념하여 프랑스는 올해를 한국의 해로 제정하여 과학,문화, 예술등 다방면에서 양국간의 상호 교류를 한 단계 격상하여 더욱 친밀한 관계로 발전을 추진 중에 있다. 이에, 황 교안 총리께서 한국정부

Test-Of-Time 2006 Award 수상

윤성의 교수가 참여한 아래 논문이 고성능 그래픽스 국제학회 (High-Performance Graphics)에서 올해 2015년에 선정한 "Test-Of-Time 2006 Award"를 수상하였습니다. RT-

MLSS 2015, Spotlight Presenter 선정

[사진상 중간이 임우상 박사과정생] 우리 전산학부 임우상 박사과정 학생 (지도교수: 배두환)이 지난 8/23-9/6에 일본 교토에서 열린 MLSS 2015에서 스포트라이트 발표자(Spotlight Presenter)로 선정되어

학부생 박소연 URP(학부연구프로그램)에서 최우수상 수상

우리 전산학부에 박소연 학생이 URP 프로그램에서 최우수상을 수상했습니다. URP와 더불어 본 연구는 2015 IEEE International Conference on Big Data(acceptance rate: 18.5％)

Google’s 2015 Global PhD Fellows 선정

KAIST 전산학과 박사과정 우신애(지도교수 문수복) 학생이 2015 Google PhD Fellow로 선정되었다. Google PhD Fellowship program은 올해로 7년째 이어져오는 전산관련 분야에서 우수한 연구를

유신, 지글러마틴 교수 부임

우리 전산학부에 2015년 8월 1일, 유신 교수님, 8월 17일 지글러 교수님께서 부임해 오셨습니다. 유신 교수님은 PhD in Computer Science, King’s College London, 2

건물안까지 정보까지 훤히… ＇내시경 내비＇등장건물안까지 정보까지 훤히… ＇내시경 내비＇등장

우리 전산학부 한동수 교수 연구실에서 방문자의 이름이나 건물 내 방 번호 등을 입력하면 도착할 때까지 실내외 길 안내 서비스를 해주는 내비게이션 시스템인 '캠퍼스 아틀라스'를 개발에 따른 기사문을 안내 드립니다.

2015 전산학부 가을산행 및 바베큐 파티(9／12(토)

전산학부 전체가 함께하는 가을산행을 아래와 같이 실시하오니 구성원(교수, 학생, 직원) 여러분의 많은 참여를 바랍니다. - 아 래 - 1. 일시 : 2015.09.12(토), 11:30-19:00 2. 장소 : 계족산

중경양강카이스트국제프로그램 수료식

중경이공대학과 KAIST가 공동으로 협력 추진하였던 "중경양강카이스트국제프로그램"의 중경이공대학 교원 KAIST 방문 연수가 성공적으로 마무리되어 8월 18일 전산학부교수회의실에서 수료식을 갖게 되었습니다

2015 LG CNS 해커톤 수상 축하

KAIST 전산학부 학사 11학번 동기 세 명으로 이루어진 팀 Tripuler(이세라, 이용선, 전현기)가 지난 8월 21일부터 무박 2일동안 진행된 2015 LG CNS 해커톤'에서 대학생 부문 은상을 수상했다. 이날 행사에

전산학부(E3-1) 자전거보관소 설치공사 완료

변경전 변경후 우리 전산학부(E3-1) 앞에있는 자전거거치대와 오토바이 보관소 개선공사를 아래와 같이 완료 했습니다. 전산학부 출입구의

IEEE／ACM International Conference on Automated Sof..

소프트웨어 테스트 및 검증 연구실(지도교수 : 김문주)에서 정보과학회 최우수 학술대회/전산학과 S 등급 국제학회인 IEEE/ACM International Conference on Automated Software Engineerin

논문(류석영 교수 연구실) Best Artifact Award 수상

국제학회 CS S급 학회인 프로그래밍 언어 분야의 ECOOP (European Conference on Object-Oriented Programming) 학회에서 우리 전산학부 류석영 교수 연구실에서 제출했던 논문이 Best Ar

이성주 교수, 분산컴퓨팅시스템학회(ICDCS) 최우수 논문상 수상

우리 대학 전산학부 이성주 교수가 지난 6/29-7/2에 미국 오하이오주 콜럼버스에서 세계전기전자공학연합회 (IEEE) 주최로 진행된 제35회 분산컴퓨팅시스템 학술대회 (ICDCS, International Conference on

KAIST 전산학부 소프트웨어대학원 석사과정 우준희, 최진만, 조익찬, 하헌관 2015 대..

KAIST 전산학부 소프트웨어대학원 석사과정 Scamper팀(우준희, 최진만, 조익찬, 하헌관)이 지난 7월2일(목) ‘2015 대한민국 과학기술연차대회’ 중 한국과학기술단체총연합회가 주최한 '2014 행

이성주 교수, 컴퓨터통신학술대회(INFOCOM) 프로그램위원장 선임

우리 대학 전산학부 이성주 교수가 미국전기전자공학회 컴퓨터통신학술대회(IEEE INFOCOM)의 프로그램위원장에 선임됐다. 지난 1982년 시작된 컴퓨터통신학술대회는 인터넷, 무선, 데이터센터 등 컴퓨터 통신에 관한 다