SOFTOPIA, Inc. · 소프토피아 주식회사

연구로 만드는
소프트웨어

Software built on research.
프로그래밍 언어 · 프로그램 분석 · 소프트웨어 보안 연구를 토대로
데이터와 그래프를 다루는 분석 도구를 개발합니다.

About

소개 About us

소프토피아는 프로그래밍 언어프로그램 분석, 소프트웨어 보안 연구를 기반으로 실용적인 소프트웨어 도구를 개발하는 연구 중심 기업입니다.

오랜 학술 연구 경험을 산업 현장의 문제에 적용하여, 데이터의 흐름을 추적하고 지식을 그래프로 표현·탐색하며 그래프 데이터베이스 위에서 분석하는 도구를 만듭니다. 이론과 실무를 잇는 것이 소프토피아의 일하는 방식입니다.

R&D

연구·개발 Research & Development

현재 소프토피아가 집중하고 있는 세 가지 분야입니다.

데이터 리니지 분석 도구

Data Lineage Analysis

데이터가 시스템 안에서 어떻게 생성·이동·변환되는지를 추적하여, 출처와 영향 범위를 한눈에 파악할 수 있게 합니다.

지식그래프 시각화 엔진

Knowledge Graph Visualization

지식그래프의 표현과 탐색을 위한 시각화 엔진을 개발합니다. 복잡한 관계를 직관적으로 보고 따라갈 수 있도록 돕습니다.

GraphDB 기반 분석 도구

GraphDB-based Analysis

그래프 데이터베이스를 기반으로 대규모 연결 데이터를 질의·분석하는 도구를 만들어 의미 있는 통찰을 끌어냅니다.

People

구성원 People

도경구

대표이사 CEO

한양대학교 ERICA 명예교수. 프로그래밍 언어, 소프트웨어 교육·역사를 연구합니다.

홈페이지 ↗

김현하

기술이사 CTO

한양대학교 ERICA 겸임교수. 프로그래밍 언어, 프로그램 분석, 소프트웨어 보안을 연구합니다.

홈페이지 ↗

홍성문

연구원 Researcher

프로그램 분석과 데이터 시각화 연구·개발에 참여하고 있습니다.

홈페이지 준비 중 ↗
History

연구 연혁 Research History

지티원(주)(전신 아이티플러스(주))와 함께 프로그램 분석과 소프트웨어 보안 분야의 연구를 수행해 왔습니다.

산업 협력 Partners

지티원(주) 전신: 아이티플러스(주)

문법 구조 기반 문자열 분석, 머신러닝 기반 보안취약점 탐지, C/Java 소스코드 보안 취약점 분석기 개발

연구 분야 Areas

  • 프로그램 분석 · 문자열 분석
  • 소프트웨어 보안 · 정보흐름 분석
  • XSS 등 웹 취약점 탐지
  • 프로그래밍 언어 설계

주요 프로젝트 Selected Projects

  1. 2022

    딥러닝 기반 프로그램 분석 결과 클러스터링

  2. 2021

    그래프 기반 보안취약점 분석 기법

  3. 2020

    머신러닝 기반 소스코드 보안취약점 탐지

  4. 2018~

    데이터 계보 분석 도구

  5. 2008

    고성능 문자열분석기의 설계 및 구현 중소기업청 과제

자세한 연구 내용은 연구 페이지 ↗에서 볼 수 있습니다.

Contact

연락처 Contact

소프토피아와 연구·협력을 논의하고 싶으신가요? 아래로 연락 주세요.

SOFTOPIA

소프토피아 주식회사 · SOFTOPIA, Inc.