JAIST Logic@JAIST
Research Professor

Kokichi Futatsugi

Professor Futatsugi assumed a concurrent position at JAIST in April 1992 while he was working mainly for ETL (Electrotechnical Lab.) as Chief Senior Researcher. In April 1993, he starts to work mainly for JAIST. He received the Ph.D. degree from Tohoku University, and joined ETL in 1975. Professor Futatsugi stayed at SRI International as an International Fellow for one year from 1983 to 1984.  Professor Futatsugi was the Dean of Graduate School of Information Science, JAIST from 2001 to 2003.

Link: Personal homepage
Group: Research Center for Software Verification