KAIST 권영진·신인식 교수팀, 세계 최고 컴퓨터학회 ‘최우수 논문상’

우리 KAIST 전산학부 권영진·신인식 교수 연구팀이 서울대학교 이병영 교수와 함께 컴퓨터 운영체제 분야 최고 권위 학회인 'ACM SOSP'에서 최우수 논문상을 수상했다. 이는 권 교수가 2021년에 이어 두 번째로 수상한 것으로, 아시아 최초의 사례이다. 연구팀은 고성능 CPU 없이도 비순차적 실행으로 발생하는 '동시성 버그'를 탐지할 수 있는 기술을 개발했다. 이 기술은 소프트웨어 에뮬레이션을 통해 리눅스 운영체제를 구동하고, 퍼징 기법을 활용하여 리눅스 커널에서 11개의 새로운 버그를 발견하고 보고했다. 발견된 버그들은 보안 패치를 통해 해결되었다. 권 교수는 이 기술이 리눅스뿐만 아니라 안드로이드 운영체제나 윈도우 등에도 적용 가능하며, 연구 결과물은 오픈소스로 공개되었다고 밝혔다. 관련기사 연합뉴스: https://www.yna.co.kr/view/AKR20241129034400063 데일리비즈온: https://www.dailybizon.com/news/articleView.html?idxno=40663 이뉴스투데이: https://www.enewstoday.co.kr/news/articleView.html?idxno=2206771 대학저널: https://www.dhnews.co.kr/news/view/1065576786010656 머니투데이: https://news.mt.co.kr/mtview.php?no=2024112908143927610

전산학부 구주일 박사과정 학생, 삼성전자 DS부문 산학협력 교류회 최우수논문상 수상​

< 전산학부 구주일 박사과정 > 우리 대학 전산학부 구주일(지도교수: 성민혁) 박사과정 학생은 지난 8월 29일 삼성전자 DS부문 산학협력 교류회에서 최우수 논문상을 수상했다. 해당 시상식은 매년 삼성전자와 국내 주요 대학 간 산학협력 성과를 공유하고, 반도체, 인공지능, 바이오, 생명화학공학, 로봇공학 등 다양한 첨단 분야에서 혁신적인 연구를 수행한 연구자들을 격려하기 위해 열린다. 구주일 학생이 최우수 논문상으로 수상한 “Posterior Distillation Sampling” 논문은 세계 최고 권위의 컴퓨터 비전 학회인 Conference on Computer Vision and Pattern Recognition (CVPR 2024)에 게재되었으며, 해당 학회에서 열린 6개의 워크숍에서도 우수성을 인정받아 발표되었다. < 최우수상 사진 > 본 연구는 텍스트 기반 2D 이미지 생성 모델을 활용해 3D 데이터 (NeRF, 3D Gaussian Splatting)와 벡터기반이미지(SVG) 같은 다양한 비주얼 컨텐츠를 텍스트만으로 변형할 수 있는 새로운 방법론을 제시한다. 해당 방법론은 픽셀기반의 이미지만 변형이 가능하던 기존 방법론들의 한계를 벗어나, 사용자가 텍스트 입력만으로 다양한 비주얼 컨텐츠를 유연하게 변형할 수 있는 가능성을 연다. 이러한 기술을 통해 메타버스와 같은 차세대 컨텐츠 플랫폼에서 컨텐츠 제작 및 변형의 효율성을 크게 향상시킬 수 있을 것으로 기대된다. 수상 논문 5분 설명 영상: https://www.youtube.com/watch?v=GNqJYk949pY < 수상 논문 배너 이미지 >

전산학부 성민혁 교수, 아시아그래픽스 젊은 연구자상 수상​

우리 대학 전산학부 성민혁 교수가 2024 아시아그래픽스(Asiagraphics) 젊은 연구자상(Young Researcher Award)을 수상했다. 이 상은 컴퓨터 그래픽스 분야에서 뛰어난 연구 성과를 낸 젊은 연구자를 인정하기 위해 수여되며, 박사 학위를 취득한 후 6년 이내의 연구자들 중에서 한 명에게 주어진다. 성민혁 교수는 이번 수상자로 선정되어, 그동안의 기하학 처리 분야에서의 중요한 기여가 큰 평가를 받았다. 아시아그래픽스 젊은 연구자상은 2018년부터 수상을 하였으며, 성민혁 교수의 수상은 한국인 최초이다. 성민혁 교수는 2019년 스탠포드대학교에서 박사 학위를 받은 후, Adobe Research에서 연구 과학자로 활동한 뒤 2021년도에 KAIST에 교수로 부임했다. 그의 연구는 주로 기하학 처리에서 기계학습을 활용하는 분야에 집중되며, 3D 객체의 구성적 구조를 이해하고 이를 다양한 기하학 처리 작업에 적용하는 방법에 대해 선도적인 연구를 해왔다. 특히, 성 교수는 3D 객체 분할, 생성/완성, 그리고 복원 등 여러 분야에서 주요한 연구 성과를 이끌어냈다. 성민혁 교수의 연구는 또한 3D 객체의 변형 가능성을 학습하고 이를 3D 객체 검색 및 편집에 적용하는 데 중요한 기여를 했다. 최근 성 교수는 3D 생성 모델, 이미지 생성 모델, 그리고 메시(Mesh)와 NeRF/Gaussian Splats 편집 등 다양한 시각적 콘텐츠에 대한 생성 모델 기법을 확장하고 있다. 성민혁 교수는 SIGGRAPH Asia (2022, 2023), Pacific Graphics (2023), Eurographics (2022, 2024, 2025), ICLR (2025) 등의 주요 학술대회에서 기술 프로그램 위원으로 활동하며, Graphics Models 저널에서는 2022년부터 부편집장으로 활동하고 있다. 또한, Asiagraphs Webinar의 워킹 팀에서도 활동 중이다. 성 교수는 이번 아시아그래픽스 젊은 연구자상 수상으로 그동안의 탁월한 연구 업적을 인정받았으며, 기하학 처리 및 컴퓨터 그래픽스 분야에서의 미래의 연구 리더로서 기대를 모은다. https://www.asiagraphics.org/young2024/

KAIST 전산학부 김민혁 교수, SK하이닉스 산학연구과제 우수발명상 수상

KAIST 전산학부 김민혁 교수는 지난 11월 15일 SK하이닉스 본사(경기도 이천)에서 열린 제11회 '산학연구과제 우수발명 포상 시상식'에서 우수발명상을 수상했다. 본 시상식은 SK하이닉스와 산학협력을 진행하는 대학 연구자들을 대상으로 하며, 반도체 기술 연구 과정에서 출원된 특허의 혁신성과 실용성을 평가하여 우수 연구자에게 수여되는 상이다. 이번 포상에서 김민혁 교수는 휴대용 카메라로 사물과의 거리를 측정하는 ToF(Time of Flight) 센서의 정확도를 높이는 기술을 개발하여 3차원 영상 기술을 획기적으로 향상시킨 공로를 인정받았다. 이 기술은 실제 제품에 적용될 가능성이 높아 더욱 높은 평가를 받았다. 김민혁 교수의 연구는 첨단 AI 기술을 활용하여 3차원 영상 촬영에서 발생할 수 있는 다양한 변수와 최적화를 정량적으로 분석하는 데 중점을 두고 있다. 이를 통해 기존 연구 방식에서 간과되기 쉬운 미세한 조건들을 탐지하고, 3차원 거리 측정의 안정성과 성능을 극대화할 수 있는 새로운 방법론을 제시했다. 김민혁 교수는 이번 수상을 계기로 실질적인 산업 적용 가능성이 높은 연구를 더욱 확대할 계획이다. 이번 연구는 향후 인공지능 기반 최적화 기술 발전의 중요한 전환점이 될 것으로 기대된다.

KAIST 김대영 교수, 제 32회 오토아이디랩 (Auto-ID Labs) 아시아 워크샵 ..

제32회 오토아이디랩 아시아 워크샵이 11월 1일부터 2일까지 일본 게이오대학교에서 열렸습니다. 오토아이디랩은 국제 사물인터넷(Internet of Things) 공동 연구 컨소시엄으로, 전 세계 6개국의 주요 대학들이 참여하고 있습니다. 참여 대학에는 한국 KAIST, 미국 MIT, 영국 케임브리지, 스위스 ETH 취리히와 세인트갈렌, 중국 푸단대, 일본 게이오대가 포함되어 있습니다. 오토아이디랩은 1999년 세계 최초로 사물인터넷 용어와 개념을 소개하였습니다. 아시아 워크샵은 한국, 일본, 중국의 오토아이디랩과 대만의 대학들이 주축이 되어 2005년 부터 개최해 왔습니다. 이번 워크샵에서는 인공지능(AI), 앰비언트 IoT(Ambient IoT)와 같은 최신 연구가 주요 발표 주제로 다뤄졌습니다. 특히 KAIST는 생성형 AI와 사물인터넷 분야에서 총 11개의 주제를 발표하여 관련 연구의 발전과 새로운 가능성을 제시했습니다.

KAIST 이재길 교수, 세계 최대 데이터마이닝 학회 제주 유치 공로로 감사패 수상

KAIST 전산학부의 이재길 교수가 2026년 제32회 데이터마이닝 학회(ACM SIGKDD) 제주 유치에 기여한 공로로 감사패를 받았다. 10월 31일, 오영훈 제주특별자치도지사는 이재길 교수와 함께 유치추진위원단으로 활동한 김원 가천대 특임부총장, 심규석 서울대 교수에게도 감사패를 전달하며 제주 유치에 대한 감사의 뜻을 표했다. 이 교수는 IBM 알마덴 연구센터와 일리노이 어바나-샴페인 대학(UIUC)에서의 연구 경험을 바탕으로 국제 학술 네트워크를 적극적으로 활용하며, 제주가 학술 교류와 글로벌 네트워킹의 최적지임을 강조해 유치 활동을 성공적으로 이끌었다. 이와 같은 노력 덕분에 제주가 호주, 싱가포르 등과의 치열한 경쟁을 이겨내고 학회 유치에 성공할 수 있었다. 이번 감사패 수여는 제주가 세계 최대 데이터마이닝 학회를 개최하게 된 것에 대한 공로를 인정받은 것으로, 이 교수와 유치추진위원단의 노력 덕분에 SIGKDD 역사상 최초로 한국 개최가 성사된 만큼 큰 의미를 지닌다. 출처 : http://www.ilganjeju.com/news/articleView.html?idxno=129198

이의진 KAIST 교수 연구팀, 미국컴퓨터협회 학회서 최우수 논문상

KAIST 전산학부 이의진 교수 연구진이 10월 8일 호주 멜버른에서 열린 ACM 유비쿼터스 컴퓨팅 학회(Ubicomp/ISWC)에서 최우수 논문상을 수상했다. 이 학회는 인간-컴퓨터 상호작용(HCI) 분야의 최신 연구 성과를 공유하는 권위 있는 국제학회로, 이번 최우수 논문은 ‘적시 모바일 건강 중재의 참여도 저하에 관한 이해’를 주제로 한다. 최우수 논문상은 ACM 논문집에 게재된 205편 중에서 연구계에 탁월한 기여를 한 8편을 선정하며, 저명한 전문가들로 구성된 위원회가 한 달 이상 심사해 결정한다. 연구진은 건강 관리 앱에서 적시에 중재를 제공하는 방식을 실험한 결과, 사용자의 상황에 맞춘 중재에도 불구하고 참여도 저하를 피할 수 없음을 발견했다. 특히 자가 통제 능력이 높고 지루함 성향이 낮은 사용자가 중재에 더 높은 순응도를 보였고, 지루함 성향이 높은 사용자는 빠르게 순응도가 떨어졌다. 이의진 교수는 이번 연구가 디지털 치료제와 웰니스 서비스 참여도를 증진할 사용자 중심 인공지능 기술 개발의 기반이 될 것이라고 말했다. 관련기사 KAIST News - 2024년 10월 25일: KAIST 공식 홈페이지 한국대학신문 - 2024년 10월 25일: 한국대학신문 조선일보 - 2024년 10월 25일: 조선일보

브이플러스랩, 현대자동차 제로원데이 전시회에 몰입형 모빌리티 게임을 위한 지능형 CAN-게..

전산학부 김문주 교수가 창업한 소프트웨어 테스팅 전문 기업 브이플러스랩이 10월 23일(수)부터 27일(일)까지 서울 성수동 피치스도원에서 개최되는 현대자동차그룹의 창의인재 플랫폼 제로원(ZER01NE) ‘2024 제로원데이’의 몰입형 모빌리티 게임 전시에 참가한다. https://www.hyundai.co.kr/news/CONT0000000000162537 제로원(ZER01NE) 은 현대자동차그룹이 미래 모빌리티 시대를 이끌어갈 창의적인 인재들을 발굴하고 육성하기 위해 마련한 플랫폼이다. 매년 다양한 분야의 혁신적인 아이디어와 프로젝트를 선보이며 미래 모빌리티의 가능성을 제시하고 있다. 이번 전시회에서는 자동차를 단순한 이동 수단을 넘어 새로운 미디어 콘텐츠를 즐길 수 있는 공간으로 변화시킨 ‘오스피셔스 랜드스케이프 (Auspicious Landscape)’ 작품이 눈길을 끈다. 브이플러스랩은 이 작품에서 차량 인터페이스와 게임 간의 상호 작용을 가능하게 하는 핵심 기술을 제공했다. 브이플러스랩이 개발한 지능형 CAN-게이트웨이는 자동차의 핸들, 엑셀, 브레이크 등과 같은 인터페이스를 게임에 연결하여 운전자가 실제 차량을 운전하는 듯한 몰입감을 느낄 수 있도록 돕는다. 이 기술은 자동차와 게임 콘텐츠 간의 융합을 통해 새로운 차원의 모빌리티 경험을 제공할 것으로 기대된다.

KAIST 연구팀, 뇌 MR 영상 합성 챌린지 세계 1위！

KAIST 전산학부 박진아 교수 연구팀의 조지훈 박사와 박승혁 석사과정 학생이 최근 모로코에서 열린 세계적인 의료 영상 처리 학회인 ‘의료영상처리 2024 (Medical Image Computing and Computer Assisted Intervention 2024, MICCAI)’에서 뇌 MR 영상 합성 챌린지인 Brasyn(ASNR-MICCAI BraTS MRI Synthesis Challenge)에서 1위를 차지했다. Brasyn 챌린지는 뇌 MR 영상의 네 가지 모달리티(T1, T2, FLAIR, T1ce) 중 한 가지 모달리티가 손실되거나 심각하게 손상된 경우, 누락된 모달리티를 복원하는 기술을 겨루는 대회이다. 이 대회는 의료 영상에서 발생할 수 있는 정보 손실 문제를 해결하고, 보다 신뢰할 수 있는 진단 영상을 생성하는 데 중점을 둔다. 연구팀은 이 챌린지에서 2단계 접근 방식을 사용했다. 2차원(2D) 영상과 3차원(3D) 영상 처리 기법의 장점을 결합하여 보다 정확하고 자연스러운 MR 영상을 생성하는 혁신적인 방법을 도입했다. 이 방법을 통해 우수한 성능을 발휘하며 최종 1위를 차지했다. 이번 연구 결과는 뇌 질환 진단의 정확도를 크게 향상시키고, 보다 효과적인 치료법 개발에 기여할 것으로 기대된다. 연구팀은 앞으로도 인공지능 기술을 활용하여 의료 영상 분석 분야에서 선도적인 역할을 지속해 나갈 계획이다. 자세한 내용은 아래 링크를 통해 확인할 수 있다. Brasyn 챌린지 홈페이지: https://www.synapse.org/Synapse/wiki/627507

세바스티안 위다레흐트(Sebastian Wiederrecht) 전산학부 임용

2024년 10월 1일부로 Computing Theory 분야의 새로운 조교수로 세바스티안 위다레흐트(Sebastian Wiederrecht)가 KAIST 전산학부로 임용된다. 위다레흐트 교수는 구조적 및 알고리즘적 그래프 이론을 연구하며, KAIST에 부임하기 전 한국기초과학연구원(IBS)의 이산수학그룹(DIMAG)과 프랑스 LIRMM의 알고리즘, 그래프 및 조합론 그룹(AlGCo)에서 박사후연구원으로 활동했다. 그는 2021년 베를린 공과대학교(Technische Universität Berlin, TUB)에서 컴퓨터 과학 박사 학위를 취득했으며, 특히 이분 그래프에서의 매칭 마이너 이론과 Permanent 문제에 대한 응용을 개발한 바 있다. 위다레흐트 교수의 주요 연구 분야는 그래프 이론과 매개변수화된 복잡도(Parameterized Complexity)로, 구조적 그래프 이론에 집중되어 있으며, 그래프 마이너 이론과 관련된 그래프 포함 관계 이론의 발전에 주력하고 있다. 이 연구에는 구조 정리, 그래프 알고리즘, 매개변수화된 복잡도, 계산 문제, 라우팅 문제, 선형 대수 및 논리학과의 관련성 등이 포함된다. 위다레흐트 교수의 개인 웹사이트는 https://www.wiederrecht.com/에서 확인할 수 있으며, 연구실은 KAIST E3-1 건물의 3434호에 위치해 있다. KAIST에서의 활약이 기대되는 위다레흐트 교수의 임용은 이론 컴퓨터 과학 분야의 발전에 큰 기여를 할 것으로 기대된다. 세바스티안 위다레흐트 교수의 대표 연구 논문은 다음과 같다. Killing a vortex, Dimitrios Thilikos and S. Wiederrecht - FOCS 2022 and Journal of the ACM Packing even directed circuits quarter-integrally, Maximilian Gorsky, Ken-ichi Kawarabayashi, Stephan Kreutzer, and S. Wiederrecht - STOC 2024 A flat wall theorem for matching minors in bipartite graphs - Archontia Giannopoulou, S. Wiederrecht - STOC 2024 Obstructions to Erdős-Pósa dualities for minors - Christophe Paul, Evangelos Protopapas, Dimitrios Thilikos, S. Wiederrecht - FOCS 2024

KAIST 전산학부 안성진 교수팀, 딥러닝 대부 요슈아 벤지오 교수와 국제공동연구센터 설립

KAIST 전산학부 안성진 교수 연구팀이 세계적인 인공지능 권위자인 요슈아 벤지오 교수와 함께 ‘KAIST-Mila 프리프론탈 인공지능 연구센터’를 설립한다. 이 사업은 과학기술정보통신부와 한국연구재단이 지원하는 ‘2024년도 해외우수연구기관 협력 허브 구축사업’의 일환으로, 2024년 7월부터 2028년 12월까지 총 27억 원의 연구비가 지원된다. 이 센터는 차세대 인공지능 기술 개발을 위한 국제 공동 연구의 중심 역할을 수행할 예정이다. 요슈아 벤지오 교수는 딥러닝 분야의 선구자로, 현대 인공지능 연구에 지대한 영향을 미친 인물이다. 그의 연구는 딥러닝 기술의 발전을 이끌었으며, 이번 KAIST와의 협력은 그의 Mila(Montreal Institute for Learning Algorithms) 연구소와 KAIST의 인공지능 연구 역량을 결합하여 차세대 인공지능 기술 발전의 새로운 전환점을 마련할 것으로 기대된다. 이번 연구의 핵심은 인간의 고위인지 능력을 모방하는 ‘시스템2’ AI 기술 개발이다. 시스템2는 데니얼 카네만의 듀얼 프로세스 이론에서 유래한 개념으로, 복잡하고 논리적인 사고 과정을 담당하는 역할을 한다. 이 기능은 주로 뇌의 전두엽에서 이루어지며, 계획, 판단, 추론 등 고차원적인 인지 기능을 처리한다. 현재의 딥러닝 기술이 대형 언어 모델의 발전에도 불구하고 이러한 고위인지 기능을 효과적으로 구현하지 못하는 한계가 있는 만큼, 이번 연구는 이를 극복하고 전두엽의 기능을 AI에 통합하는 ‘프리프론탈 AI’를 구현하기 위한 기반 기술을 확보하는 것을 목표로 한다. KAIST의 홍승훈 교수와 포항공과대학교(POSTECH)의 안성수 교수도 이번 연구에 공동연구진으로 참여한다. 홍 교수는 시스템2 메타 학습 알고리즘을 연구하고, 안 교수는 시스템2 기능을 AI4Science 응용에 적용하는 연구를 진행할 예정이다. 안성진 교수는 “요슈아 벤지오 교수와의 협력은 차세대 인공지능 기술 개발에 있어 중요한 이정표가 될 것입니다. 이 연구를 통해 인간의 전두엽이 담당하는 고위인지 기능을 모방하는 딥러닝 알고리즘을 개발하고, 안전하고 신뢰할 수 있는 인공지능 에이전트를 구현하는 데 필요한 기술적 기반을 마련할 수 있을 것입니다”라고 밝혔다. KAIST는 이번 연구센터 설립을 통해 국제적인 연구 네트워크를 강화하고, 인공지능 분야에서 세계적인 선도 기관으로서의 위상을 한층 공고히 할 전망이다. ZDNet Korea - KAIST, 딥러닝 대부 요슈아 벤지오 교수와 '시스템2' 공동 연구​(IT세상을 바꾸는 힘 지디넷코리아) HelloDD - KAIST, '딥러닝 대부' 요슈아 벤지오와 AI 연구센터 설립​(헬로디디) 인공지능신문 - KAIST, 요슈아 벤지오 교수와 'KAIST-MILA 프리프론탈 인공지능 연구센터' 설립​(인공지능신문)

KAIST, 세계적 AI 학회 CIKM 2025 차미영, 박노성, 박찬영 교수 Genera..

<사진상 좌즉부터 박노성 교수, 차미영 교수, 박찬영 교수> 인공지능 분야 세계 최고 권위의 학술대회 중 하나인 CIKM(Conference on Information and Knowledge Management)이 2025년 서울에서 개최된다. CIKM은 추천 시스템, 정보 검색, 데이터 마이닝 등 인공지능 핵심 분야의 최신 연구 동향을 공유하는 글로벌 플랫폼으로 자리매김해왔다. 이번 CIKM 2025의 성공적인 개최를 위해 KAIST 전산학부 차미영 교수와 박노성 교수가 공동 General Chair로 선임되었다. 차 교수는 독일 막스플랑크 연구소(MPI-SP) 디렉터를 역임하며 세계적인 연구 성과를 인정받고 있으며, 박 교수는 KAIST에서 활발한 연구 활동을 통해 국내 인공지능 연구를 선도하고 있다. 두 교수는 프로그램 구성, 논문 심사, 스폰서십 관리 등 학회 전반을 총괄하며, 국내외 연구자들의 참여를 이끌어내고 학술 교류를 활성화하는 데 앞장설 예정이다. 뿐만 아니라, KAIST 산업 및 시스템 공학과 박찬영 교수가 General Chair로 추가 선임되어 학회의 전략적 방향 설정과 운영을 지원한다. KAIST의 세 교수가 이끄는 CIKM 2025는 한국의 인공지능 연구 수준을 세계에 알리고, 국내 인공지능 생태계를 한층 더 발전시키는 계기가 될 것으로 기대된다.

심장섭 초빙교수, 몽골 최고 훈장 수훈

(사진설명) 심장섭 KAIST 전산학부 초빙교수가 몽골 울란바토르에서 현지 시각으로 22일 몽골 정부가 외국인에게 수여하는 몽골 최고등급의 훈장인 ‘북극성 훈장’을 받았다.(왼쪽부터) 친조릭 곤치그 몽골 통신규제위원회 위원장, 심장섭 초빙교수 ====================================================================== KAIST 심장섭 교수, 몽골 정부 최고 훈장 ‘알탄 가다스’ 수훈 - 몽골 정부가 자국 발전에 기여한 외국인에게 주는 최고등급 훈장 ‘알탄 가다스’ 수훈 - 소프트웨어 역량평가제도인 TOPCIT의 현지 전파, 국가 정보화사업 지원 등 활동 - 몽골 · 한국 ICT 분야 교류 활성화 공로 인정받아 22일 몽골 현지에서 수여식 진행 ====================================================================== KAIST(총장, 이광형)는 심장섭 전산학부(학부장, 류석영) 초빙교수가 오흐나 후렐수흐 몽골 대통령으로부터 ‘북극성 훈장(알탄 가다스)’을 수훈했다고 23일 밝혔다. ‘북극성 훈장’은 몽골 정부가 자국 발전에 이바지한 외국인에게 서훈하는 최고 등급의 훈장이다. 수여식은 몽골 울란바토르에서 현지 시각으로 22일 열렸으며, 친조릭 곤치그 몽골 통신규제위원회 위원장이 대통령을 대리해 훈장을 전달했다. 심 교수는 양국 정보통신기술 산업 교류 활성화에 이바지한 공로를 인정받았다. 심장섭 교수는 2008년부터 몽골 정보통신기술 분야의 소프트웨어 고급인력을 양성하고 몽골 정부가 추진하는 다수의 국가정보화사업을 지원하는 등 다양한 활동을 벌여왔다. 특히, 우리나라에서 개발한 소프트웨어 역량평가제도인 TOPCIT＊을 몽골 내에 전파하고 제도 시행을 확대하기 위해 유관 공무원들의 교육사업을 적극적으로 지원했다. ＊ TOPCIT(Test Of Practical Competency in IT, 소프트웨어 역량검정):소프트웨어를 활용한 창의적 문제해결 능력을 평가하기 위한 법정 검정시험. 몽골은 현재 아시아 상위권의 정보통신기술 보유국 진입을 목표로 전자정부 고도화를 위한 ‘E-몽골리아(Mongolia)’ 정책을 펼치는 등 다양한 사업을 추진 중이다. 심장섭 교수는 “북극성 훈장 수훈은 한·몽골 양국의 정보통신기술산업과 소프트웨어 분야 발전을 위해 함께 노력한 동료 직원들의 헌신과 노력에 대한 보상”이라고 소감을 밝혔다. 이어, “앞으로도 한국과 몽골의 상호 협력이 지속해서 유지·확대되길 희망한다”고 덧붙였다. 심장섭 교수는 LG 유플러스(옛 데이콤)의 책임연구원으로 대덕 연구소에서 전자교환기 소프트웨어 개발사업 등 국가기간전산망 개발에 참여한 바 있다. 이후, 정보통신산업진흥원(NIPA)·정보통신기획평가원(IITP) 등에서 약 40년간 근무한 경력의 정보통신기술 전문가다. 지난 2020년 8월부터는 KAIST 전산학부 산학협력중점교수로 자리를 옮겨 현재 초빙교수로 재직 중이다. 관련기사 https://www.hankyung.com/article/2024082322701 https://www.hankookilbo.com/News/Read/A2024082313100005156

2024년 하반기 Computing 분야 중／단기 인턴 및 채용 설명회에 여러분을 초대합니..

2024년 하반기 Computing 분야 중/단기 인턴 및 채용 설명회에 여러분을 초대합니다. KAIST SW교육센터와 전산학부가 공동 주최하는 이번 설명회는 전산학부 학생들의 진로 탐색을 지원하고, 다양한 Computing 분야의 기업과 만날 수 있는 소중한 기회를 제공합니다. ■ 일시 및 장소 - 현장 JOB FAIR (KAIST 류근철 스포츠컴플렉스 2층 로비) : 9/3~9/5 (10:00~17:00) - 기업설명회 : 전산학부 E3-1 (1104호, 1101호), N1 (114호) - 온라인 채용설명회 : 9/2~9/8 ■ 왜 이 설명회에 참여해야 할까요? - 사전 검증된 기업: KAIST 전산학부와 협약을 맺은 신뢰할 수 있는 기업들이 참여하여, 학생들은 안심하고 기업 정보를 얻고 채용 과정에 참여할 수 있습니다. - 다양한 분야: 인공지능, 빅데이터, 클라우드 컴퓨팅 등 다양한 Computing 분야의 기업들이 참가하여, 자신의 관심 분야에 맞는 기업을 찾을 수 있습니다. - 맞춤형 상담: 현장에서 기업 담당자와 1:1 상담을 통해 궁금한 점을 해결하고, 진로에 대한 조언을 얻을 수 있습니다. - 인턴십 및 채용 기회: 다양한 기업의 인턴십 및 채용 프로그램에 대한 정보를 얻고, 현장에서 직접 지원할 수 있습니다. ■ 어떤 학생들이 참여하면 좋을까요? - KAIST 전산학부 학생 - 컴퓨터 관련 학과 재학생 - Computing 분야에 관심 있는 학생 ■ 어떤 내용으로 진행되나요? - 각 기업의 소개 - 인턴십/채용 프로그램 설명 - Q&A 시간 - 기업 담당자와의 1:1 상담 ※ KAIST CCC(Computing Convergence Consortium) 사업 참여 안내 보기 https://cs.kaist.ac.kr/content?menu=216

˝KAIST 연구팀, NAACL 2024에서 ＇Resource Award＇ 수상！ 혐오 발..

KAIST 전산학부 Users & Information Lab. 연구실의 오혜연 교수와 제1저자 석사과정 이나연(오혜연 교수 지도 학생)의 연구가 지난 6월 16일부터 21일까지 멕시코시티에서 열린 '2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics' (NAACL 2024) 국제 학회에서 '교차 문화적 데이터셋 구축을 통한 영어 혐오 발언 어노테이션의 문화 간 차이와 영향 분석(Exploring Cross-Cultural Differences in English Hate Speech Annotations: From Dataset Construction to Analysis)'에 관한 논문으로 '리소스 어워드(Resource Award)'를 수상했다. NAACL은 자연어처리 분야에서 최고 권위를 자랑하는 국제 학회로, 올해는 2,434편의 논문이 제출되었으며 그 중 565편만이 채택되었다 (채택률 23.2％). Resource Award는 학회에서 주어지는 특별한 상 중 하나로, 제출 논문 중 혁신성, 활용 가능성, 영향력, 품질을 고려하여 선정된다. 이번 수상 연구는 교차 문화적 영어 혐오 발언 데이터셋을 구축하고, 문화 간 어노테이션 차이와 대형 언어 모델의 편향성을 분석하여 영어 혐오 발언 분류기의 문화적 민감성을 향상시키는 데 기여했다는점에서 높은 평가를 받았다. 이번 연구에는 KAIST 전산학부의 이나연, 정찬이, 명준호, 진지호 학생들과 Cardiff University의 Jose Camacho-Collados 교수, KAIST 전산학부의 김주호 교수, 오혜연 교수가 참여하였다. 본 연구는 미국, 호주, 영국, 싱가포르, 남아프리카 공화국의 5개 영어권 국가에서 수집된 데이터와 어노테이션을 기반으로 하여, 각국의 문화적 배경이 혐오 발언 어노테이션에 미치는 영향을 분석했다. 이를 통해 문화적 배경이 혐오 발언 인식에 미치는 중요한 차이를 밝혀냈으며, 특히 서구권 국가와 다른 문화적 맥락을 가진 국가 간의 어노테이션 차이가 두드러짐을 보였다. 오혜연 교수와 이나연 학생은 "이번 연구를 통해 혐오 발언 탐지에 있어 문화적 차이의 중요성을 밝힐 수 있어 기쁩니다. 연구팀의 노력 덕분에 이러한 성과를 얻을 수 있었으며, 앞으로도 자연어처리 분야에서 문화적 다양성을 고려한 연구를 지속해 나가겠습니다."라고 소감을 전했다. 이번 수상은 KAIST 연구팀의 혁신적인 접근과 자연어처리 분야에서의 문화 간 연구의 중요성을 국제적으로 인정받은 결과이다. 이는 앞으로 관련 연구 발전에 큰 기여를 할 것으로 기대된다. 연구 결과는 혐오 발언 탐지 분야뿐만 아니라, 다문화 사회에서의 인공지능 윤리와 문화적 편향성 해소 등 다양한 분야에 활용될 수 있을 것으로 기대된다. 자세한 내용은 논문 링크(https://aclanthology.org/2024.naacl-long.236)에서 확인할 수 있다.

카카오임팩트, 홍은택 후임 이사장에 류석영 카이스트 교수 선임

카카오의 사회공헌 전문기관 카카오임팩트는 24일(월) 이사회를 열고 인공지능(AI) 전문가 류석영 전산학부 교수를 신임 이사장으로 선임했다. 류 교수는 카카오브레인 설립 초기부터 기술 개발 및 사업 추진에 참여하며 카카오의 AI 기술 발전에 크게 기여한 인물이다. 임기 3년의 류 신임 이사장은 카카오임팩트의 인공지능 기술 기반 사회 문제 해결 사업 강화에 힘쓸 것으로 기대된다. 특히, 교육, 의료, 환경 분야에서 AI 기술을 활용한 다양한 사회공헌 사업을 추진할 계획이다. 류 신임 이사장은 "카카오임팩트의 사회공헌 활동에 동참하게 되어 영광이며, 인공지능 기술을 통해 사회에 긍정적인 변화를 가져오는 데 최선을 다하겠다"고 밝혔다 류석영 교수 홈페이지: https://plrg.kaist.ac.kr/ryu [관련 기사] 한국경제: https://www.hankyung.com/article/202406247887g 머니투데이: https://news.mt.co.kr/mtview.php?no=2024062413494210850 디지털투데이: https://www.digitaltoday.co.kr/news/articleView.html?idxno=522407

KAIST 강성원 교수, 노암 촘스키의 저서 ＜지식인의 자격＞ 번역 출간

KAIST 전산학부 강성원 교수는 현대 언어학의 개척자이자 생존하는 가장 중요한 지식인으로 알려진 노암 촘스키의 저서 <지식인의 자격: 지식인의 책임과 그 후편>(황소걸음, 184쪽)을 윤종은 번역가와 공동 번역하여 2024년 3월 출간했다. <지식인의 자격>은 베트남 전쟁이 한창이던 1967년 촘스키가 쓴 〈지식인의 책임〉과 2011년에 쓴 〈지식인의 책임 후편: 국가를 견제하기 위한 특권의 사용〉을 하나의 책으로 묶은 것이다. 촘스키는 이 책에서 지식인의 책임과 역할에 대해 명쾌하지만 뼈아픈 답을 제시한다. 강성원 교수는 한국정보과학회 소프트웨어공학소사이어티 회장을 역임하였고 ACM Symposium On Applied Computing의 소프트웨어 아키텍처 트랙 공동의장으로 활동 중이다. 저서로는 <소프트웨어 아키텍처로의 초대 - 소프트웨어 아키텍처 설계의 근본 원리들>, <체계적인 소프트웨어 제품라인 개발>와 공저 <소프트웨어 제품라인 개발 입문>이 있다.

대전에서 개최 예정인 대형 국제학술행사 MICCAI 2025 의장인 전산학부 박진아 교수의..

MICCAI 2025 Venue: Daejeon, Republic of Korea Conference Dates: September 23 - 27, 2025 Conference Chairs: Jinah Park, Polina Golland, Jonghyo Kim Paper submission deadline: To be announced https://www.youtube.com/watch?v=BAnfmj8Bn1s http://www.djto.kr/kor/board.do?menuIdx=611

손정주 박사 (지도교수 유신) 경북대학교 컴퓨터학부 조교수 임용

KAIST 전산학부를 졸업한 손정주 박사(지도교수 유신)가 2024년 3월 1일부로 경북대학교 컴퓨터학부 조교수로 임용된다. 손정주 박사는 학부 이화여대 컴퓨터공학과, 석사 및 박사 KAIST 전산학부를 거쳐 2021년 "결함 위치 식별과 결함 예측간의 보완적 상호작용"을 주제로 박사학위를 받았다. 학위과정 동안 소프트웨어공학 분야 최우수학회인 ISSTA(The ACM SIGSOFT International Symposium on Software Testing and Analysis) 그리고 SCI급 저널인 IEEE TSE(Transactions on Software Engineering)와 ACM TOSEM(Transactions on Software Engineering and Methodology) 에 모두 1저자로 참여해 우수한 연구실적을 인정받았다. 졸업 후에는 University of Luxembourg(독일, 룩셈부르크 에슈쉬르알제트의 대학교) 에서 박사후연구원으로 재직후 오는 3월 1일부로 경북대학교 컴퓨터학부 조교수로 임용된다. 임용을 축하합니다.

전산학부 한준 교수 임용

우리 KAIST 전산학부에 2024년 2월 1일부로 한준 교수가 임용되었다. 한준 교수는 2018년 미국 카네기멜론대학교(Carnegie Mellon University)에서 IoT 보안 연구로 컴퓨터공학 박사학위를 취득했으며 2024년 2월 KAIST 부임 전까지 약 6년간 싱가포르 국립대학교 전산학과 및 연세대학교 전기전자공학부에서 조교수로 근무했다. 현재 KAIST 사이버-물리 시스템 및 보안 연구실(CyPhy 랩) 연구실을 이끌고 있으며 자세한 정보는 https://cs.kaist.ac.kr/people/view?idx=645&kind=faculty&menu=160 https://www.junhan.org/ 에서 확인할 수 있다. 한준 교수의 대표 연구실적으로는 다음과 같다. Bangjie Sun, Kanav Sabharwal, Gyuyeon Kim, Mun Choon Chan, and Jun Han, "Testing Masks and Air Filters With Your Smartphones", ACM SenSys 2023 Soundarya Ramesh, Ghozali Suhariyanto Hadi, Sihun Yang, Mun Choon Chan, and Jun Han, "TickTock: Detecting Microphone Status in Laptops Leveraging Electromagnetic Leakage of Clock Signals", ACM CCS 2022 Bangjie Sun, Sean Rui Xiang Tan, Zhiwei Ren, Mun Choon Chan, and Jun Han, "Detecting Counterfeit Liquid Food Products in a Sealed Bottle Using a Smartphone Camera", ACM MobiSys 2022 Soundarya Ramesh, Rui Xiao, Anindya Maiti, Jong Taek Lee, Ananda Kumar, Harini Ramprasad, Murtuza Jadliwala, and Jun Han, "Acoustics to the Rescue: Physical Key Inference Attack Revisited", USENIX Security 2021 임용을 진심으로 축하 드립니다.

전산학부 박노성 교수 임용

우리 KAIST 전산학부에 2024년 2월 1일부로 박노성 교수가 임용되었다. 박노성 교수는 2016년 미국 메릴랜드주립대(University of Maryland, College Park)에서 박사 학위를 취득 했으며 2016년~2018년 노스캐롤라이나주립대 샬럿(University of North Carolina at Charlotte) 에서 2018년~2020년 조지메이슨대학교(George Mason University) 에서 조교수 재직 이후 2020년~2024년도까지는 연세대에서 부교수로 재직했다. 현재 KAIST 빅데이터 분석 및 학습 연구실을 이끌고 있으며 자세한 정보는 아래와 같습니다. https://cs.kaist.ac.kr/people/view?idx=644&kind=faculty&menu=160 https://sites.google.com/view/noseong 대표논문은 다음과 같습니다. Woojin Cho, Kookjin Lee, Donsub Rim, and Noseong Park, "Hypernetwork-based Meta-Learning for Low-Rank Physics-Informed Neural Networks," Conference on Neural Information Processing Systems (NeurIPS), 2023 Jeongwhan Choi, Seoyoung Hong, Noseong Park, and Sung-Bae Cho, "GREAD: Graph Neural Reaction-Diffusion Networks," International Conference on Machine Learning (ICML), 2023 Noseong Park, Mahmoud Mohammadi, Kshitij Gorde, Sushil Jajodia, "Data Synthesis based on Generative Adversarial Networks," International Conference on Very Large Data Bases (VLDB), 2018 임용을 진심으로 축하 드립니다.

전산학부 김은정 교수 임용

우리 KAIST 전산학부에 2024년 1월 1일부로 김은정 교수님께서 부임해 오셨습니다. 김은정 교수는 2010년 런던 대학교에서 컴퓨터 과학 분야의 박사학위를 취득한 후, 프랑스 몽펠리에의 CNRS 연구소 LIRMM에서 박사후 연구원으로 근무했으며 2011년부터는 프랑스 국립과학연구센터 (CNRS)의 연구원으로 재직했습니다. 전공은 Algorithms design, Computational complexity, Structural graph theory 로 자세한 정보는 아래와 같으며 https://cs.kaist.ac.kr/people/view?idx=640&kind=faculty&menu=160 https://www.lamsade.dauphine.fr/~kim/ 대표논문은 다음과 같습니다. · Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström, Directed flow-augmentation, The proceedings of the 54th Annual ACM Symposium on Theory of Computing (STOC 2022). · Édouard Bonnet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigan, Twin-width I: tractable FO model checking. the proceedings of the 61st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2020). Journal of ACM ACM 69 (1), pp.1-46 (2022). · E. J. Kim and O-Joung Kwon, Erdos-Posa property of chordless cycles and its applications. The proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2018). Journal of Combinatorial Theory B 145, pp 65-112 (2020). 부임을 진심으로 축하 드립니다.

Lucky 7 Social at N1 개최

[Lucky 7 Social at N1 포스터] 지난 12월 14일(목) 우리 전산학부 인터랙티브 컴퓨팅 연구실(지도교수 이의진)에서 소셜 이벤트인 "Lucky 7 Social at N1"가 진행되었다. 이번 Lucky 7 Social at N1 이벤트는 KAIST L.O.V.E. 프로젝트의 일환으로 KAIST IT융합빌딩(N1) 7층에서 연구하는 구성원대상 연구실 간의 교류를 촉진하고 한 해 동안 감사했던 순간들을 나누자는 의미로 기획되었으며 인터랙티브 컴퓨팅 연구실의 교수 및 학생들 주관으로 약 한 달 동안 준비된 행사이다. [복도를 가득 채운 N1 7층 연구실 구성원들] N1 7층 건물에 위치한 4개의 전산학부 연구실(이기혁, 이의진, 한동수, 최호진 교수)과 4개의 전기및전자공학부 연구실(강준혁, 박현철, 이시현, 최준일 교수) 약 80여 명의 구성원이 참여해 실험실 소개, 감사의 마음 전하기, 피플 빙고, Thanks Board 등 다채로운 프로그램을 통해 즐거운 분위기 속에 진행되었다. 1. 실험실 소개: 7층에 있는 8분의 교수님들의 각 연구실에 대한 간단한 소개와 더불어 실험실 학우분들의 열띤 함성으로 서로를 격려하며 이벤트를 시작했습니다. 2. 감사의 마음 전하기: 새로 오신 환경 관리사님을 소개하고 감사의 마음을 담은 선물을 전달했습니다. 선물을 후원해주신 7층 교수님들께 감사드립니다！ 3. 피플 빙고: 참여자들은 다양한 질문으로 이루어진 빙고 카드를 채워가며 서로 알아가는 기회를 가졌습니다. "수학을 싫어하는 사람", "겨울보다 여름을 좋아하는 사람"과 같은 소소한 질문을 나누면서 참여자들 사이에 대화할 수 있는 기회였습니다. 빙고 2줄을 먼저 완성한 참여자와 모든 빙고를 채운 참여자에게 선착순으로 특별한 선물을 나눴습니다. 4. Thanks Board: 참여자들은 "Thanks board"에 한 해 동안 감사했던 순간들을 포스트잇에 기록하여 붙이는 시간도 가졌습니다. [행사 속 다채로운 이벤트의 순간들] 이번 이벤트를 통해 한해를 마무리하며 서로의 이야기를 듣고 나누는 기회를 가질수 있었으며 다른 연구실의 구성원과도 서로 알게 되고 관심을 가지게 되었다. 특별히 전산학부 및 전기및전자공학부 두 학과의 연구실 구성원들이 함께 참여해 서로의 관심사와 연구실 생활도 가볍게 나누는 소중한 시간이 되었다. 참여자들은 맛있는 도넛과 커피를 즐기며 행사에 대한 긍정적인 피드백을 전했으며 한 참여자는 "빙고 게임을 하면서 다른 연구실 사람들과 부담 없이 소통할 수 있는 기회가 되어 좋았다.”며 “앞으로도 이런 행사가 종종 있으면 좋겠다."라고 응답했다. Lucky 7 Social at N1 이벤트는 연구실 간의 소통을 위한 좋은 출발점이 되었다. [도넛과 커피를 즐기며 자유롭게 소통하는 N1 7층 연구실 구성원들]

전산학부 이의진 교수, ICMU 학회 기조 강연 진행​

https://news.kaist.ac.kr/news/html/news/?mode=V&mng_no=33130 [전산학부 이의진 교수] 우리 대학 전산학부 이의진 교수가 11월 29~12월 1일 동안 일본 교토에서 열린 ICMU 학회(The 14th International Conference on Mobile Computing and Ubiquitous Networking)에서 “참여도 증강을 위한 데이터 기반의 디지털 헬스 및 웰빙(Towards Data-Driven Digital Health and Wellbeing for Engagement Enhancement)”라는 주제로 기조 강연을 진행했다. 올해 14회째를 맞는 ICMU 학회는 모바일 및 유비쿼터스 컴퓨팅을 다루는 국제학회로 사람, 스마트 센서, 기기가 초연결된 차세대 컴퓨팅환경에 관한 최신연구 성과를 공유하고 연구 방향을 모색하는 학술교류의 장이다. 이번 학회는 센싱, 소셜 응용, 보안, 통신 등을 주제로 32편의 학술논문과 11편의 포스터가 발표됐다. 이의진 교수는 모바일, 웨어러블, 사물 인터넷(IoT) 기술을 활용하여 인간의 웰빙과 잠재력 실현을 목표로 하는 긍정 컴퓨팅에 분야를 연구하고 있다. 특히 데이터를 활용하여 정신적, 사회적 웰빙(예: 스트레스 관리 및 사회적 정서적 학습), 신체적 웰빙(예: 운동, 수면 코칭), 업무 생산성(예: 주의력 관리) 등을 증진하는 응용 기술을 개발해왔다. 이번 기조 강연에서는 이의진 교수는 모바일, 웨어러블, IoT로부터 수집되는 다양한 센서 및 상호작용 데이터를 활용하여 건강 및 웰빙 문제를 자동으로 찾아내 사용자의 참여도와 치료의 효과성을 증진할 수 있는 데이터 기반 디지털 헬스케어 최적화 기법과 연구 방향에 대해서 논의했다. ICMU 학술대회 홈페이지: https://www.icmu.org/icmu2023/

브이플러스랩, 국내 최대 SW 테스팅 컨퍼런스 베스트콘 (BeSTCon) 2023 강연 및..

김문주 교수가 창업한 브이플러스랩이, 10월 31일 (화) 서울 COEX에서 열리는 국내 최대 SW 테스팅 컨퍼런스인 베스트콘 (BeSTCon) 2023에서 SW 자동 테스팅 기술 강연 및 홍보 부스를 운영한다. https://www.sek.co.kr/2023/Bestcon 브이플러스랩은 베스트콘 2023에서 KAIST 연구진이 10년 넘게 자체 개발한 Concolic 자동 테스팅 엔진 CROWN을 상용화한 CROWN 2.0을 전시하며, CROWN 2.0을 활용한 산업체 성공 사례를 공유한다. 브이플러스랩은 CROWN 2.0의 AI기반 concolic 테스팅 기술을 현대모비스의 20만줄 크기의 자동차 SW에 적용해 분기 커버리지 90％를 자동으로 달성해 테스팅 소요 인건비를 70％까지 절감한 결과를, 전문가들의 엄격한 심사를 거쳐 세계 최고의 소프트웨어공학 국제학술대회인 ICSE 2019에 발표한 바 있다. 또한, CROWN 2.0을 자동차 분야 모델 기반 개발 프로세스에 (Model-based development (MBD)) 적용하여, Matlab/Simulink 모델에서 자동 생성된 복잡한 C 코드에 CROWN 2.0을 적용하여 80％ 분기 커버리지를 자동으로 달성한 성공 사례를 발표한다. CROWN 2.0은 우수한 성능을 인정받아 현대자동차, LIG넥스원, ETRI, 국가보안기술연구소, 포항공대 등 국내 대표적 산학연 기관에 판매하였으며, 브이플러스랩의 우수한 기술력 및 역량을 인정받아, 높은 안정성과 신뢰성이 요구되는 국방 분야 핵심SW 사업 과제 (AI기반 SW 자동테스팅)를 LIG넥스원과 4개년 간 수행중이다.

KAIST Professor Joseph Seering wins Best Paper Awa..

KAIST faculty member Joseph Seering has won a Best Paper Award for his paper, "Hate Raids on Twitch: Echoes of the Past, New Modalities, and Implications for Platform Governance", co-authored with colleagues at Stanford University. The paper was presented at the ACM conference on Computer-Supported Cooperative Work (CSCW), which was held in Minneapolis, USA from October 14-18, 2023. The Best Paper Award was granted to the top 1％ of papers out of more than 1000 submitted papers from researchers around the world. The multi-stage selection process included feedback from double-blind peer reviews as well as a secondary review process from an awards committee. The paper performs an analysis of large scale targeted bot attacks that occurred on the Twitch video livestreaming platform in summer and fall of 2021. It describes patterns of behavior involved in the attacks, considers potential motivations, and details how targeted users responded. Professor Seering has previously received Best Paper and Honorable Mention awards for his publications at the ACM CSCW, CHI, and CHI Play conferences. His research focuses primarily on content moderation and online safety.

“타입으로 견고하게 다형성으로 유연하게： 탄탄한 개발을 위한 씨줄과 날줄” 저서 발간

우리 전산학부 재학생 홍재민 학생(석박사통합과정, 지도교수 류석영 교수)이 저술한 “타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄” 저서가 발간되었다. 홍재민 학생은 학부생 시절 타입 관련 연구를 진행하여 세계 최고의 프로그래밍 언어 분야 학술 대회인 POPL에 논문이 채택된 바 있으며, 현재는 C 프로그램을 러스트로 자동 번역하는 연구를 진행하고 있다. “타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄”은 타입 검사의 유용함 및 다형성을 통해 타입을 효과적으로 활용하는 방법을 알려 주는 저서다. 파이썬이나 자바스크립트처럼 타입 검사가 없는 언어를 주로 사용해 왔지만 타입스크립트와 같이 타입 검사가 있는 언어를 사용해 보려고 하는 독자들에게 적극 추천한다. 또한, 이미 타입 검사가 있는 언어를 사용하고 있지만 타입을 잘 활용하지 못하고 있다고 느끼는 독자들에게도 적극 추천한다. 저서 설명: https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=326340238 저자 홈페이지: https://hjaem.info/

강성원 교수 Computing 저널 특집호 ˝의존 가능한 복합기술 소프트웨어 시스템의 아..

우리 전산학부 강성원 교수가 2023년 8월 Impact Factor 3.7의 SCIE 저널인 Computing에 "의존 가능한 복합기술 소프트웨어 시스템의 아키텍처 설계(Architecting Dependable Multi-paradigm Computing Systems)" 제목의 특집호(Computing (2023) 105:1847, 출판사 Springer Nature)를 발간했다. 강성원 교수와 특집호를 공동 편집한 Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola 교수는 전산학 분야의 전통 있는 컨퍼런스인 ACM/SIGAPP Symposium On Applied Computing Software의 Architecture: Theory, Technology, and Applications트랙의 공동의장으로 특별호는 트랙 10주년을 기념하여 발행하게 되었다. 강성원 교수는 2014년부터 ACM Symposium On Applied Computing의 소프트웨어 아키텍처 트랙 공동의장으로 활동 중이며, 저서로는 "소프트웨어 아키텍처로의 초대(2012년(초판), 2021년(제4판))," "체계적인 소프트웨어 제품라인 개발(2017년)," "소프트웨어 제품라인 개발 입문(2021년)"이 있다.