Founder · Educator · Competitive ProgrammerSeoul, KR / 2026

I build systems
that make ability
visible.

BFORMAT / PROFILE전승민

AI 업무역량 평가·훈련 플랫폼을 만들고, 학생들에게 알고리즘과 AI를 가르칩니다. 알고리즘 / 보안 대회 출제, 참여에 관심이 많습니다.

1,430Problems
1,073AI runs
2023—Teaching
BronzeAI TOP 100

01 / Selected work

Things I'm building.

02 / Teaching

Give students the tool.
Then get out of the way.

학생이 무엇을 갈고닦을지 스스로 정하고, LLM과 에이전트를 성장의 도구로 쓸 수 있어야 한다고 믿습니다.

고등학교 알고리즘 교육 20회 · Django 프로젝트 멘토링

알고리즘 교육 7회 · 문제 제작과 대회 운영

생성형 AI 교육 · 교사 대상 AI·에이전트 연수

03 / Selected signals

Proof, not decoration.

2026AI TOP 100Bronze
2026Hongik Startup FestivalGrand Prize
2026SUAPC Winter6th
2026UCPCFinalist

04 / Security & CTF

bformat@security:~$ ./trace --signal

Break it.
Understand it.
Build it better.

보안 리서치와 AI를 접목한 솔루션에 관심이 많습니다. Agent가 잘 하는 영역을 분리하여 자동화하고, 대체할 수 없는 인간 전문가만의 영역과 마음가짐을 연구하고 있습니다.

01IHHH CTF1st
02CodeVinci CTF2nd
03Hacktheon SejongQuals 6th · Final 12th
04LLM Safety ChallengeFinal 1st
05WhiteHat ContestFinal 5th
06Dreamhack CTFRanking #2

05 / Contact

Build something
that can be tested.

Founder of Naedideum · Building Foundry and LinearSolve.

GitHub ↗Foundry ↗
bformat / resolving identity
move to reconstructresolving identity00%