Skip to content

Commit 17e5f90

Browse files
committed
Update
1 parent cff6756 commit 17e5f90

File tree

2 files changed

+12
-9
lines changed

2 files changed

+12
-9
lines changed

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-02-27T22:25:46+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-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>
22
33
<p>2025년 12월 31일</p>
44

index.html

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@
135135

136136
</div>
137137
<div class="content">
138-
<div class="post" style="width: 775px; font-size: 18px; text-align: justify; padding: 15px;">
138+
<div class="post" style="width: 800px; font-size: 18px; text-align: justify; padding: 15px;">
139139

140140
<article class="post">
141141

@@ -144,26 +144,29 @@
144144
</br>
145145

146146
<font size="5.5" type="Noto Sans">
147-
Software Development and Verification Methodologies Lab </br>
148-
149147
소프트웨어 개발검증 연구실@충북대학교</br>
150148
</font>
149+
<font size="5" type="Noto Sans">
150+
Software Development and Verification</br>
151+
Methodologies Lab@Chungbuk National University</br>
152+
153+
</font>
151154

152155
<a href="https://github.com/sdevlab">[Github]</a> <a href="https://www.youtube.com/@hongshin">[YouTube]</a>
153156
<a href="https://maps.app.goo.gl/jyuB7rsU7Xap4s3u7">[Google Map]</a>
154157

155-
<div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; padding: 15px;" />
158+
<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify; padding: 15px;" />
156159
<!-- <div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; background-color: #F2F2F2; padding: 15px;" />-->
157160
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.
158161
</div>
159-
<div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; padding: 15px;" />
162+
<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify; padding: 15px;" />
160163
<!--<div id="labstmt" style="width: 775px; font-size: 15px; text-align: justify; background-color: #F2F2F2; padding: 15px;" />-->
161164
SDEV 연구실은 우리 사회의 안전을 위헙하는 소프트웨어 불량 문제를 막기 위해 소프트웨어 엔지니어링 현상과 컴퓨팅 원리를 탐구합니다 / 안전하고 이로운 소프트웨어를 만들기 위한 개발 및 검증 기술, 도구, 방법론, 교육법을 만듭니다 / 우리 사회를 유연하고도 든든하게 연결하는 소프트웨어 엔지니어링 기술을 연구합니다 / 새로운 소프트웨어 엔지니어링을 열어 갈 소프트웨어 품질 엔지니어(Software Quality Engineer), 소프트웨어 분석 전문가(Software Analyst), 소프트웨어 기술 연구자(Research Scientist in Software Engineering)를 기릅니다.
162165

163166
</div>
164167

165168

166-
<div id="homebody" style="width: 800px;">
169+
<div id="homebody" style="width: 775px;">
167170

168171
<h3> News </h3>
169172
<div class="post-content" style="text-align: left;"><ul class="post-list"><li class="post-list-item">
@@ -186,8 +189,8 @@ <h3> News </h3>
186189
<p>
187190
<center>
188191
<font size="2.5">
189-
211 S4-1 bldg. Chungbuk National University, Chungdae-ro, Seowon-gu, Cheongju, Chungbuk, South Korea (28644) <br>
190-
Contact Information: Shin Hong <a href="hongshin@cbnu.ac.kr">hongshin@cbnu.ac.kr </a>
192+
211 S4-1, Chungbuk National University, Chungdae-ro, Seowon-gu, Cheongju, Chungbuk, South Korea (28644) <br>
193+
Contact Information: Shin Hong <a href="mailto:hongshin@chungbuk.ac.kr">hongshin@chungbuk.ac.kr </a>
191194
</font>
192195
</p>
193196
</div>

0 commit comments

Comments
 (0)