TOP Page > Faculty List by Affiliation
Faculty List by Affiliation
Research Center for Theoretical Computer Science
3 faculty members found.
Click on a name for details.

No. Name School Area Job title Research Keywords
1 Satoshi Tojo School of Information Science Intelligent Robotics Area Professor
2 Kokichi Futatsugi School of Information Science Intelligent Robotics Area Research Professor formal methods, specification/design language, systems verification, software engineering
3 Daniel Mircea Gaina School of Information Science Intelligent Robotics Area Assistant Professor