본문 바로가기

리디 접속이 원활하지 않습니다.
강제 새로 고침(Ctrl + F5)이나 브라우저 캐시 삭제를 진행해주세요.
계속해서 문제가 발생한다면 리디 접속 테스트를 통해 원인을 파악하고 대응 방법을 안내드리겠습니다.
테스트 페이지로 이동하기

신승철

2025.05.19. 업데이트 작가 프로필 수정 요청

신승철
대학 교수와 벤처 기업인을 지낸 컴퓨터과학자다. 소프트웨어 검증 전문가이며 프로그래밍언어 이론, 수리논리학, 프로그램 분석과 검증을 연구하고 가르쳤다. 연구실 창업으로 소프트웨어 검증 전문기업을 설립하고 대표를 지냈다. 현재는 코드마인드 연구고문이고 경기대학교 AI 컴퓨터공학부 겸직교수다. 컴퓨터과학을 비롯해서 과학과 인문학 전반에 걸쳐 읽고 쓴다.

<기계의 언어, 언어의 기계> 저자 소개


본문 끝 최상단으로 돌아가기

spinner
모바일 버전