Update

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>2026-02-27T22:31:20+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>
+<?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-27T22:34:48+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>
 
 <p>2025년 12월 31일</p>
 

index.html

@@ -143,23 +143,23 @@
   <img src="/public/img/sdev-010.png" width=150 />
   </br>
 
-  <font size="5.5" type="Noto Sans">
+  <font size="5" type="Noto Sans">
 	소프트웨어 개발검증 연구실@충북대학교</br>
   </font>
-  <font size="5" type="Noto Sans">
+  <font size="4" type="Noto Sans">
 	Software Development and Verification</br>
-	Methodologies Lab@Chungbuk National University</br>
+	Methodologies Lab@CBNU</br>
 
   </font>
 
   <a href="https://github.com/sdevlab">[Github]</a> <a href="https://www.youtube.com/@hongshin">[YouTube]</a> 
   <a href="https://maps.app.goo.gl/jyuB7rsU7Xap4s3u7">[Google Map]</a>
 
-<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify; padding: 15px;" />
+<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify;" />
 <!-- <div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; background-color: #F2F2F2; padding: 15px;" />-->
 We study the principles of computing and phenomena of software engineering to understand how unreliable or insecure software is produced and threatening in our society. We aim to resolve this software quality problem by creating techniques, tools, methodologies and pedagogies that enhance the ability of developers in writing, debugging and verifying software.
 </div>
-<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify; padding: 15px;" />
+<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify;" />
 <!--<div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; background-color: #F2F2F2; padding: 15px;" />-->
 SDEV 연구실은 우리 사회의 안전을 위헙하는 소프트웨어 불량 문제를 막기 위해 소프트웨어 엔지니어링 현상과 컴퓨팅 원리를 탐구합니다 / 안전하고 이로운 소프트웨어를 만들기 위한 개발 및 검증 기술, 도구, 방법론, 교육법을 만듭니다 / 우리 사회를 유연하고도 든든하게 연결하는 소프트웨어 엔지니어링 기술을 연구합니다 / 새로운 소프트웨어 엔지니어링을 열어 갈 소프트웨어 품질 엔지니어(Software Quality Engineer), 소프트웨어 분석 전문가(Software Analyst), 소프트웨어 기술 연구자(Research Scientist in Software Engineering)를 기릅니다.