Electronics and Information Engineering Laboratories

Information and Communication Engineering Laboratory

Basic Information

Staff

Associate Professor Hajime Matsui

Outline

Basic research and its applications on information theory and computer science

Digital communications and storage technology for mass information, and recognition technology for various objects and scenes using computers are most active research areas. These basic technologies and applications are developed.

Research Themes

Searching of efficient error-correcting codes by computer clusters
Automated proving of mathematical theorems by machine learning
Autonomous recognition of mathematical proofs from texts

Website

http://ttiweb.toyota-ti.ac.jp/1432/pub_semi_show.php?n=7

Equipment

elec08-001.jpg
Computer cluster for parallel computing

page up