Skip to content

Commit d88aad4

Browse files
hongshinhongshin
committed
Update the lab location
1 parent 9b8f235 commit d88aad4

60 files changed

Lines changed: 6401 additions & 6 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎feed.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
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-03-03T15:41:29+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: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>
22
33
<p>2025년 12월 31일</p>
44

‎html/2024/02/01/start.html‎

Lines changed: 156 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,156 @@
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 lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU)
142+
</div>
143+
<time class="post-date dt-published" datetime="2024-02-01T00:00:00+09:00" itemprop="datePublished">2024/02/01
144+
</time>
145+
</header>
146+
147+
<div class="post-content" style="width: 775px; font-size: 17px; text-align: justify; padding: 15px;">
148+
<p>SDEV lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU; https://sites.google.com/view/arise-handong)</p>
149+
150+
</div>
151+
</article>
152+
153+
</div>
154+
</div>
155+
</body>
156+
</html>

‎html/2024/05/06/Recruit.html‎

Lines changed: 221 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,221 @@
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 연구실 대학원생 모집
142+
</div>
143+
<time class="post-date dt-published" datetime="2024-05-06T00:00:00+09:00" itemprop="datePublished">2024/05/06
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>2024년 5월 6일</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>참고: 학부연구인턴 모집 안내 <a href="http://sdevlab.github.com/undergrad">[link]</a></li>
163+
</ul>
164+
165+
<h3 id="연구분야-및-연구실-소개">연구분야 및 연구실 소개</h3>
166+
167+
<p>SDEV 연구실은 오늘날 소프트웨어로 인한 위험요소는 무엇인가, 안전하고(Safe &amp; Secure), 믿을 수 있는(Reliable) 소프트웨어를 어떻게 만들 수 있는가,
168+
라는 질문에 과학적이고 기술적인 방법으로 답을 찾아가는 연구를 수행하고 있으며, 특별히 소프트웨어 엔지니어링 분야 중 다음의 주제를 중심으로 연구하고 있습니다:</p>
169+
170+
<ul>
171+
<li>소프트웨어 테스팅(Software Engineering)</li>
172+
<li>프로그램 분석(Program Analysis)</li>
173+
<li>컴퓨팅 논리학(Computational Logic)</li>
174+
<li>시스템 소프트웨어(System Software)</li>
175+
<li>최적화 기반 탐색 (Stochastic Optimization)</li>
176+
</ul>
177+
178+
<p>SDEV 연구실에서는 컴퓨팅과학 핵심기술을 활용하여 오늘날 우리 사회와 산업체에 실제적인 도움이 되는 기술과 도구 개발을 공부할 수 있습니다.
179+
SDEV 연구실의 연구 주제는 최근 발표한 논문을 통해 자세히 파악하실 수 있습니다: <a href="http://hongshin.github.io/publications">http://hongshin.github.io/publications</a></p>
180+
181+
<p>SDEV 연구실의 대학원 과정(석사, 학석사연계, 박사 학위 과정)에 진학하는 학생은 기술중심 소프트웨어 공학 방법론을 능동적이고 비판적으로 활용하여
182+
사회에서 SW공학적 지식과 가치를 창출하는 책임을 다 할 수 있는 연구자로 성장할 수 있도록 지도합니다.
183+
대학원 신입생의 경우, 지금까지 학부 교육 내용을 바탕으로 우리 연구실의 연구에 참여하는데 필요한 기반 기술과 지식을 습득할 수 있도록
184+
훈련하고, 이를 바탕으로 소프트웨어 공학분야에서 실제적이면서 도전할 만한
185+
연구문제를 찾아 2년간 혹은 4년간 집중력 있게 문제해결형 연구를 수행하게 됩니다.</p>
186+
187+
<p>SDEV 연구실(이전 ARISE 연구실@HGU)의 졸업생은 현재 소프트웨어 엔지니어링 분야의 연구원 및 개발자로 활동하고 있습니다:</p>
188+
<ul>
189+
<li>김지웅: 현재 충북대학교 박사과정 (2023년 한동대 BK21 우수연구상)</li>
190+
<li>유한영: 현재 SAP Labs Korea (2022년 한동대 석사졸업논문상)</li>
191+
<li>전주영: 현재 Hyundai MOBIS (2021년 한동대 석사졸업논문상, 2019년 소프트웨어공학소사이티 우수논문상 등)</li>
192+
<li>최한솔: 현재 SuresoftTech Inc. (2021년 한동대 석사졸업논문상, 2020년 KCSE 우수논문상 등)</li>
193+
</ul>
194+
195+
<h3 id="참여-가능한-프로젝트와-학업지원">참여 가능한 프로젝트와 학업지원</h3>
196+
197+
<p>대학원에 진학하는 학생은 지도교수가 연구책임자로 진행 중인 국책 연구 과제, 공동 연구 과제, 우수 기업체 산학 프로젝트에 참여하여 논문작성, 국내외 공동연구,
198+
SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다. 2024년 5월 현재 SDEV 연구실에서 진행 중인 연구 프로젝트는 아래와 같습니다:</p>
199+
200+
<ul>
201+
<li>오류 재현을 위한 로그 기반 테스트 생성, 소프트웨어재난연구센터(ERC), 2021-2028, 연구재단</li>
202+
<li>지능형 자동 소스코드 수정 기술 개발, 2021-2024, 슈어소프트테크, 아크릴, KAIST, UNIST 공동연구</li>
203+
</ul>
204+
205+
<p>대학원에 진학한 학생은 국가연구과제 및 산업체R&amp;D 과제에 참여하여 학생인건비를 받을 수 있습니다.
206+
우리 연구실은 각종 프로젝트를 통해 대학원생이 연구과 학업에 온전히 집중할 수 있는 학업 환경을 갖추는 것을 제일 목표로 지원하고 있습니다.
207+
또한 연구실을 거치는 동안 우리 사회의 소프트웨어 공학분야의 연구자로서 발전할 수 있도록 성장에 필요한 유형적, 무형적 자원을 적극 지원해오고 있습니다.</p>
208+
209+
<h3 id="연락방법">연락방법</h3>
210+
<p>대학원 진학에 관심이 있으시다면 홍신 교수(hongshin@gmail.com)에게 메일로 연락하여 상담 일정을 정하시기 바랍니다. 그 외의 궁금한 점이 있으시다면 메일로 문의 바랍니다.</p>
211+
212+
<p>-홍신</p>
213+
214+
215+
</div>
216+
</article>
217+
218+
</div>
219+
</div>
220+
</body>
221+
</html>

0 commit comments

Comments
 (0)