코드마인드 주식회사(대표 신승철)는 소프트웨어 분석 및 검증 전문기업이다. 프로그램 분석 및 프로그램 검증 분야를 연구해 온 교수, 연구원 출신이 2013년에 설립하였다. 시큐어코딩 진단을 위한 정적 테스팅 도구, 화이트박스 동적 테스팅을 위한 자동검증 도구 등을 개발 공급한다. 코드마인드는 세계수준의 정적 프로그램 분석 기술과 기호 실행 기술을 개발하여 소프트웨어 보안 및 안전 기술분야를 선도하고 있다. 또한 서울대 SW무결점 연구센터, 고려대 고품질융합SW 연구센터, 프로그래밍언어 연구회, 경북대 SW재난연구센터, KAIST 사이버보안연구센터 등과 산학협약을 맺고 산학연구교류를 활발하게 진행하고 있다.
로그인 후 정보를 보완할 수 있습니다.
로그인 후 댓글을 작성할 수 있습니다.
아직 댓글이 없습니다. 첫 댓글을 남겨보세요!
예술편람