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

Approaching to the essence of complex distributed systems with state machines!

Keywords

Distributed systems, State machines, Theorem proving, Model checking

Click here for details
Ogawa Laboratory

Mizuhito Ogawa

Bridging theory and practice: towards dependable software and secure systems

Keywords

Formal language, Rewrting systems, infinite state transition systems, Formal methods, SMT, Binary analysis

Click here for details
Chong Laboratory

Chong Nak-Young

Leveraging Machine Learning for Intelligent Robotics

Keywords

Autonomous Intelligent Robots, Perception and Information Processing, Human-Robot Interaction

Click here for details
Tojo Laboratory

Satoshi Tojo

Logic, Language, and Communication

Keywords

GTTM, ILM, Grammar, Logic, Music, Evolution, Agent communication

Click here for details
Asano Laboratory

Fumihiko Asano

Understanding Principles of Movement Inherent in Humans and Animals through Efficient Motion Control Methods

Keywords

Dynamical system theory, Motion control, Analytical mechanics, Walking robots

Click here for details
Okada Laboratory

Shogo Okada

Human Behavior and Communication Modeling via Multimodal Social Signal Computing

Keywords

Social Signal Processing, Multimodal Interaction, Machine Learning, Data mining, Affective Computing, Social Computing

Click here for details
NGUYEN Laboratory

Minh Le Nguyen

Machine Learning and Language Understanding

Keywords

Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation, Music Information Proceesing

Click here for details
Hirokawa Laboratory

Nao Hirokawa

Programming Languages and Automated Reasoning

Keywords

Theoretical computer science, Symbolic computation, Functional programming, Automated theorem proving, Termination, Complexity analysis

Click here for details
p_ho.jpg

Anh Van Ho

Utilization of Soft Matter in Robotics

Keywords

Soft Robotics, Morphological Computation, Soft Haptics, Bio-inspired Robots, Tactile Servoing, Grasping and Manipulation

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