Skip to content

Commit 163bacd

Browse files
hongshinhongshin
committed
Update
1 parent d88aad4 commit 163bacd

5 files changed

Lines changed: 305 additions & 20 deletions

File tree

‎2026/05/01/Project.html‎

Lines changed: 223 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,223 @@
1+
<!DOCTYPE html>
2+
<html lang="en"><head>
3+
<meta charset="utf-8">
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
5+
<meta name="viewport" content="width=device-width, initial-scale=1"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="SDEV Lab" /></head>
6+
<style>@import url(/public/css/syntax/monokai.css);</style>
7+
<title>SDEV Lab</title>
8+
<!-- <link href="/public/css/bootstrap.min.css" rel="stylesheet"> -->
9+
10+
<link href="/public/css/style.css" rel="stylesheet">
11+
<body>
12+
<div class="container">
13+
<div class="sidebar">
14+
<div class="sidebar-item sidebar-header">
15+
<p></p>
16+
<p></p>
17+
<div class='sidebar-brand'>
18+
<a href="/">SDEV Lab</a>
19+
</div>
20+
<p class="lead">Software Development and Verification Methodologies Lab@CBNU </p></div>
21+
22+
<div class="sidebar-item sidebar-nav">
23+
<ul class="nav">
24+
<!--
25+
<li class="nav-title">Pages</li>
26+
-->
27+
<li>
28+
<a class="nav-item" href="/">Home</a>
29+
</li>
30+
<li>
31+
<a class="nav-item" href="/about/">About SDEV Lab</a>
32+
</li>
33+
<li>
34+
<a class="nav-item" href="/members/">Members</a>
35+
</li>
36+
<li>
37+
<a class="nav-item" href="/publications/">Publications</a>
38+
</li>
39+
<li>
40+
<a class="nav-item" href="/projects/">Projects</a>
41+
</li>
42+
<li>
43+
<a class="nav-item" href="/teaching/">Teaching</a>
44+
</li>
45+
<!--
46+
47+
48+
49+
50+
51+
52+
<li>
53+
<a class="nav-item" href="/about/">
54+
About
55+
</a>
56+
</li>
57+
58+
59+
60+
61+
62+
<li>
63+
<a class="nav-item" href="/about/">
64+
About SDEV Lab
65+
</a>
66+
</li>
67+
68+
69+
70+
71+
72+
73+
74+
75+
76+
77+
78+
<li>
79+
<a class="nav-item" href="/members/">
80+
Members
81+
</a>
82+
</li>
83+
84+
85+
86+
87+
88+
<li>
89+
<a class="nav-item" href="/projects/">
90+
Projects
91+
</a>
92+
</li>
93+
94+
95+
96+
97+
98+
<li>
99+
<a class="nav-item" href="/publications/">
100+
Publications
101+
</a>
102+
</li>
103+
104+
105+
106+
107+
108+
<li>
109+
<a class="nav-item" href="/teaching/">
110+
Teaching
111+
</a>
112+
</li>
113+
114+
115+
116+
117+
118+
-->
119+
</ul>
120+
</div>
121+
122+
<!--
123+
<div class="sidebar-item sidebar-nav">
124+
<ul class="nav">
125+
<li class="nav-title">Categories</li>
126+
127+
</nav>
128+
</ul>
129+
</div>
130+
-->
131+
132+
<div class="sidebar-item sidebar-footer">
133+
<p>Powered by <a href="https://github.com/jekyll/jekyll">Jekyll</a></p>
134+
</div>
135+
136+
</div>
137+
<div class="content">
138+
<article class="post">
139+
<header class="post-header" style="width: 775px; padding: 15px;">
140+
<div class="post-title" style="width: 775px; padding: 15px;">
141+
SDEV 연구실 대학원생 모집(2026년 전기 2차)
142+
</div>
143+
<time class="post-date dt-published" datetime="2026-05-01T00:00:00+09:00" itemprop="datePublished">2026/05/01
144+
</time>
145+
</header>
146+
147+
<div class="post-content" style="width: 775px; font-size: 17px; text-align: justify; padding: 15px;">
148+
<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
149+
150+
<p>2025년 12월 31일</p>
151+
152+
<p><strong>충북대학교 SDEV 연구실(소프트웨어 개발검증 연구실)에서 석사, 학석사연계, 석박사연계, 박사 과정으로 진학할 신입생을 모집합니다.</strong></p>
153+
154+
<ul>
155+
<li>연구실 홈페이지 <a href="http://sdevlab.github.io">[link]</a></li>
156+
<li>연구실 YouTube <a href="http://youtube.com/@hongshin">[link]</a></li>
157+
<li>연구실 발표논문 <a href="https://hongshin.github.io/publications/">[link]</a>
158+
<ul>
159+
<li>우리말 논문모음 <a href="https://drive.google.com/drive/folders/1U9kLfIvlFaR_8bv-N2WCj2FEBaAmoPhn?usp=sharing">[link]</a></li>
160+
</ul>
161+
</li>
162+
<li><strong>2026년 전기 대학원생 모집 안내 <a href="https://www.notion.so/sdevlab/recruit">[링크]</a></strong></li>
163+
<li><strong>2025년 대학원 설명회 소개 자료 <a href="https://sdevlab.notion.site/SW-SDEV-lab-2025-1184543d19af80b3b926d7290e9c60dc?pvs=4">[링크]</a></strong></li>
164+
</ul>
165+
166+
<h3 id="연구분야-및-연구실-소개">연구분야 및 연구실 소개</h3>
167+
168+
<p>SDEV 연구실은 오늘날 소프트웨어로 인한 위험요소는 무엇인가, 안전하고(Safe &amp; Secure), 믿을 수 있는(Reliable) 소프트웨어를 어떻게 만들 수 있는가,
169+
라는 질문에 과학적이고 기술적인 방법으로 답을 찾아가는 연구를 수행하고 있으며, 특별히 소프트웨어 엔지니어링 분야 중 다음의 주제를 중심으로 연구하고 있습니다:</p>
170+
171+
<ul>
172+
<li>소프트웨어 테스팅(Software Engineering)</li>
173+
<li>프로그램 분석(Program Analysis)</li>
174+
<li>컴퓨팅 논리학(Computational Logic)</li>
175+
<li>시스템 소프트웨어(System Software)</li>
176+
<li>최적화 기반 탐색 (Stochastic Optimization)</li>
177+
</ul>
178+
179+
<p>SDEV 연구실에서는 컴퓨팅과학 핵심기술을 활용하여 오늘날 우리 사회와 산업체에 실제적인 도움이 되는 기술과 도구 개발을 공부할 수 있습니다.
180+
SDEV 연구실의 연구 주제는 최근 발표한 논문을 통해 자세히 파악하실 수 있습니다: <a href="http://hongshin.github.io/publications">http://hongshin.github.io/publications</a></p>
181+
182+
<p>SDEV 연구실의 대학원 과정(석사, 학석사연계, 박사 학위 과정)에 진학하는 학생은 기술중심 소프트웨어 공학 방법론을 능동적이고 비판적으로 활용하여
183+
사회에서 SW공학적 지식과 가치를 창출하는 책임을 다 할 수 있는 연구자로 성장할 수 있도록 지도합니다.
184+
대학원 신입생의 경우, 지금까지 학부 교육 내용을 바탕으로 우리 연구실의 연구에 참여하는데 필요한 기반 기술과 지식을 습득할 수 있도록
185+
훈련하고, 이를 바탕으로 소프트웨어 공학분야에서 실제적이면서 도전할 만한
186+
연구문제를 찾아 2년간 혹은 4년간 집중력 있게 문제해결형 연구를 수행하게 됩니다.</p>
187+
188+
<p>SDEV 연구실(이전 ARISE 연구실@HGU)의 졸업생은 현재 소프트웨어 엔지니어링 분야의 연구원 및 개발자로 활동하고 있습니다:</p>
189+
<ul>
190+
<li>박수현: 현재 SuresoftTech Inc (2023년 KSC 우수논문상)</li>
191+
<li>김지웅: 현재 충북대학교 박사과정 (2023년 한동대 BK21 우수연구상)</li>
192+
<li>유한영: 현재 SAP Labs Korea (2022년 한동대 석사졸업논문상)</li>
193+
<li>전주영: 현재 Hyundai MOBIS (2021년 한동대 석사졸업논문상, 2019년 소프트웨어공학소사이티 우수논문상 등)</li>
194+
<li>최한솔: 현재 SuresoftTech Inc. (2021년 한동대 석사졸업논문상, 2020년 KCSE 우수논문상 등)</li>
195+
</ul>
196+
197+
<h3 id="참여-가능한-프로젝트와-학업지원">참여 가능한 프로젝트와 학업지원</h3>
198+
199+
<p>대학원에 진학하는 학생은 지도교수가 연구책임자로 진행 중인 국책 연구 과제, 공동 연구 과제, 우수 기업체 산학 프로젝트에 참여하여 논문작성, 국내외 공동연구,
200+
SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다. 2025년 SDEV 연구실에서 진행한 연구 프로젝트는 아래와 같습니다:</p>
201+
202+
<ul>
203+
<li>오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 한국연구재단</li>
204+
<li>C/C++ 라이브러리 마이그레이션을 위한 SWE 멀티 에이전트 운영 기술 연구, 석사과정생연구장려금지원사업, 2025-2026, 교육부</li>
205+
<li>LLM의 코드 의미 추론을 활용한 목적지향 Greybox Fuzzing 탐색 기술 연구, 석사과정생연구장려금지원사업, 2025-2026, 교육부</li>
206+
</ul>
207+
208+
<p>대학원에 진학한 학생은 국가연구과제 및 산업체R&amp;D 과제에 참여하여 학생인건비를 받을 수 있습니다.
209+
우리 연구실은 각종 프로젝트를 통해 대학원생이 연구과 학업에 온전히 집중할 수 있는 학업 환경을 갖추는 것을 제일 목표로 지원하고 있습니다.
210+
또한 연구실을 거치는 동안 우리 사회의 소프트웨어 공학분야의 연구자로서 발전할 수 있도록 성장에 필요한 유형적, 무형적 자원을 적극 지원해오고 있습니다.</p>
211+
212+
<h3 id="연락방법">연락방법</h3>
213+
<p>대학원 진학에 관심이 있으시다면 홍신 교수(hongshin@gmail.com)에게 메일로 연락하여 상담 일정을 정하시기 바랍니다. 그 외의 궁금한 점이 있으시다면 메일로 문의 바랍니다.</p>
214+
215+
<p>-홍신</p>
216+
217+
</div>
218+
</article>
219+
220+
</div>
221+
</div>
222+
</body>
223+
</html>

‎about/index.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -155,7 +155,7 @@ <h3 id="about">About</h3>
155155

156156
<h3 id="location">Location</h3>
157157

158-
<p>Room 211, Building S4-1 (ECE 3rd Hall)<br />
158+
<p>Room 302, Building S4-1 (ECE 3rd Hall)<br />
159159
1 Chungdae-ro, Seowon-gu, Cheongju <br />
160160
Chungbuk, Republic of Korea<br />
161161
<br /></p>

‎category/index.html‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,6 +141,10 @@
141141
</header>
142142

143143
<div class="post-content"><ul class="post-list"><li class="post-list-item post-category-">
144+
<!----><span class="post-date">2026/05/01</span>
145+
<a class="post-link" href="/2026/05/01/Project.html">
146+
SDEV 연구실 대학원생 모집(2026년 전기 2차)
147+
</a></li><li class="post-list-item post-category-">
144148
<!----><span class="post-date">2025/12/31</span>
145149
<a class="post-link" href="/2025/12/31/Recruit.html">
146150
SDEV 연구실 대학원생 모집(2026년 전기 2차)

‎feed.xml‎

Lines changed: 69 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,71 @@
1-
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.1">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2026-06-13T00:16:55+09:00</updated><id>/feed.xml</id><title type="html">SDEV Lab</title><subtitle>Software Development and Verification Methodologies Lab@CBNU </subtitle><entry><title type="html">SDEV 연구실 대학원생 모집(2026년 전기 2차)</title><link href="/2025/12/31/Recruit.html" rel="alternate" type="text/html" title="SDEV 연구실 대학원생 모집(2026년 전기 2차)" /><published>2025-12-31T00:00:00+09:00</published><updated>2025-12-31T00:00:00+09:00</updated><id>/2025/12/31/Recruit</id><content type="html" xml:base="/2025/12/31/Recruit.html"><![CDATA[<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
1+
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.1">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2026-06-13T00:39:02+09:00</updated><id>/feed.xml</id><title type="html">SDEV Lab</title><subtitle>Software Development and Verification Methodologies Lab@CBNU </subtitle><entry><title type="html">SDEV 연구실 대학원생 모집(2026년 전기 2차)</title><link href="/2026/05/01/Project.html" rel="alternate" type="text/html" title="SDEV 연구실 대학원생 모집(2026년 전기 2차)" /><published>2026-05-01T00:00:00+09:00</published><updated>2026-05-01T00:00:00+09:00</updated><id>/2026/05/01/Project</id><content type="html" xml:base="/2026/05/01/Project.html"><![CDATA[<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
2+
3+
<p>2025년 12월 31일</p>
4+
5+
<p><strong>충북대학교 SDEV 연구실(소프트웨어 개발검증 연구실)에서 석사, 학석사연계, 석박사연계, 박사 과정으로 진학할 신입생을 모집합니다.</strong></p>
6+
7+
<ul>
8+
<li>연구실 홈페이지 <a href="http://sdevlab.github.io">[link]</a></li>
9+
<li>연구실 YouTube <a href="http://youtube.com/@hongshin">[link]</a></li>
10+
<li>연구실 발표논문 <a href="https://hongshin.github.io/publications/">[link]</a>
11+
<ul>
12+
<li>우리말 논문모음 <a href="https://drive.google.com/drive/folders/1U9kLfIvlFaR_8bv-N2WCj2FEBaAmoPhn?usp=sharing">[link]</a></li>
13+
</ul>
14+
</li>
15+
<li><strong>2026년 전기 대학원생 모집 안내 <a href="https://www.notion.so/sdevlab/recruit">[링크]</a></strong></li>
16+
<li><strong>2025년 대학원 설명회 소개 자료 <a href="https://sdevlab.notion.site/SW-SDEV-lab-2025-1184543d19af80b3b926d7290e9c60dc?pvs=4">[링크]</a></strong></li>
17+
</ul>
18+
19+
<h3 id="연구분야-및-연구실-소개">연구분야 및 연구실 소개</h3>
20+
21+
<p>SDEV 연구실은 오늘날 소프트웨어로 인한 위험요소는 무엇인가, 안전하고(Safe &amp; Secure), 믿을 수 있는(Reliable) 소프트웨어를 어떻게 만들 수 있는가,
22+
라는 질문에 과학적이고 기술적인 방법으로 답을 찾아가는 연구를 수행하고 있으며, 특별히 소프트웨어 엔지니어링 분야 중 다음의 주제를 중심으로 연구하고 있습니다:</p>
23+
24+
<ul>
25+
<li>소프트웨어 테스팅(Software Engineering)</li>
26+
<li>프로그램 분석(Program Analysis)</li>
27+
<li>컴퓨팅 논리학(Computational Logic)</li>
28+
<li>시스템 소프트웨어(System Software)</li>
29+
<li>최적화 기반 탐색 (Stochastic Optimization)</li>
30+
</ul>
31+
32+
<p>SDEV 연구실에서는 컴퓨팅과학 핵심기술을 활용하여 오늘날 우리 사회와 산업체에 실제적인 도움이 되는 기술과 도구 개발을 공부할 수 있습니다.
33+
SDEV 연구실의 연구 주제는 최근 발표한 논문을 통해 자세히 파악하실 수 있습니다: <a href="http://hongshin.github.io/publications">http://hongshin.github.io/publications</a></p>
34+
35+
<p>SDEV 연구실의 대학원 과정(석사, 학석사연계, 박사 학위 과정)에 진학하는 학생은 기술중심 소프트웨어 공학 방법론을 능동적이고 비판적으로 활용하여
36+
사회에서 SW공학적 지식과 가치를 창출하는 책임을 다 할 수 있는 연구자로 성장할 수 있도록 지도합니다.
37+
대학원 신입생의 경우, 지금까지 학부 교육 내용을 바탕으로 우리 연구실의 연구에 참여하는데 필요한 기반 기술과 지식을 습득할 수 있도록
38+
훈련하고, 이를 바탕으로 소프트웨어 공학분야에서 실제적이면서 도전할 만한
39+
연구문제를 찾아 2년간 혹은 4년간 집중력 있게 문제해결형 연구를 수행하게 됩니다.</p>
40+
41+
<p>SDEV 연구실(이전 ARISE 연구실@HGU)의 졸업생은 현재 소프트웨어 엔지니어링 분야의 연구원 및 개발자로 활동하고 있습니다:</p>
42+
<ul>
43+
<li>박수현: 현재 SuresoftTech Inc (2023년 KSC 우수논문상)</li>
44+
<li>김지웅: 현재 충북대학교 박사과정 (2023년 한동대 BK21 우수연구상)</li>
45+
<li>유한영: 현재 SAP Labs Korea (2022년 한동대 석사졸업논문상)</li>
46+
<li>전주영: 현재 Hyundai MOBIS (2021년 한동대 석사졸업논문상, 2019년 소프트웨어공학소사이티 우수논문상 등)</li>
47+
<li>최한솔: 현재 SuresoftTech Inc. (2021년 한동대 석사졸업논문상, 2020년 KCSE 우수논문상 등)</li>
48+
</ul>
49+
50+
<h3 id="참여-가능한-프로젝트와-학업지원">참여 가능한 프로젝트와 학업지원</h3>
51+
52+
<p>대학원에 진학하는 학생은 지도교수가 연구책임자로 진행 중인 국책 연구 과제, 공동 연구 과제, 우수 기업체 산학 프로젝트에 참여하여 논문작성, 국내외 공동연구,
53+
SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다. 2025년 SDEV 연구실에서 진행한 연구 프로젝트는 아래와 같습니다:</p>
54+
55+
<ul>
56+
<li>오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 한국연구재단</li>
57+
<li>C/C++ 라이브러리 마이그레이션을 위한 SWE 멀티 에이전트 운영 기술 연구, 석사과정생연구장려금지원사업, 2025-2026, 교육부</li>
58+
<li>LLM의 코드 의미 추론을 활용한 목적지향 Greybox Fuzzing 탐색 기술 연구, 석사과정생연구장려금지원사업, 2025-2026, 교육부</li>
59+
</ul>
60+
61+
<p>대학원에 진학한 학생은 국가연구과제 및 산업체R&amp;D 과제에 참여하여 학생인건비를 받을 수 있습니다.
62+
우리 연구실은 각종 프로젝트를 통해 대학원생이 연구과 학업에 온전히 집중할 수 있는 학업 환경을 갖추는 것을 제일 목표로 지원하고 있습니다.
63+
또한 연구실을 거치는 동안 우리 사회의 소프트웨어 공학분야의 연구자로서 발전할 수 있도록 성장에 필요한 유형적, 무형적 자원을 적극 지원해오고 있습니다.</p>
64+
65+
<h3 id="연락방법">연락방법</h3>
66+
<p>대학원 진학에 관심이 있으시다면 홍신 교수(hongshin@gmail.com)에게 메일로 연락하여 상담 일정을 정하시기 바랍니다. 그 외의 궁금한 점이 있으시다면 메일로 문의 바랍니다.</p>
67+
68+
<p>-홍신</p>]]></content><author><name></name></author><summary type="html"><![CDATA[SDEV 연구실 대학원생 모집]]></summary></entry><entry><title type="html">SDEV 연구실 대학원생 모집(2026년 전기 2차)</title><link href="/2025/12/31/Recruit.html" rel="alternate" type="text/html" title="SDEV 연구실 대학원생 모집(2026년 전기 2차)" /><published>2025-12-31T00:00:00+09:00</published><updated>2025-12-31T00:00:00+09:00</updated><id>/2025/12/31/Recruit</id><content type="html" xml:base="/2025/12/31/Recruit.html"><![CDATA[<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
269
370
<p>2025년 12월 31일</p>
471
@@ -387,8 +454,4 @@ SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다.
387454
388455
<p>논문 모집과 학회 행사에 많은 관심과 참여 부탁드립니다.</p>
389456
390-
<p>-홍신</p>]]></content><author><name></name></author><summary type="html"><![CDATA[KCSE 2025 개최 안내]]></summary></entry><entry><title type="html">김기은 석사과정, 석사연구장려금지원사업 선정</title><link href="/2024/09/28/Project.html" rel="alternate" type="text/html" title="김기은 석사과정, 석사연구장려금지원사업 선정" /><published>2024-09-28T00:30:00+09:00</published><updated>2024-09-28T00:30:00+09:00</updated><id>/2024/09/28/Project</id><content type="html" xml:base="/2024/09/28/Project.html"><![CDATA[<h1 id="김기은-석사과정-석사연구장려금지원사업-선정">김기은 석사과정, 석사연구장려금지원사업 선정</h1>
391-
392-
<p>우리 연구실 김기은 학생이 교육부와 한국연구재단이 지원하는 2024 하반기 이공계 석사과정 연구장려금 지원 사업의 연구책임자로 선정되었습니다.</p>
393-
394-
<p>연구비 지원이 선정된 프로젝트는 “효과적인 디버깅 지원을 퍼즈 테스트 복제 기법 연구”로, 김기은 학생은 이 프로젝트를 통해 greybox fuzzing을 통해 발견한 오류를 신속히 디버깅 할 수 있도록 지원하는 방법을 목표로 한 연구를 수행할 계획입니다.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[김기은 석사과정, 석사연구장려금지원사업 선정 우리 연구실 김기은 학생이 교육부와 한국연구재단이 지원하는 2024 하반기 이공계 석사과정 연구장려금 지원 사업의 연구책임자로 선정되었습니다.]]></summary></entry></feed>
457+
<p>-홍신</p>]]></content><author><name></name></author><summary type="html"><![CDATA[KCSE 2025 개최 안내]]></summary></entry></feed>

0 commit comments

Comments
 (0)