Futoshi Iwama
Research Scientist
IBM Research
Japan
Biography
He received his B.S in Information Science from School of Sciences, the University of Tokyo, Japan and also recived his M.E in Computer Science from Graduate School of Information Sciences and Engineering in Tokyo Institute of Technology, Japan. Then He recived his Ph.D in Computer and Mathematical Sciences from Graduate School of Infomation Sciences, Tohoku University, Japan.
Research Interest
Formal / Programming Language, Type System, Formal Logic and Reasoning in Real Applications. Software Engineering: Formal Method, Software Description and Software Testing / Verification.
