Desktop Site

Areas/Organizations

Intelligent Robotics

Laboratory List

Ishihara Laboratory

Hajime Ishihara

From Computation to Proof

Keywords

Mathematical Logic, Intuitionistic Logic, Constructive Mathematics, Proof Theory, Reverse Mathematics

Click here for details
Ogata Laboratory

Kazuhiro Ogata

Make your programs run exactly as intended!

Keywords

formal specification, model checking, theorem proving, distributed systems, state machine graphical animation

Click here for details
Ogawa Laboratory

Mizuhito Ogawa

Bridging Theory and Practice:
Dependable Software and Secure systems

Keywords

Formal language, Rewriting systems, State transition systems, Formal methods, SMT, Binary code analysis

Click here for details
Chong Laboratory

Nak-Young Chong

Toward Realizing Intelligent Robots Leveraging Perception and Cognitive Information Processing

Keywords

autonomous intelligent robots, perception and cognitive information processing, assistive robots

Click here for details
Tojo Laboratory

Satoshi Tojo

Language = Logic?, Intelligence = Computation?

Keywords

Logic, Language, Agent, Communication, Grammar, Music

Click here for details
Asano Laboratory

Fumihiko Asano

Understanding natural, efficient, and skillful motions and its application to advanced robot technologies

Keywords

Underactuated robots, Mechanical systems, Control system technology, Biomimetics

Click here for details
Okada Laboratory

Shogo Okada

Computational modeling for understanding and generating multimodal social signal patterns

Keywords

Social Signal Processing, Human behavior analysis. Human dynamics, Affective computing

Click here for details
NGUYEN Laboratory

Minh Le Nguyen

Deep Learning, Natural Language
Understanding, Legal Text Processing

Keywords

Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation

Click here for details
Hirokawa Laboratory

Nao Hirokawa

Programming Languages and Automated Deduction

Keywords

term rewriting, symbolic computation, declarative programming, theorem proving

Click here for details
p_ho-e.jpg

Anh Van Ho

Utilization of materials softness in
development of novel robotic mechanisms

Keywords

soft robotics, soft robotic hands, soft sensor, morphological computation, bio-inspired robots

Click here for details
p_yokoyama.jpg

Keita Yokoyama

Understanding the difficulty and complexity of mathematical theorems

Keywords

Mathematical logic, foundations of mathematics, proof theory, computability theory, arithmetic, nonstandard model, reverse mathematics

Click here for details
PAGETOP