Graduate School/Areas

Laboratory List

AOKI Toshiaki

Realize Safety and Security by Advanced Science and Technology

Keywords

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

Click here for details

INOGUCHI Yasushi

Research about basic technology of next generation supercomputers

Keywords

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

Click here for details

KANEKO Mineo
*This Lab. is not accepting new student.

Advanced ICT-Society is supported by reliable, high-performance LSIs

Keywords

Layout, Logic synthesis, High-level synthesis, Hardware-software codesign, System optimization, Combinatorial optimization

Click here for details

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

Keywords

Click here for details

TANAKA Kiyofumi

Let’s build high-performance computers

Keywords

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

Click here for details

TAN Yasuo

Advancing Research on ICT support systems in the home

Keywords

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

Click here for details

ISHII Daisuke

Embedding Trustworthy Software into the Real World

Keywords

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

Click here for details

UDA Satoshi

Improve the Reliability of ICT System Construction and Operation

Keywords

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

Click here for details

SUZUKI Masato

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

Keywords

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

Click here for details

TOMITA Takashi

Towards Realization of Highly Safe and Reliable Systems

Keywords

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

Click here for details

BEURAN Razvan

Improving future society trustworthiness through security research

Keywords

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

Click here for details

LIM, Yuto

For Forthcoming Research on Wireless,
Sensor and Energy

Keywords

Wireless, Network, Ubiquitous, Sensor, Energy

Click here for details
PAGETOP