-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
208 lines (148 loc) · 6.15 KB
/
index.html
File metadata and controls
208 lines (148 loc) · 6.15 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
<!DOCTYPE html>
<html lang="en"><head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="SDEV Lab" /></head>
<style>@import url(/public/css/syntax/monokai.css);</style>
<title>SDEV Lab</title>
<!-- <link href="/public/css/bootstrap.min.css" rel="stylesheet"> -->
<link href="/public/css/style.css" rel="stylesheet">
<body>
<div class="container">
<div class="sidebar">
<div class="sidebar-item sidebar-header">
<p></p>
<p></p>
<div class='sidebar-brand'>
<a href="/">SDEV Lab</a>
</div>
<p class="lead">Software Development and Verification Methodologies Lab@CBNU </p></div>
<div class="sidebar-item sidebar-nav">
<ul class="nav">
<!--
<li class="nav-title">Pages</li>
-->
<li>
<a class="nav-item" href="/">Home</a>
</li>
<li>
<a class="nav-item" href="/about/">About SDEV Lab</a>
</li>
<li>
<a class="nav-item" href="/members/">Members</a>
</li>
<li>
<a class="nav-item" href="/publications/">Publications</a>
</li>
<li>
<a class="nav-item" href="/projects/">Projects</a>
</li>
<li>
<a class="nav-item" href="/teaching/">Teaching</a>
</li>
<!--
<li>
<a class="nav-item" href="/about/">
About
</a>
</li>
<li>
<a class="nav-item" href="/about/">
About SDEV Lab
</a>
</li>
<li>
<a class="nav-item" href="/members/">
Members
</a>
</li>
<li>
<a class="nav-item" href="/projects/">
Projects
</a>
</li>
<li>
<a class="nav-item" href="/publications/">
Publications
</a>
</li>
<li>
<a class="nav-item" href="/teaching/">
Teaching
</a>
</li>
-->
</ul>
</div>
<!--
<div class="sidebar-item sidebar-nav">
<ul class="nav">
<li class="nav-title">Categories</li>
</nav>
</ul>
</div>
-->
<div class="sidebar-item sidebar-footer">
<p>Powered by <a href="https://github.com/jekyll/jekyll">Jekyll</a></p>
</div>
</div>
<div class="content">
<div class="post" style="width: 800px; font-size: 18px; text-align: justify; padding: 15px;">
<article class="post">
<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify;padding: 15px" />
<center>
<img src="/public/img/sdev-010.png" width=150 /></br>
<font size="5" type="Noto Sans">
소프트웨어 개발검증 연구실@충북대학교</br>
</font>
<font size="4" type="Noto Sans">
Software Development and Verification 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>
</br>
</div>
<div id="labstmt" style="width: 775px; font-size: 16px; text-align: justify;padding: 15px" />
<!-- <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: 15px; text-align: justify; background-color: #F2F2F2; padding: 15px;" />-->
SDEV 연구실은 우리 사회의 안전을 위헙하는 소프트웨어 불량 문제를 막기 위해 소프트웨어 엔지니어링 현상과 컴퓨팅 원리를 탐구합니다 / 안전하고 이로운 소프트웨어를 만들기 위한 개발 및 검증 기술, 도구, 방법론, 교육법을 만듭니다 / 우리 사회를 유연하고도 든든하게 연결하는 소프트웨어 엔지니어링 기술을 연구합니다 / 새로운 소프트웨어 엔지니어링을 열어 갈 소프트웨어 품질 엔지니어(Software Quality Engineer), 소프트웨어 분석 전문가(Software Analyst), 소프트웨어 기술 연구자(Research Scientist in Software Engineering)를 기릅니다.
</div>
<div id="homebody" style="width: 775px;">
<center>
<h3> News </h3>
</center>
<div class="post-content" style="text-align: left;"><ul class="post-list"><li class="post-list-item">
<!----><span class="post-date">2025/12/31</span>
<a class="post-link" href="/2025/12/31/Recruit.html">
SDEV 연구실 대학원생 모집(2026년 전기 2차)
</a></li><li class="post-list-item">
<!----><span class="post-date">2025/12/18</span>
<a class="post-link" href="/2025/12/18/Award.html">
2025 정보과학회 소프트웨어소사이어티 우수논문상
</a></li><li class="post-list-item">
<!----><span class="post-date">2025/09/01</span>
<a class="post-link" href="/2025/09/01/Project.html">
김준희, 한나린 학생, 교육부 이공분야 학술연구지원사업(석사과정연구장려금) 선정
</a></li><li class="post-list-item">
<!----><span class="post-date">2025/03/25</span>
<a class="post-link" href="/2025/03/25/Intro.html">
전공탐색을 위한 SDEV 연구실 소개
</a></li></ul></div>
<p>
<center>
<font size="2.5">
211 S4-1, Chungbuk National University, Chungdae-ro, Seowon-gu, Cheongju, Chungbuk, South Korea (28644) <br>
Contact Information: Shin Hong <a href="mailto:hongshin@chungbuk.ac.kr">hongshin@chungbuk.ac.kr </a>
</font>
</p>
</div>
</center>
</article>
</div>
</div>
</div>
</body>
</html>