1996년 규슈대학 문학부 문학과 졸업(언어학 전공).
2005년 동 대학 대학원에서 박사(문학) 취득.
2002년~2008년 국립 정보학 연구소 연구원.
2008년~2011년 쓰다주쿠대학 여성 연구자 지원 센터 특임 준교수.
2012년~2016년 국립 정보학 연구소 사회 공유 지(知) 연구 센터 특임 준교수.
저서로 『백과 흑의 문?오토마톤과 형식언어를 탐험하는 모험』(도쿄대학 출판회, 2013년), 『정령의 상자?튜링 머신을 탐험하는 모험(상-하)』(도쿄대학 출판회, 2016년)가 있다.
1996년 규슈대학 문학부 문학과 졸업(언어학 전공). 2005년 동 대학 대학원에서 박사(문학) 취득. 2002년~2008년 국립 정보학 연구소 연구원. 2008년~2011년 쓰다주쿠대학 여성 연구자 지원 센터 특임 준교수. 2012년~2016년 국립 정보학 연구소 사회 공유 지(知) 연구 센터 특임 준교수. 저서로 『백과 흑의 문?오토마톤과 형식언어를 탐험하는 모험』(도쿄대학 출판회, 2013년), 『정령의 상자?튜링 머신을 탐험하는 모험(상-하)』(도쿄대학 출판회, 2016년)가 있다.
노틸러스효성(=효성티앤에스)에서 IT 업무를 시작하였다. 현재 ㈜코나아이 R&D센터에서 품질 및 보안, 시스템 인프라 업무 등을 담당하고 있다. 번역서로는 <SE를 위한 제안서 작성법>, <OS의 구조와 원리>, <리눅스 커널 2.6 구조와 원리>, <다이어그램으로 쉽게 배우는 UML>, <VHDL을 이용한 디지털 회로 입문>, <컴파일러 구조와 원리>, <구글 크롬 OS>, <시스템 장애는 왜 두 번 일어났을까?>, <컴퓨터는 어떻게 만들어졌나요?> 등이 있다.
노틸러스효성(=효성티앤에스)에서 IT 업무를 시작하였다. 현재 ㈜코나아이 R&D센터에서 품질 및 보안, 시스템 인프라 업무 등을 담당하고 있다. 번역서로는 , , <리눅스 커널 2.6 구조와 원리>, <다이어그램으로 쉽게 배우는 UML>, , <컴파일러 구조와 원리>, <구글 크롬 OS>, <시스템 장애는 왜 두 번 일어났을까?>, <컴퓨터는 어떻게 만들어졌나요?> 등이 있다.