We invite non-Japanese students to
experience Internship program in JAIST for 8 weeks or so. Successful candidates
should prepare some documents requested. Hereby we recommend applicants. Find
your potential host professor and/or research labs. For this purpose read the
research title and descriptions provided by each lab, and contact them. Then
follow their instruction while preparing necessary documents.
This Internship program is sponsored
by JASSO. Each participant will be given 80,000Yen per each month.
Contact: Ms. Miyuki Sakurai, Internship
Program Coordinator
E-mail: miyuki-s@jaist.ac.jp
List of Potential
host: Research Lab
Theoretical Information Science Area
Professor Dr Hajime
Ishihara
Title: Mathematical
Logic, Constructive Mathematics, and Theory of Computation
Overview: We are studying on
mathematical logic, and on reconstruction of mathematics from the viewpoint of
computability and complexity using techniques of mathematical logic. To promote
the research, we are also studying constructive mathematics which is based on a
weaker logic, called intuitionistic logic, than ordinal (classical) logic.
See
page 7 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Professor Dr Ryuhei
Uehara
Title: Efficient
Algorithms for Intractable Problems
Overview: We
sometimes meet some problems which are theoretically intractable. However, what
if we need to solve them? We tackle such intractable problems, and give some
"reasonable" solutions in practice.
See
page 8 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Professor Dr
Kunihiko Hiraishi
Title: Formal Modeling
and Analysis of Systems: Fundamental Theory and Application
Overview: We study
how to build formal models for complex objects in the real world. Particularly,
we focus on concurrent systems and hybrid systems, where a concurrent system is
a dynamic system in which many interacting processes run concurrently, and a
hybrid system is a dynamic system that exhibits both continuous and discrete
dynamics. Moreover, we apply developed methods and tools to various kinds of
targets in information systems, control systems, and systems biology.
See
page 9 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/is/labs/hira-lab/
Professor Dr Atsuko
Miyaji
Title: Information Security:
From advanced research to application
Overview: We have
been working on an information security technology. Specifically, we focus on
the cryptography, network or software security including computer viruses,
electronic commerce, and criterion of security evaluation. Our results cover
from theoretical to practical results such as solutions for efficient
implementation.
See
page 10 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://grampus.jaist.ac.jp/miyaji-lab/index.html
Associate Professor
Dr Kazuhiro Ogata
Title: Systems Verification
on Safety and Security: Aiming at developing safe and secure systems
Formal verification techniques: Studies on how to
model a variety of systems as OTSs and how to verify that such systems satisfy
a variety of properties.
Integration of formal verification techniques: Studies on
effective use of formal verification techniques such as interactive theorem
proving and model checking.
Design and implementation of tools: Design and
implementation of tools that facilitate formal verification on OTSs with
CafeOBJ and Maude.
Case studies: Application of such formal verification
techniques and tools to actual systems such as e-commerce systems.
See
page 11 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/~ogata
Associate Professor
Dr Kazumasa Omote
Title: Security Modeling and
Application of Network Systems
Overview: Our laboratory studies
information security. We are especially interested in security modeling of
network systems, based on cryptography and probability / statistics theory. We
are also doing design and security analysis of the efficient algorithm for constructing
a secure system.
See
page 12 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/~omote/
Computer Systems and
Networks Area
Professor Dr Yasushi
Inoguchi
Title: Massively Parallel
Systems
Overview: Researches
of massively parallel systems have many processing levels; configuration of
parallel arithmetic units in a VLSI chip, massively parallel systems that
consist of a large number of microprocessors, PC-cluster that combines many
Linux-PCs with high speed networks, and widely distributed systems such as
GRID. We are developing methods and technologies for massively parallel
systems.
See
page 14 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/~inoguchi/
Professor Dr Mineo
Kaneko
Title: A study on
High-Level Synthesis for high-performance LSIs
Overview: High-Level
Synthesis is one of the most important design stages for high performance LSIs,
in which the hardware structure, the temporal behavior and data-transfer
routing in the register transfer level are optimized. The goal of this research
is to provide solutions and optimization methods in high level synthesis for
nanometer-scale, ultra-low power LSIs.
See
page 15 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/is/labs/kaneko-lab/
Professor Dr
Mikifumi Shikida
Title: Large-scale
Network Services and Groupware
Overview: In our
laboratory, research aim is to be able to integrate next generation network
services, and software architecture of the services. Especially, we focus on
large-scale network services and groupware. In these years, scale of computer
systems has been getting huge day by day. The methodology of managing
large-scale servers is key factor. We investigate application systems using
large-scale servers and mobile equipments.
See
page 16 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www-shikida.jaist.ac.jp/
Professor Dr
Yasuo Tan
Title: A study on Home
Network services and service platform technologies
Application
technologies for home network services like energy management, home security,
and audio-visual entertainment etc. Service platform technologies for home
network service deployment.
Title: A study on
HomeNetwork simulation technologies
Simulation
technologies for cloud based homenetwork systems including user modeling and
wide area network. Emulation-based large scale simulation with StarBED.
Title: A study on
HomeNetwork communication technologies
Wired/wireless
communication technologies for in-house equipment like sensors and home
appliances.
See
page 17 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/is/labs/tan-lab/
Associate Professor
Dr Kiyofumi Tanaka
Title: Real-time
Embedded Systems
Overview: In our
life environment, computers are embedded everywhere, for example, in cell
phones, in home electric appliances, in network equipments, and in automobiles,
which often require real-time property. In our laboratory, we research how to
achieve efficient real-time processing, in terms of both hardware and software.
In addition, we actually design and implement systems, which helps empirical
studies.
See
page 19 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://tlab-web.jaist.ac.jp:8080/
Associate Professor
Dr Kurkoski, Brian Michael
Title: BITS: Bits of
Information, Transmitted and Stored
Overview: I am
broadly interested in coding theory and information theory, and their applications
to communication problems. Some particular research topics include:
-
Efficient decoding of error-correcting codes, particularly
belief-propagation decoding of LDPC codes and turbo codes.
-
Information theoretic measures for channel quantization
-
Design and decoding of lattices, particularly high-dimension
lattices for communications.
-
Application of error-correcting codes to non-volatile
storage, such as flash memories and hard disk drives. Also, rewriting or WOM
codes for flash memories.
-
Detection of intersymbol-interference in communication
channels, particularly two-dimensional intersymbol interference.
-
Multimedia authentication methods, such as digital
watermarking and robust hashing, particularly the application of coding theory
to these methods.
See
page 20 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://www.jaist.ac.jp/~kurkoski/
Associate
Professor Dr Azman Osman Lim, Computer Systems and Networks Laboratory
Title: Study of Energy
Efficient Routing Protocol in Wireless Sensor Networks
In wireless sensor networks (WSNs),
sensors usually form a tree topology and the sensed data are transmitted to a
sink using multihop communication fashion. The tree topology works effectively
in handling the traffics towards the sink through a routing protocol. However,
this tree topology aggravates the waste of network resources. In particular, sensors
close to the sink will overuse the energy for transmitting other sensed data
and led to the residual battery drained faster. The goal of this research is to
find out an efficient routing protocol incorporate with the energy management
for the WSNs.
See page 21 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/is/labs/lim-lab/
Associate
Professor Dr Ken-ichi Chinen
Title: Network Services and
Network Experiments
We focus on network
services. By consideration on service models, design and implementation of
server programs, and building and operation of server computers, we are addressing
the improvement of quality and performance in the network services. We build
and operated large WWW server sites that handle 100 million and over accesses
per day. Traditional technologies are not enough to manage such large scale
server. We introduced and developed advanced technologies like load balancing,
content synchronization and others.
See page 22 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~k-chinen/
Software Science
Area
Associate Professor Dr Toshiaki Aoki,
Software Science Lab
Title: Study on analyzing concurrent
systems by model checking tools
In concurrent systems, there are
problems such as race conditions and deadlock which are hard to be detected by
testing. Model checking tools are good at dealing with such problems. In this
study, we conduct experiments on analyzing concurrent systems by the model
checking tools. Then, we reveal problems and solutions for applying the model
checking tools to practical systems.
Title: Study on making
specifications in formal specification languages
We usually describe specifications of
target systems in natural languages such as Japanese and English in developing
them. In this case, ambiguity and inconsistency may often exist in the
specifications. Such ambiguity and inconsistency will cause backtracks of
developments with high cost. In addition, it may affect the reliability of the
target systems. Formal specification languages are good at dealing with such
problems. Thus, in this study, we conduct experiments on making unambiguous and
consistent specification in the formal specification languages. Then, we reveal
problems and solutions for applying the formal specification languages to
practical systems.
Title: Study on verifying applications
executed on real-time operating systems
Real-time operating systems, shortly
RTOS, are operating systems for real-time systems. Applications executed on
RTOS are controlled by a scheduler of RTOS, and analyzing such behavior is
harder than simple concurrent behavior. Thus, we are proposing not only methods
to analyze them by existing model checking tools but also our own model
checking tools. In this study, we conduct experiments on analyzing the
applications using those tools and methods.
See page 24 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://aoki-www.jaist.ac.jp/
Associate Professor Dr Masato Suzuki
Title: Software Development and
Comprehension-An Architecture and Component-based Approach-
Overview: We are engaging on architecture and component-based
Software engineering. Our goals are as follows:
Supports for development
・spec./verification of connectors
・semi-automatic modification of
components from their histories
Supports for comprehension
・visualization of components
Rebuilding legacy software using
components Supporting changes by the history:
See page 25 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://ochimizu-www.jaist.ac.jp/
Associate Professor
Dr Nao Hirokawa
Title: Solving
Mathematical Puzzles
How to solve
mathematical puzzles (e.g. Sudoku and the Magic Square) by computers? In this
project we study constraint solving techniques and tools, implementing
efficient solvers for such puzzles.
See page 26 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~hirokawa/
Associate Professor
Dr Défago Xavier
Title: Fault-Tolerance
and Group Communication
Overview: A
distributed system consists of a collection of programs running on different
processors (called processes), a communication medium, and, most importantly,
protocols to ensure agreement, synchronization and cooperation among the
processes. The goal is to make the whole
system appear as a single coherent system. From real-time embedded systems to
enterprise information systems, and from power grid control to the Internet,
most systems in our current society are distributed. For this reason,
distributed systems must be able to survive even if some of the components are
faulty. Our research focuses on two goals: making processes work together, and
helping the system survive even if some processors or processes fail. Mainly,
we focus on applying the approach to robot systems.
See page 27 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~defago
Associate Professor
Dr René Vestergaard
Title: The Proof Theory
of Information Structures Formal-Reasoning
Overview: The
Formal-Reasoning Laboratory is concerned with the mathematical underpinning of
the various structures used in information science (and beyond) to hold,
express, and organise the information we process. We are particularly
interested in reasoning about formal systems that reason about or process other
formal systems themselves. The ultimate aim is to be able to make easily
accessible versions of the necessary mathematical machinery available to a
wider audience, in part via computerised tools that can guide the development
of formal arguments.
See page 28 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~vester/
Human Information
Science Area
Professor Dr Masato
Akagi
Title: To make
machines' ears and mouth intelligent
Overview: The work
of Akagi Lab is speech signal processing and modeling the speech perception
mechanism of humans. Speech is the most natural means of communication between
humans. Therefore, it is believed that modeling these compensation mechanisms
is able to realize the high-performance speech processing systems.
See page 31 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.ais.jaist.ac.jp
Professor Dr Jianwu Dang
Title: Speech
Communication: Intention, Articulation, Cognition, and its Applications
Overview: Speech
communication as well as eating and swallowing are the basic activities
concerned with human life, while the tongue is the essential organ playing an
important role. In our Lab, we have developed a physiological simulator
including the tongue and the other oral-facial organs, and have used it for
speech production and inversion. We are also endeavoring to use this approach
to clinical application such as glossectomy and swallowing disorder, as well as
on speech processing.
See page 32 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~jdang
Professor Dr
Nak-Young Chong
Title: Realizing
Intelligent Robots within Informatically Structured Environment
Overview: The JAIST
Robotics Laboratory directed by Prof. Nak Young Chong is affiliated with the
School of Information Science at JAIST. The lab, aka Intelligent Mechanical
Systems Laboratory, is devoted to the research and development of novel
intelligent robotic systems through knowledge networking and interactive
communication.
See page 33 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/robot/
Professor Dr Teruo Matsuzawa
Title: Computational
Fluid Dynamics
Overview: We are
researching computational fluid dynamics (CFD) to analyze the behavior of fluid
flow with various types of high-speed computers, such as, massively parallel
computer, vector computer and those cluster. CFD is widely applied to simulate
fluid flow e.g., air flow, ocean flow, flow in engine, flow around car and
airplane, and flows in human body. Our research themes are as follows: modeling
of various types of flows, deriving of governing equations, and visualization
of obtained result data and algorithm of high-performance computing.
See page 34 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Associate Professor
Dr Fumihiko Asano
Title: Efficient Motion
Control of Robotic Systems Utilizing Physical Principles
Overview: Our laboratory
studies robotics and control engineering, especially humanoid robots and their
motion control and technologies. We aim to gain a deeper understanding of
skillful and adaptive mechanisms of humans and animals through robotics
research, and to develop novel machine systems that can achieve more advanced
movement than living organisms.
See page 35 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/is/labs/fasano_lab/index.html
Associate Professor
Dr Masashi Unoki
Title: A study on
Information hiding for sound signal
This research aims
to study a possibility of information hiding for sound signal as digital audio
watermarking.
Title: A study on
speech enhancement techniques based on human auditory characteristics
This research aims
to study speech enhancement techniques based on human auditory characteristics.
There are for example, denoising and dereverberation for speech.
Title: A study on speech
communications using bone-conduction
This research aims
to study speech communications by using bone conducted microphones and
earphones.
See page 36 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~unoki/
Associate Professor
Dr Kazunori Kotani
Title: Computer Vision
& Imaging: Image Analysis, understanding and Synthesize
Overview: We are
researching about an image processing and synthesizing based on image analysis,
understanding and description. Our research area is including an image
recognition, computer graphics (CG) and computer vision.
See page 37 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://awabi.jaist.ac.jp:8000/kotani_lab/index.html
Associate Professor
Dr Hirokazu Tanaka
Title: Computational
Neuroscience: Understanding the Brain through Computational Modeling
Computational
Understanding of Brain: Whereas experimental approaches such as unit recording
and functional neuroimaging have so far dominated in neuroscience,
computational approaches are indispensable for understanding the
representations and algorithms used in the brain. Our mission is to understand
the brain through computational models and physiological/neural signal
processing.
Other targets:
Computational Motor Control (Network of Motor Cortical Areas and Motor
Adaptation and Psychophysics), Physiological / Neural Signal Processing.
See page 38 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Associate Professor
Dr Ryo Maezono
Title: Hand-made
parallel computer
Using the cluster
consisting of over 200 processors in our lab, one can learn how to build it
from PC parts and how to run it by Linux operating system.
Title: Scientific
Simulation using Super Computers
Using super
computers at JAIST, one will learn the basics of the simulation, operations of
simulation runs, and post-processing of data using UNIX environment.
Title: Introduction to
Quantum Simulation for students majoring different areas
Based on our
educational experience for non-special students, we provide an introduction
along the practical simulation exercises.
See page 39 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Associate Professor
Dr Atsuo Yoshitaka
Title: Realizing Novel
Framework on Video Processing that Fits to Human Ways of Perception
Overview: A new
framework for accessing visual data that achieves higher affinity to human
perception is necessary, since the amount of information we access is
increasing year by year. Much of the information that humans perceive is
visual; however, current information processing systems do not focus on this
factor enough to maximize the efficiency of human-computer interaction. We are
studying semantic content detection methods for various kinds of visual
information, taking the psychological aspects of human vision into account.
See page 40 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://awabi.jaist.ac.jp:8000/yoshitaka_lab/
Artificial Intelligence Area
Professor Dr Hiroyuki Iida, Research
Unit for Entertainment and Intelligence
Title: Game-refinement theory
Project description: See the URL below.
See page 41 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Professor Dr Satoshi
Tojo
Title: Intelligence as
Computation, Language as Logic
Overview: We cannot
find a substance called intelligence in our brains; as a first step toward AI,
we consider human language is the emergence of our intelligence. Is our
language is computational? Or, how can logic, as a foundation of computation,
approximate our language?
See page 43 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://cirrus.jaist.ac.jp:8080/
Associate Professor
Dr Kokolo Ikeda
Title: Game and AI, as
our rival and teacher
Overview: Though
computer programs work widely around our life, when we strongly feel the
existence of artificial "Intelligence"? It will be when we play a
video-game. Many researchers have studied AI of game, and the major goal is to
make a strong player (agent). However, by the progress of computer technology
and research, we can easily make strong AI player, except for go and shogi. The
next goals are, I think, to make "realistic", "enjoyable"
and/or "educational" agent. In our lab, many games such as go,
scrabble and poje are used for research, and how to make agents as our rival
and teacher are studied. In addition, genetic algorithm, multi- objective
optimization and multi-agent simulation are also intensively studied, in order
to use them as our weapons.
See page 44 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/is/labs/ikeda-lab/
Associate Professor
Dr Le-Minh Nguyen
Title: Machine Learning
and Natural Language Understanding
Overview: Structure
representations and machine learning models play a key important role for
Artificial intelligence (AI). Our research will focus on how tactical
structural representation and machine learning are used for formulating
problems in AI ranging from text summarization, natural language understanding,
legal engineering, and machine reading.
See page 45 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/~nguyenml
Associate Professor
Dr Kiyoaki Shirai
Title: Knowledge
Acquisition Assistance based on Natural Language Processing
Overview: We human
being newly acquire knowledge by various means in our daily life. For example,
we consult a dictionary to know a meaning of a word. Recently, many people have
tried to search information using Web search engines. However, our activities
to get new knowledge sometimes require much labor. Our laboratory aims at
reducing such labor using natural language processing techniques in order to
support human knowledge acquisition.
See page 46 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab webpage: http://www.jaist.ac.jp/nlp/lab/
Associate Professor
Dr Shinobu Hasegawa
Title: What is
Effective Distance Learning Environment?
Overview: The main
goal of our research is to facilitate "Human Learning and
Computer-mediated Interaction" in distributed environment based on
interdisciplinary approach, involving Learning Science, Educational Technology,
Artificial Intelligence, Audio-Visual Processing, and Network Technology. We
focus on not only designing and developing advanced distance learning systems
but also planning and maintaining practical distance learning programs for
JAIST students.
See page 47 at http://www.jaist.ac.jp/english/about/is_gaiyou-e2013.pdf
Lab
webpage: http://dlc.jaist.ac.jp/hasegawa/
You might be
interested in visiting the homepage of JAIST Information Science School for the
detail. Thanks for the attention.
Post a Comment