양진혁.

스마트링 연동 건강관리·묵주기도 앱 · 백엔드 및 BLE 연결

• Flutter의 MethodChannel로 Dart와 Kotlin·Swift를 연결해 제공된 BLE SDK를 양 플랫폼에 연동했습니다.
• 심박수·수면·활동 등 디바이스 데이터를 Drift에 저장하고, 기간별 그래프와 묵주기도 기록 기능을 구현했습니다.

Flutter · Dart · Kotlin · Swift · BLE · Drift

사진·시연4개눌러서 크게 보기

수면 분석 일일 활동 요약 걸음 수·거리 상세 그래프 월별 활동 캘린더

웹 테스트 자동화 시스템 · 백엔드 및 프런트엔드 일부

• 비전공자가 블록을 조합해 웹 테스트를 작성·실행할 수 있도록 Blockly 기반 편집기와 비동기 실행 구조를 연결했습니다.
• Blockly XML·JSON·Python Celery 워크플로우 변환과 XPath 선택자 관리를 구현했습니다.
• Flask·Selenium으로 테스트 실행·중지를 지원하고, Pusher로 실행 상태와 오류를 실시간 전달했습니다.

Python · Flask · Celery · Selenium · Blockly · Pusher

사진·시연1개눌러서 크게 보기

블록으로 구성한 웹 탐색 흐름

KAIST CASYS Lab · 학부연구원 · 지도교수 권영진

• SQLite와 파일시스템의 중복 저널링 오버헤드를 줄이기 위해 EXT4 내부에 reflink 기반 원자적 스테이징 프로토타입을 구현했습니다.
• 단일 writer·SQLite synchronous=OFF 조건의 TPC-C 실험에서 197.2K TpmC를 기록해, 동일 조건의 EXT4 WAL 대비 처리량을 12.0% 높였습니다.
• QEMU 강제 종료·재부팅 실험에서 부분 갱신 없이 이전 상태로 복구되는 것을 확인했습니다. 트랜잭션당 쓰기량은 8.0KB로, F2FS MAW의 1.5KB 대비 추가 최적화 과제를 도출했습니다.

• Project 1–5에서 시스템콜, 메모리·프로세스 관리, 파일시스템 기능을 구현했습니다.
• Copy-on-Write, 페이지 캐시, 저널링을 구현하고, 오류 반환 경로의 잠금 미해제로 발생한 커널 패닉을 추적했습니다.

Rust · Copy-on-Write · Page Cache · Journaling

• 스레드·동기화, 사용자 프로그램과 시스템콜, 가상메모리, 파일시스템을 구현했습니다.
• 지연 페이지 할당과 Swap In/Out을 구현하고, exec 실패 시 자원 정리와 프로세스 종료 흐름을 분석했습니다.
• Project 1–4의 추가 과제를 제외한 전 평가 항목에서 만점을 받았습니다.

사진·시연3개눌러서 크게 보기

Pintos 트러블슈팅 노트 01 Pintos 트러블슈팅 노트 02 Pintos 트러블슈팅 노트 03

카드게임 규칙 엔진 · 온라인 멀티플레이 · 강화학습 AI

• 공통 규칙 엔진에 온라인 멀티플레이와 AI 자기대전을 연결했습니다.
• TensorFlow.js·tfjs-node로 GRU 기반 PPO 학습과 합법 행동 선택, 상대 덱 분포 추정을 구현했습니다.
• Policy-Q 평가기의 학습·검증을 구성하고, 경기 단위 데이터 분리·모델 승격 검증·체크포인트 재개를 연결했습니다.
• Node.js 서버와 Electron Windows 앱을 배포하고, SHA-256·전자서명 검증을 포함한 자동 업데이트를 구현했습니다.

사진·시연3개눌러서 크게 보기

사이드보딩 카드 효과와 반응 처리 전장과 결전

노래 가사 기반 외국어 학습 · 백엔드 및 프런트엔드 일부

• Musixmatch API로 수집한 일본어 가사를 Janome으로 형태소 분석하고, Papago API로 토큰별 번역을 제공했습니다.
• Flask 백엔드와 Flutter 화면을 연결하고, PostgreSQL 데이터베이스를 Render에 배포했습니다.

Python · Flask · Flutter · PostgreSQL · Janome

사진·시연3개눌러서 크게 보기

가사 분석과 단어 학습 노래별 가사 학습 소리봄 홈