James: /* Recent Patents */

2026-05-02T14:38:08Z

Recent Patents

← Older revision		Revision as of 23:38, 2 May 2026
Line 167:		Line 167:
	\|?FilingDate		\|?FilingDate
	\|?Nationality		\|?Nationality
			\|?Type
	\|format=template		\|format=template
	\|template=CitePat		\|template=CitePat

James: /* How to Apply */

2026-05-02T14:35:05Z

How to Apply

← Older revision		Revision as of 23:35, 2 May 2026
Line 228:		Line 228:
	# '''(Optional)''' GitHub profile, portfolio, or representative publications		# '''(Optional)''' GitHub profile, portfolio, or representative publications

	📧 '''Contact''': ~~lab~~@gnu.ac.kr (Principal Investigator)		📧 '''Contact''': insight@gnu.ac.kr (Principal Investigator)

	After an initial email exchange, we will arrange a meeting in person or via video call.		After an initial email exchange, we will arrange a meeting in person or via video call.

James at 14:34, 2 May 2026

2026-05-02T14:34:41Z

← Older revision		Revision as of 23:34, 2 May 2026
Line 37:		Line 37:
	* '''Affiliation''': Aerospace Software Engineering Program, Gyeongsang National University		* '''Affiliation''': Aerospace Software Engineering Program, Gyeongsang National University
	* '''Principal Investigator''': [[Seongjin Lee\|Prof. Seongjin Lee]]		* '''Principal Investigator''': [[Seongjin Lee\|Prof. Seongjin Lee]]
	* '''Location''': Jinju, Gyeongsangnam-do, Republic of Korea		* '''Location''': Gyeongsang National University ICT Convergence Center 601-908, Jinjudaero 501, Jinju, Gyeongsangnam-do, Republic of Korea
	* '''Email''': insight@gnu.ac.kr		* '''Email''': insight@gnu.ac.kr

Line 257:		Line 257:
	== Contact ==		== Contact ==

	* '''Address''': Gyeongsang National University, Jinju, Gyeongsangnam-do, Republic of Korea		* '''Address''': Gyeongsang National University ICT Convergence Center 601-908, Jinjudaero 501, Jinju, Gyeongsangnam-do, Republic of Korea
	* '''Email''': insight@gnu.ac.kr		* '''Email''': insight@gnu.ac.kr
	* '''Phone''': +82-55-772-1378		* '''Phone''': +82-55-772-1378

James at 14:32, 2 May 2026

2026-05-02T14:32:42Z

← Older revision		Revision as of 23:32, 2 May 2026
Line 40:		Line 40:
	* '''Email''': insight@gnu.ac.kr		* '''Email''': insight@gnu.ac.kr

	[[Members\|→ Meet our researchers~~]] ·~~		[[Members\|→ Meet our researchers]]
	~~[[About\|→ Learn more about us~~]]

	== Research Areas ==		== Research Areas ==

James at 14:31, 2 May 2026

2026-05-02T14:31:27Z

← Older revision		Revision as of 23:31, 2 May 2026
Line 7:		Line 7:
	<div style="background:linear-gradient(135deg, #1a3a6c 0%, #2a5298 100%); color:#fff; padding:40px 30px; border-radius:8px; margin-bottom:25px; text-align:center;">		<div style="background:linear-gradient(135deg, #1a3a6c 0%, #2a5298 100%); color:#fff; padding:40px 30px; border-radius:8px; margin-bottom:25px; text-align:center;">
	<div style="font-size:230%; font-weight:bold; letter-spacing:1px;">SRLab</div>		<div style="font-size:230%; font-weight:bold; letter-spacing:1px;">SRLab</div>
	<div style="font-size:120%; margin-top:8px; opacity:0.9;">~~Software Reliability~~ Laboratory</div>		<div style="font-size:120%; margin-top:8px; opacity:0.9;"> Systems Research Laboratory</div>
	<div style="font-size:95%; margin-top:15px; opacity:0.85;">		<div style="font-size:95%; margin-top:15px; opacity:0.85;">
	Research on Trustworthy Software for Aerospace and Autonomous Systems		Research on Trustworthy Software for Aerospace and Autonomous Systems

James at 14:30, 2 May 2026

2026-05-02T14:30:25Z

← Older revision		Revision as of 23:30, 2 May 2026
Line 1:		Line 1:
			{{DISPLAYTITLE: }}
	__NOTOC__		__NOTOC__
	<div style="text-align:right; margin-bottom:10px; font-size:90%;">		<div style="text-align:right; margin-bottom:10px; font-size:90%;">

James: Created page with "NOTOC
🌐 한국어 페이지로 가기

SRLab

Software Reliability Laboratory
<..."

2026-05-02T14:30:02Z

Created page with "__NOTOC__ <div style="text-align:right; margin-bottom:10px; font-size:90%;"> 🌐 한국어 페이지로 가기 </div> <div style="background:linear-gradient(135deg, #1a3a6c 0%, #2a5298 100%); color:#fff; padding:40px 30px; border-radius:8px; margin-bottom:25px; text-align:center;"> <div style="font-size:230%; font-weight:bold; letter-spacing:1px;">SRLab</div> <div style="font-size:120%; margin-top:8px; opacity:0.9;">Software Reliability Laboratory</div> <..."

New page

__NOTOC__
<div style="text-align:right; margin-bottom:10px; font-size:90%;">
[[Main_Page|🌐 한국어 페이지로 가기]]
</div>

<div style="background:linear-gradient(135deg, #1a3a6c 0%, #2a5298 100%); color:#fff; padding:40px 30px; border-radius:8px; margin-bottom:25px; text-align:center;">
<div style="font-size:230%; font-weight:bold; letter-spacing:1px;">SRLab</div>
<div style="font-size:120%; margin-top:8px; opacity:0.9;">Software Reliability Laboratory</div>
<div style="font-size:95%; margin-top:15px; opacity:0.85;">
Research on Trustworthy Software for Aerospace and Autonomous Systems
</div>
<div style="font-size:90%; margin-top:6px; opacity:0.75;">
Digital Twin · Runtime Assurance · Airborne Software · LLM Engineering
</div>
</div>

== About the Lab ==

SRLab, the '''Systems Research Laboratory''''''system software for trustworthy and intelligent computing''',
particularly in domains where failure is not an option — aircraft, UAVs, and
autonomous systems. Our mission is to make system software '''intelligent,
reliable, and efficient''' across these high-stakes environments.

Our research integrates the following themes:

* '''AI-Driven System Software''' — bringing Artificial Intelligence, Vision-Language Models (VLM), and Agentic AI into the system software stack
* '''Physical AI''' — designing and verifying AI systems that interact with the physical world
* '''Digital Twin''' — modeling and operationalizing digital twins for aircraft, UAVs, and autonomous platforms
* '''Runtime Assurance (RTA)''' — ensuring runtime safety and fail-safe behavior in real-time environments
* '''Edge Computing & Computation Offloading''' — optimizing distributed computing under resource constraints
* '''LLM for Software Engineering''' — automating software engineering processes with Large Language Models

These threads converge on a single question:
'''how do we design, implement, and verify trustworthy system software?'''

* '''Affiliation''': Aerospace Software Engineering Program, Gyeongsang National University
* '''Principal Investigator''': [[Seongjin Lee|Prof. Seongjin Lee]]
* '''Location''': Jinju, Gyeongsangnam-do, Republic of Korea
* '''Email''': insight@gnu.ac.kr

[[Members|→ Meet our researchers]] ·
[[About|→ Learn more about us]]

== Research Areas ==

<div style="display:flex; flex-wrap:wrap; gap:15px; margin:20px 0;">

<div style="flex:1 1 280px; padding:20px; background:#f0f7ff; border-left:4px solid #1a73e8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a3a6c; margin-bottom:8px;">
🛰️ Digital Twin (DT)
</div>
<div style="font-size:90%; line-height:1.6;">
Building digital twin models for aircraft and UAVs, combined with edge/cloud
computation offloading techniques, to enable real-time monitoring and
predictive diagnostics.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword DT|→ View DT researchers]] ·
{{#ask: [[Category:Publication]] [[Has keyword::DT]] | format=count}} publications
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#fff5f0; border-left:4px solid #e8741a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c3a1a; margin-bottom:8px;">
🛡️ Runtime Assurance (RTA)
</div>
<div style="font-size:90%; line-height:1.6;">
Designing runtime monitoring and fail-safe mechanisms that guarantee safety
of aerospace and autonomous systems during operation. We also explore
verification methodologies aligned with avionics standards such as DO-178C.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword RTA|→ View RTA researchers]]
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#f0fff5; border-left:4px solid #1ea84a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a6c3a; margin-bottom:8px;">
✈️ UAV & Airborne Software
</div>
<div style="font-size:90%; line-height:1.6;">
Designing and verifying embedded software for unmanned aerial vehicles —
from flight control to mission management — including work on open platforms
such as PX4 and ROS2.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword UAV|→ View UAV researchers]]
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#faf5ff; border-left:4px solid #8a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#4a1a6c; margin-bottom:8px;">
🤖 LLM for Software Engineering
</div>
<div style="font-size:90%; line-height:1.6;">
Leveraging Large Language Models to transform software engineering workflows —
from requirements analysis and code generation to automated documentation
of safety-critical software.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword LLM|→ View LLM researchers]]
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#fffdf0; border-left:4px solid #a89a1a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c5a1a; margin-bottom:8px;">
🏗️ Structural Health Monitoring (SHM)
</div>
<div style="font-size:90%; line-height:1.6;">
Sensor-driven techniques for diagnosing and predicting structural conditions,
with applications in aircraft structural health monitoring systems.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword SHM|→ View SHM researchers]]
</div>
</div>

<div style="flex:1 1 280px; padding:20px; background:#f5f0ff; border-left:4px solid #5a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#3a1a6c; margin-bottom:8px;">
🔗 Multi-Agent Systems (MAS)
</div>
<div style="font-size:90%; line-height:1.6;">
Algorithms for coordination and cooperation among multiple autonomous agents,
along with verification methods for distributed systems.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword MAS|→ View MAS researchers]]
</div>
</div>

</div>

[[Research|→ Explore our research in depth]]

== News & Highlights ==

<div style="background:#f9f9f9; padding:20px; border-radius:6px;">

=== Recent Publications ===
{{#ask: [[Category:Publication]]
| ?Author
| valuesep = ; 
| ?Title
| ?Venue
| ?Volume
| ?Issue
| ?Pages
| ?Year
| ?DOI
| sort=Year
| order=Desc
| format=template
| template=CitePub
| named args=yes
| limit=3
| default=
}}
[[Publications | → All Publications]]

=== Recent Patents ===
{{#ask: [[Category:Patent]]
|?Inventor
|?Title
|?RegistrationNumber
|?RegistrationDate
|?FilingNumber
|?FilingDate
|?Nationality
|format=template
|template=CitePat
|named args=yes
|sort=RegistrationDate
|order=desc
|limit=3
| default=
}}
[[ Patents | → All Patents and Software Copyrights]]

</div>

== Join Us ==

<div style="background:linear-gradient(to right, #fff8e1, #fffaf0); padding:25px; border-radius:8px; border:1px solid #f0c674;">

=== We are looking for motivated researchers ===

SRLab welcomes students passionate about '''software for aerospace and autonomous systems'''.
You may be a great fit if you are interested in:

* Safety-critical systems — aircraft, autonomous vehicles, medical devices, and beyond
* Digital twins, simulation, and model-based development
* Embedded software, with experience or willingness to learn C/C++, Python, ROS
* Applying LLMs to automate software engineering tasks

=== Open Positions ===

{| class="wikitable" style="margin-top:10px; width:100%;"
! Level !! Requirements !! Preferred Background
|-
| '''PhD Student''' || M.S. degree (or equivalent) in a relevant field, or expected completion || Publication record, prior research project experience
|-
| '''M.S. Student''' || Bachelor's degree (or expected completion) || Programming background; experience in aerospace SW or AI projects
|-
| '''Undergraduate Intern''' || 3rd or 4th year undergraduate students || Self-motivated learning attitude, team project experience
|}

=== What We Offer ===

* '''Funding''': Tuition and stipend support for graduate students through government and industry-funded projects (BK21, NRF, etc.)
* '''Research Environment''': Dedicated workspace, high-performance workstations, GPU servers, and UAV experimental equipment
* '''Growth Opportunities''': Support for domestic and international conference presentations, industry collaborations, and overseas internship programs
* '''Career''': Our alumni have joined leading institutions and companies in aerospace, software, and AI ([[Members#Alumni|→ See Alumni]])

=== International Students ===

We actively welcome international students. Our lab currently has researchers
from multiple countries, and English is widely used in research discussions.
Information about Korean Government Scholarships (KGSP) and other funding
options for international students is available upon request.

=== How to Apply ===

If you are interested, please send the following documents by email:

# '''CV / Resume'''
# '''Academic transcripts'''
# '''A short statement (1 page)''' describing your research interests and motivation
# '''(Optional)''' GitHub profile, portfolio, or representative publications

📧 '''Contact''': lab@gnu.ac.kr (Principal Investigator)

After an initial email exchange, we will arrange a meeting in person or via video call.

</div>

== Quick Links ==

<div style="display:flex; flex-wrap:wrap; gap:10px; margin:15px 0;">
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[Members|👥 '''Members''']]<br/>
<span style="font-size:85%; color:#666;">PhD · M.S. · Undergrad · Alumni</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[:Category:Publication|📄 '''Publications''']]<br/>
<span style="font-size:85%; color:#666;">{{#ask: [[Category:Publication]] | format=count}} papers</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[:Category:Patent|🔒 '''Patents''']]<br/>
<span style="font-size:85%; color:#666;">{{#ask: [[Category:Patent]] | format=count}} filed</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[Projects|🔬 '''Projects''']]<br/>
<span style="font-size:85%; color:#666;">Ongoing & completed</span>
</div>
</div>

== Contact ==

* '''Address''': Gyeongsang National University, Jinju, Gyeongsangnam-do, Republic of Korea
* '''Email''': insight@gnu.ac.kr
* '''Phone''': +82-55-772-1378
* '''GitHub''': [https://github.com/System-SW github.com/System-SW]

----
<div style="text-align:center; color:#888; font-size:85%; margin-top:20px;">
© SRLab, Gyeongsang National University · Last updated: 2026-05-02
</div>

Main Page/en - Revision history