Research Topics

List of Research Groups

IT Research Group

Professor Toru Fujiwara Coding Theory, Information Security
Assoc.Prof. Yasunori Ishihara Data Model Theory
Research Assist. Maki Yoshida Information Security

The activities of this research group include coding theory, information security and data model theory. In the field of coding theory, the group is currently working toward designing algorithms of decoders, VLSI implementation of decoders, and methodology to estimate the weight distribution and the error performance of codes. In the field of information security, the group is currently working toward proposal of protocols using cryptographic technology and automatic verification of those protocols. In the field of data model theory, the group is currently working toward developing decision algorithms for the security problem against inference attacks on databases, integration frameworks of XML Document Type Definitions, and access control models.

Graph Algorithm Research Group

Professor Toshinobu Kashiwabara Combinatorial Algorithm
Assoc.Prof. Kiyoharu Hamaguchi Computer-Aided Design of Logic Circuits, Logic Circuit Theory

The activities of this research group include theoretical and practical aspects of algorithms, in particular, those relating to graphs as the fundamental data structure. As theoretical research, this group has studied on graph theory, computational geometry, parallel algorithms and graph-based representation of Boolean functions. Furthermore, as practical research, this group has applied graph-based algorithms to layout problems for LSI chips and formal verification of logic designs.

Dependability Engineering Research Group

Professor Tohru Kikuno Dependability Engineering, Software Engineering
Assoc.Prof. Tatsuhiro Tsuchiya Fault-tolerant computing systems
Research Assist. Osamu Mizuno

The activities of this research group include dependability evaluation of fault-tolerant computing systems, formal verification of network computing systems, and software project management for safety critical systems. The group developed an automatic verification tool for detecting and resolving feature interactions among telecommunication services. The group also developed a Petri-net-based project simulator for effective project management and succeeded in highly accurate prediction of the quality, cost, and delivery date.

Computer-Aided Engineering Research Group

Professor Teruo Higashino Mobile Computing, Distributed Systems
Assoc.Prof. Akio Nakata Real-Time Concurrent Systems, Formal Description Techniques
Research Assist. Takaaki Umedu Mobile Computing, Middleware
Research Assist.** Shigeto Tajima Combinatorial Optimization Problems
** Graduate School of Eng. Sci.

In our laboratory, we are studying about algorithms, software and design methodologies concerning with mobile computing, distributed multimedia systems, communication protocols, real-time systems, networksystems, and so on. We aim at developing new technologies for constructing high-reliable ubiquitous systems for an affluentsociety.

VLSI System Design Research Group

Professor Masaharu Imai Hardware/Software Codesign, VLSI System Design
Assoc.Prof. Yoshinori Takeuchi Digital Signal Processing, VLSI System Design
Research Assist. Keishi Sakanushi Combinatorial Optimization Problems, VLSI Layout Design

This group's research interest includes VLSI (Very Large Scale Integration) design and EDA (Electronic Design Automation) for system LSI (Systems on a Chip). This group's current research topics are as follows. (1) VLSI system level design Methodology: Optimization design assistant environment for system LSI's that takes deep-submicron technology into consideration (2) Application Specific VLSI Design: Design and evaluation of DSP (Digital Signal Processing) modules, image compression modules, Error Correction modules, Silicon OS modules, etc.

Multimedia Information Systems Research Group

Professor Masayuki Murata Information Network, System Performance Evaluation
Assoc.Prof. Naoki Wakamiya Multimedia QoS Architecture
Research Assist. Ichinoshin Maki Traffic Control
Research Assist.**** Shin'ichi Arakawa Research on WDM-based optical network for reliable and flexible high-capacity networking
**** Faculty of Economics

The primary research activity of this group is in computer systems and communication networks mainly from a viewpoint of performance and reliability with the aid of queuing theory and/or queuing network theory.

Bioinformatics and Knowledge Base Research Group

Professor Hideo Matsuda Bioinformatics, Knowledge Base Engineering
Assoc.Prof. Youichi Takenaka Bioinformatics, Neural Network
Research Assist. Susumu Date
Research Assist.** Toshiaki Yoshioka Bioinformatics
** Graduate School of Eng. Sci.

The activities of this research group include computer analysis of molecular biology data and integration of heterogeneous databases. In particular, the group has been studying algorithms to classify molecular sequences and to explore similar tertiary structures by encoding protein 3D structures as strings. This group is also developing an integrated system for multiple molecular biology databases using multi-agents.

FDT Research Group

Professor Kenichi Taniguchi Formal Description Techniques, Concurrent Systems
Assoc.Prof. Kozo Okano Specification and Verification, Distributed Systems
Research Assist. Hirozumi Yamaguchi Distributed Multimedia Systems

The activities of this laboratory include development technologies for high-reliable software and communication systems required for realizing a highly advanced information society. The following is part of our current research topics: FDT-based design methodologies for software and hardware systems, verification tools, and integrated software developing environments; functional programming languages and systems; derivation and verification of concurrent and distributed systems; design and implementation of distributed multimedia systems and distributed mobile systems.

Parallel Processing Research Group

Professor Kenichi Hagihara Massively Parallel Programming, Parallel Algorithms
Assoc.Prof. Noriyuki Fujimoto High Performance Compiler, Massively Parallel Algorithms
Research Assist. Fumihiko Ino

The activities of this research group include parallel and distributed algorithm design, development of compiler optimization techniques for high performance parallel compilers, and parallization of WWW servers. The group has been also developing a parallel programming environment which consists of a compiler, a debugger, a performance analyzer, and a visualization system for the high level parallel programming language Work-Time C, which extends the C language to support high level parallel algorithm description.

Distributed System Design Research Group

Professor Toshimitsu Masuzawa Parallel/Distributed Algorithm, VLSI Design/Synthesis for Testability
Research Assist. Fukuhito Ohshita Parallel/Distributed Algorithm

The activities of this research group include design of parallel and distributed systems, and design of fault-tolerant systems. The current research topics are
(1) algorithm design for fault-tolerant parallel/distributed systems,
(2) algorithm design for mobile distributed systems, and
(3) VLSI synthesis and design for testability.

Information Network Architecture Research Group (in Cybermedia Center)

Professor Hirotaka Nakano
Assoc.Prof. Gou Hasegawa
Research Assist. Masahiro Sasabe

Software Engineering Research Group

Professor Katsuro Inoue Software Engineering, Program Analysis
Assoc.Prof. Shinji Kusumoto Software Metrics, Quality Engineering
Research Assist. Makoto Matsushita Software Process

The activities of this research group include formalization and modeling software development process for understanding the process and generating support environment for the process. The group has been modeled various processes and constructed their environments. This group is also interested in source program analysis based on dependence relation of the program statements. The analysis results are used for improving the work efficiency of debugging and maintenance process.

Information Sharing Platform Research Group

Professor Makoto Imase Network Algorithm, Information Network
Assoc.Prof. Hiroyuki Ohsaki Information Network, System Performance Evaluation
Research Assist. Harumasa Tada Distributed Systems

Research topics involve network and information technologies for the Information Sharing Platform, which realizes and supports the information industry such as electronic commerce, communication among business enterprises, and contents distribution.

Human Interface Research Group

Professor Yasushi Yagi
Research Assist. Ryusuke Sagawa

Considering the growing needs of computer usage in interdisciplinary fields, the research interest of this department has been directed to applications of computers to image/natural-language/knowledge processing as well as their integration. On the basis of this research history, the current research activities of this group include intelligent media computing and knowledge information processing. The former includes collaborative processing of multimodal information streams such as video, audio and closed caption for its application to content based media retrieval, parts assembly navigation system, and intelligent media presentation for geographic information systems. The latter does an extended reasoning with knowledge base containing exceptions and knowledge acquisition by inductive logic programming, and also sharing and acquiring concepts among agents through collaborative work and communication.

Infomedia Education Division (in Cybermedia Center)

Professor Haruo Takemura Human Computer Interaction, Virutal Reality, 3-D GUI
Assoc.Prof. Kiyoshi Kiyokawa
Research Assist. Hideo Masuda
Research Assist. Takefumi Ogawa
Research Assist. Takashi Machida

The activities of this research group include development of advanced human computer interaction method and its analysis, such as HCI based on Virtual Reality and Mixed Reality technology, research on 3-D information visualization from large scale database, and study on collaborative communication environment. Theses activities are all related to innovative way of human to human and human to computer interaction/communication. The research field covers a wide range of interdisciplinary area of information science.

Medical Image Processing Research Group

Professor Shinichi Tamura Computer vision, Medical image processing
Assoc.Prof. Yoshinobu Sato Computer aided surgery, Medical image analysis
Research Assist. Yoshikazu Nakajima Computer Assisted Medical Treatment, Medical Image Processing

We are doing the research of medical applications of advanced image processing and computer vision techniques. (1) Surgical navigation system: Virtual and augmented reality technology, sensor technology for inside-body navigation, and application to breast cancer and hip joint orthopedic surgery. (2) Multi-viewpoint image analysis: Active vision approach to coronary angiographic image acquisition and left ventricle shape recovery. (3) Multi-scale and multi-orientation image analysis: Basic frameworks (3D local intensity structure filtering, orientation space filtering) and their application to detection and quantification of vessels, bronchial airways, cartilages, and leukocyte motions. (4) Image restoration and diagnostic imaging: MRI artifact correction and novel X-ray imaging system, GLG (grid-less and grid) computed radiography. (5) Functional analysis of brain: Wavelet analysis of electrophysiological information using ECoG (Electrocorticography) and MEG (Magnetoencephalography).
HOMETo CS/SS Home Page
www-admin@ics.es.osaka-u.ac.jp