merge

Author: hongshin

feed.xml

@@ -1,4 +1,4 @@
-<?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-04-30T14:52:28+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 연구실 소개</title><link href="/2025/03/25/Intro.html" rel="alternate" type="text/html" title="전공탐색을 위한 SDEV 연구실 소개" /><published>2025-03-25T00:00:00+09:00</published><updated>2025-03-25T00:00:00+09:00</updated><id>/2025/03/25/Intro</id><content type="html" xml:base="/2025/03/25/Intro.html"><![CDATA[<h1 id="학부생-전공탐색을-위한-sdev-연구실-소개">학부생 전공탐색을 위한 SDEV 연구실 소개</h1>
+<?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-04-30T14:53:59+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 연구실 소개</title><link href="/2025/03/25/Intro.html" rel="alternate" type="text/html" title="전공탐색을 위한 SDEV 연구실 소개" /><published>2025-03-25T00:00:00+09:00</published><updated>2025-03-25T00:00:00+09:00</updated><id>/2025/03/25/Intro</id><content type="html" xml:base="/2025/03/25/Intro.html"><![CDATA[<h1 id="학부생-전공탐색을-위한-sdev-연구실-소개">학부생 전공탐색을 위한 SDEV 연구실 소개</h1>
 
 <p>2025년 3월 25일
 <br /><br /></p>

members/index.html

@@ -234,37 +234,36 @@
 <h3 id="alumni">Alumni</h3>
 
 <font size="2">
-
-
-* Sungbin Lim, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025. 
-* Suhyun Park, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025. Currently Software Engineer at SuresoftTech Inc.
-* Hanyoung Yoo, Master’s Degree, HGU, Feb 2022. Currently Software Engineer at SAP Labs Korea
-* Jeewoong Kim, Master’s Degree, HGU, Aug 2021. Currently Ph.D Student at CBNU
-* Juyoung Jeon, Master’s Degree, HGU, Feb 2021. Currently Software Engineer at Hyundai MOBIS
-* Hansol Choe, Master’s Degree, HGU, Feb 2021. Currently Research Engineer at SuresoftTech Inc.
-
+<ul>
+<li>Sungbin Lim, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025.</li>
+<li>Suhyun Park, Master's Degree, HGU (co-advised with Prof. Jaechang Nam), Feb 2025. Currently Software Engineer at SuresoftTech Inc.</li>
+<li>Hanyoung Yoo, Master’s Degree, HGU, Feb 2022. Currently Software Engineer at SAP Labs Korea</li>
+<li>Jeewoong Kim, Master’s Degree, HGU, Aug 2021. Currently Ph.D Student at CBNU</li>
+<li>Juyoung Jeon, Master’s Degree, HGU, Feb 2021. Currently Software Engineer at Hyundai MOBIS</li>
+<li>Hansol Choe, Master’s Degree, HGU, Feb 2021. Currently Research Engineer at SuresoftTech Inc.</li>
+</ul>
 </font>
 
 <h3 id="undergraduate-research-interns">Undergraduate research interns</h3>
 
 <font size="2">
-
-* Soomin Choi, Jan 2025-present
-* Narin Han, June 2024–Feb 2025
-* Borim Na, Sep 2023–Dec 2023
-* Haerim Jun, Sep 2023–Dec 2023
-* Heechan Yang, Dec 2022–Aug 2023
-* Kieun Kim, Aug 2022–Feb 2023
-* Insun Baek, Jul 2022–Dec 2022
-* Seoye Kim, Jul 2022–Dec 2022
-* Eunchan Park, Jun 2022–Dec 2022
-* Jeongin Cho, Jul 2020–Feb 2021
-* Doyoon Kim, Feb 2020–June 2020
-* Juyoung Jeon, July 2018-Feb 2019
-* Jaehun Lee, Sep 2017-Jun 2018
-* Hansol Choe, Sep 2017-Feb 2018
-* Kyungsu Lee, Jul 2017-Dec 2017
-
+<ul>
+<li>Soomin Choi, Jan 2025-present</li>
+<li>Narin Han, June 2024–Feb 2025</li>
+<li>Borim Na, Sep 2023–Dec 2023</li>
+<li>Haerim Jun, Sep 2023–Dec 2023</li>
+<li>Heechan Yang, Dec 2022–Aug 2023</li>
+<li>Kieun Kim, Aug 2022–Feb 2023</li>
+<li>Insun Baek, Jul 2022–Dec 2022</li>
+<li>Seoye Kim, Jul 2022–Dec 2022</li>
+<li>Eunchan Park, Jun 2022–Dec 2022</li>
+<li>Jeongin Cho, Jul 2020–Feb 2021</li>
+<li>Doyoon Kim, Feb 2020–June 2020</li>
+<li>Juyoung Jeon, July 2018-Feb 2019</li>
+<li>Jaehun Lee, Sep 2017-Jun 2018</li>
+<li>Hansol Choe, Sep 2017-Feb 2018</li>
+<li>Kyungsu Lee, Jul 2017-Dec 2017</li>
+</ul>
 
 </font>