Skip to content

Commit 3730f4a

Browse files
committed
Update
1 parent b3de991 commit 3730f4a

14 files changed

Lines changed: 33 additions & 45 deletions

‎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>2025-12-31T22:38:06+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-02-27T21:53:24+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

‎members/index.html‎

Lines changed: 32 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -147,91 +147,79 @@
147147

148148
<p><strong>Shin Hong 홍신</strong> <br /></p>
149149

150-
<font size="2">
150+
<font size="3">
151151
Associate Professor, School of Computer Science, CBNU <br />
152152
Ph.D in Computer Science, KAIST <br />
153-
hongshin@gmail.com, hongshin@chungbuk.ac.kr, <a href="http://hongshin.github.io">https://hongshin.github.io</a> <br />
154-
office: 316@S4-1
155-
</font>
156-
<p><br /> <br /></p>
157-
158-
<!--
159-
160-
<img src="/public/img/jeewoong.jpg" width="150"/>
161-
162-
**Jeewoong Kim 김지웅** <br>
163-
164-
<font size=2>
165-
Ph.D student (started in Mar 2022 at HGU; joined CBNU in Mar 2024) <br>
166-
Computer Science Department, <br>
167-
Chungbuk National University <br>
168-
jeewoong@cbnu.ac.kr, <a href="https://jeewoongkim.github.io">https://jeewoongkim.github.io</a><br/>
169-
office: 211@S4-1
170-
</font>
171-
<br/> <br/>
172-
-->
173-
174-
<p><img src="/public/img/kieun.jpg" width="150" /></p>
175-
176-
<p><strong>Kieun Kim 김기은</strong> <br /></p>
177-
178-
<font size="2">
179-
Master's student (defended in Dec 2025) <br />
180-
Computer Science Department, <br />
181-
Chungbuk National University <br />
182-
kieun@cbnu.ac.kr <br />
183-
office: 211@S4-1
153+
<a href="mailto:hongshin@gmail.com">hongshin@gmail.com</a>,
154+
<a href="mailto:hongshin@chungbuk.ac.kr">hongshin@chungbuk.ac.kr</a> <br />
155+
<a href="http://hongshin.github.io">https://hongshin.github.io</a> <br />
156+
-office: 316 in S4-1
184157
</font>
185158
<p><br /> <br /></p>
186159

187-
<p><img src="/public/img/narin.jpg" width="150" /></p>
160+
<p><img src="/public/img/nr.jpg" width="150" /></p>
188161

189162
<p><strong>Narin Han 한나린</strong> <br /></p>
190163

191-
<font size="2">
164+
<font size="3">
192165
Master's student (started in Mar 2025) <br />
193166
Computer Science Department, <br />
194167
Chungbuk National University <br />
195-
narinhan@cbnu.ac.kr <br />
196-
office: 211@S4-1
168+
<a href="mailto:narinhan@cbnu.ac.kr">narinhan@cbnu.ac.kr</a><br />
169+
-office: 211 in S4-1
197170
</font>
198171
<p><br /><br /></p>
199172

200-
<p><img src="/public/img/junhee.jpg" width="150" /></p>
173+
<p><img src="/public/img/jh.jpg" width="150" /></p>
201174

202175
<p><strong>Joonheui Kim 김준희</strong> <br /></p>
203176

204-
<font size="2">
177+
<font size="3">
205178
Master's student (started in Mar 2025) <br />
206179
Computer Science Department, <br />
207180
Chungbuk National University <br />
208181
kimjoonheui@cbnu.ac.kr <br />
209-
office: 211@S4-1
182+
-office: 211 in S4-1
210183
</font>
211184
<p><br /><br /></p>
212185

213186
<p><img src="/public/img/byul.jpg" width="150" /></p>
214187

215188
<p><strong>Byul Yoon 윤별</strong> <br /></p>
216189

217-
<font size="2">
190+
<font size="3">
218191
Master's student (started in Sep 2025) <br />
219192
Computer Science Department, <br />
220193
Chungbuk National University <br />
221194
yoonbyul@chungbuk.ac.kr<br />
222-
office: 211@S4-1
195+
-office: 211 in S4-1
196+
</font>
197+
<p><br /><br /></p>
198+
199+
<p><img src="/public/img/ytkim.jpg" width="150" /></p>
200+
201+
<p><strong>Yuntae Kim 김윤태</strong> <br /></p>
202+
203+
<font size="3">
204+
Master's student (started in Mar 2026) <br />
205+
Computer Science Department, <br />
206+
Chungbuk National University <br />
207+
208+
- office: 211 in S4-1
209+
223210
</font>
224211
<p><br /><br /></p>
225212

226213
<h3 id="alumni">Alumni</h3>
227214

228215
<font size="2">
229216
<ul>
217+
<li>Kieun Kim, Master's Degree, CBNU, Feb 2026</li>
230218
<li>Jeewoong Kim, Ph.D ABD, CBNU, Feb 2026. </li>
231219
<li>Sungbin Lim, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025.</li>
232220
<li>Suhyun Park, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025. Currently Software Engineer at SuresoftTech Inc.</li>
233221
<li>Hanyoung Yoo, Master’s Degree, HGU, Feb 2022. Currently Software Engineer at SAP Labs Korea</li>
234-
<li>Jeewoong Kim, Master’s Degree, HGU, Aug 2021. Currently Ph.D Student at CBNU</li>
222+
<li>Jeewoong Kim, Master’s Degree, HGU, Aug 2021. </li>
235223
<li>Juyoung Jeon, Master’s Degree, HGU, Feb 2021. Currently Software Engineer at Hyundai MOBIS</li>
236224
<li>Hansol Choe, Master’s Degree, HGU, Feb 2021. Currently Research Engineer at SuresoftTech Inc.</li>
237225
</ul>
@@ -241,8 +229,8 @@ <h3 id="undergraduate-research-interns">Undergraduate research interns</h3>
241229

242230
<font size="2">
243231
<ul>
244-
<li>Yuntae Kim, Sep 2025-present </li>
245-
<li>Sangin Han, Jul 2025-present </li>
232+
<li>Sangin Park, Jul 2025-present </li>
233+
<li>Yuntae Kim, Sep 2025-Feb 2026 </li>
246234
<li>Soomin Choi, Jan 2025-Jun 2025</li>
247235
<li>Narin Han, June 2024–Feb 2025</li>
248236
<li>Borim Na, Sep 2023–Dec 2023</li>

‎public/img/byul.jpg‎

108 KB
Loading

‎public/img/jeewoong.jpg‎

-40.9 KB
Binary file not shown.
File renamed without changes.

‎public/img/kieun.jpg‎

-52.1 KB
Binary file not shown.
File renamed without changes.

‎public/img/screenshot-1.png‎

-143 KB
Binary file not shown.

‎public/img/screenshot-2.png‎

-66.1 KB
Binary file not shown.

‎public/img/screenshot-m1.png‎

-104 KB
Binary file not shown.

0 commit comments

Comments
 (0)