AOKI Toshiaki

Realize Safety and Security by Advanced Science and Technology

formal methods, formal verification, testing, model checking, theorem proving, automotive systems, safety critical systems

INOGUCHI Yasushi

Research about basic technology of next generation supercomputers

Massively parallel architecture, Parallel processing, Reconfigurable systems, Super computers, Domain Specific Architecture, CNN Chip

SHINODA Yoichi
*This Lab. is not accepting new student.

TANAKA Kiyofumi

Let’s build high-performance computers

Memory system, Caches, energy reduction, FPGA, real-time scheduling, embedded OS

TAN Yasuo

Advancing Research on ICT support systems in the home

IoT, M2M, Home Networks, Information Appliances, Smart House, International Standardization

ISHII Daisuke

Embedding Trustworthy Software into the Real World

Embedded Systems, Autonomous CPS, Model Checking, Program Verification, Reliable Simulation

UDA Satoshi

Improve the Reliability of ICT System Construction and Operation

Network routing, Campus information infrastructure, Data center, Cyber security

SUZUKI Masato

We support large and complex software development with architecture and visualization technologies.

Software Process and Development Environments, Software Architectures, Software Product lines, Service Oriented Architectures, Education for Software Engineers

TOMITA Takashi

Towards Realization of Highly Safe and Reliable Systems

model checking, program/specification verification, model/program/test generation

BEURAN Razvan

Improving future society trustworthiness through security research

Cybersecurity, IoT/CPS security, AI, Trustworthiness assurance, Cyber range

LIM, Yuto

For Forthcoming Research on Wireless,
Sensor and Energy

Wireless, Network, Ubiquitous, Sensor, Energy