J A I S T - I T B P r o j e c t - b a s e d C o l l a b o r a t i o n

Internship Program 2014, sponsored by JASSO

-----------------------------------------------------------------------------------

Call for JASSO Internship Participants
---------------------------------------------------------------------------



JAISTthe School of Information Science
The School of Information Science at JAIST offers a joint 8-week research-intensive training
program in the theoretical information science, computer systems and networks, software
science, human information science, or artificial intelligence-related fields
Successful candidates should prepare some documents such as CV, statement of
prpose and !orse "or# !ertifi!ate which should !e sent to Internship "rogramme
#oordinator $ere!y we recommend applicants To find your potential host professor, read
the research title and descriptions provided !y each la!, and contact them Then follow their
instruction while preparing necessary documents
#ontact% "rofessor &r 'ak (oung #hong, Internship "rogramme #oordinator
)-mail% nakyoung*jaistacjp
+s +itsumi ,ujita, Assistant for Internship "rogramme #oordinator
)-mail% fmitsumi*jaistacjp

(ou can visit -or download. and see the !ooklet of each /a!
http://www.jaist.ac.jp/english/about/is_gaiyoue!"#$.p%f



/ist of "otential host% 0esearch center1unit1la!

Theoretical Information Science Area
"rofessor &r $ajime Ishihara
Title% +athematical /ogic, #onstructive +athematics, and Theory of #omputation
2verview% 3e are studying on mathematical logic, and on reconstruction of mathematics
from the viewpoint of computa!ility and comple4ity using techni5ues of mathematical logic
To promote the research, we are also studying constructive mathematics which is !ased on a
weaker logic, called intuitionistic logic, than ordinal -classical. logic
/a! we!page% http%11wwwjaistacjp1is1la!s1ishihara-la!1www1english1inde4html

"rofessor &r 0yuhei 6ehara
Title% )fficient Algorithms for Intracta!le "ro!lems
2verview% 3e sometimes meet some pro!lems which are theoretically intracta!le $owever,
what if we need to solve them7 3e tackle such intracta!le pro!lems, and give some
8reasona!le8 solutions in practice
See page 8 at http%11wwwjaistacjp1english1a!out1is9gaiyou-e:;<=pdf

"rofessor &r >unihiko $iraishi
Title% ,ormal +odeling and Analysis of Systems% ,undamental Theory and Application
2verview% 3e study how to !uild formal models for comple4 o!jects in the real world
"articularly, we focus on concurrent systems and hy!rid systems, where a concurrent system
is a dynamic system in which many interacting processes run concurrently, and a hy!rid
system is a dynamic system that e4hi!its !oth continuous and discrete dynamics +oreover,
we apply developed methods and tools to various kinds of targets in information systems,
control systems, and systems !iology
/a! we!page% http%11wwwjaistacjp1is1la!s1hira-la!1

"rofessor &r Atsuko +iyaji
Title% Information Security% ,rom advanced research to application
2verview% 3e have !een 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 2ur results cover from theoretical
to practical results such as solutions for efficient implementation
/a! we!page% http%11grampusjaistacjp1miyaji-la!1inde4html

Associate "rofessor &r >a?uhiro 2gata
Title% Systems @erification on Safety and Security% Aiming at developing safe and secure
systems
$orma% &erifi!ation te!hni'es% Studies on how to model a variety of systems as 2TSs and
how to verify that such systems satisfy a variety of properties
Integration of forma% &erifi!ation te!hni'es% Studies on effective use of formal verification
techni5ues such as interactive theorem proving and model checking
(esign and imp%ementation of too%s% &esign and implementation of tools that facilitate
formal verification on 2TSs with #afe2AJ and +aude
Case stdies% Application of such formal verification techni5ues and tools to actual systems
such as e-commerce systems
/a! we!page% http%11wwwjaistacjp1Bogata

Associate "rofessor &r >a?umasa 2mote
Title% Security +odeling and Application of 'etwork Systems
2verview% 2ur la!oratory studies information security 3e are especially interested in
security modeling of network systems, !ased on cryptography and pro!a!ility 1 statistics
theory 3e are also doing design and security analysis of the efficient algorithm for
constructing a secure system
/a! we!page% http%11wwwjaistacjp1Bomote1


#omputer Systems and 'etworks Area
"rofessor &r (asushi Inoguchi
Title% +assively "arallel Systems
2verview% 0esearches of massively parallel systems have many processing levelsC
configuration of parallel arithmetic units in a @/SI chip, massively parallel systems that
consist of a large num!er of microprocessors, "#-cluster that com!ines many /inu4-"#s with
high speed networks, and widely distri!uted systems such as D0I& 3e are developing
methods and technologies for massively parallel systems
/a! we!page% http%11wwwjaistacjp1Binoguchi1

"rofessor &r +ineo >aneko
Title% A study on $igh-/evel Synthesis for high-performance /SIs
2verview% $igh-/evel Synthesis is one of the most important design stages for high
performance /SIs, in which the hardware structure, the temporal !ehavior and data-transfer
routing in the register transfer level are optimi?ed The goal of this research is to provide
solutions and optimi?ation methods in high level synthesis for nanometer-scale, ultra-low
power /SIs
/a! we!page% http%11wwwjaistacjp1is1la!s1kaneko-la!1

"rofessor &r +ikifumi Shikida
Title% /arge-scale 'etwork Services and Droupware
2verview% In our la!oratory, research aim is to !e a!le to integrate ne4t generation network
services, and software architecture of the services )specially, we focus on large-scale
network services and groupware In these years, scale of computer systems has !een getting
huge day !y day The methodology of managing large-scale servers is key factor 3e
investigate application systems using large-scale servers and mo!ile e5uipments
/a! we!page% http%11www-shikidajaistacjp1

"rofessor &r (asuo Tan
Title% A study on $ome 'etwork 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 $ome'etwork simulation technologies
Simulation technologies for cloud !ased homenetwork systems including user modeling and
wide area network )mulation-!ased large scale simulation with StarA)&
Title% A study on $ome'etwork communication technologies
3ired1wireless communication technologies for in-house e5uipment like sensors and home
appliances
/a! we!page% http%11wwwjaistacjp1is1la!s1tan-la!1

Associate "rofessor &r >iyofumi Tanaka
Title% 0eal-time )m!edded Systems
2verview% In our life environment, computers are em!edded everywhere, for e4ample, in cell
phones, in home electric appliances, in network e5uipments, and in automo!iles, which often
re5uire real-time property In our la!oratory, we research how to achieve efficient real-time
processing, in terms of !oth hardware and software In addition, we actually design and
implement systems, which helps empirical studies
/a! we!page% http%11tla!-we!jaistacjp%8;8;1

Associate "rofessor &r >urkoski, Arian +ichael
Title% AITS% Aits of Information, Transmitted and Stored
2verview% I am !roadly interested in coding theory and information theory, and their
applications to communication pro!lems Some particular research topics include%
- )fficient decoding of error-correcting codes, particularly !elief-propagation decoding of
/&"# codes and tur!o codes
- Information theoretic measures for channel 5uanti?ation
- &esign 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 32+ codes for flash memories
- &etection of intersym!ol-interference in communication channels, particularly two-
dimensional intersym!ol interference
- +ultimedia authentication methods, such as digital watermarking and ro!ust hashing,
particularly the application of coding theory to these methods
/a! we!page% http%11wwwjaistacjp1Bkurkoski1

Associate "rofessor &r A?man 2sman /im, #omputer Systems and 'etworks /a!oratory
Title% Study of )nergy )fficient 0outing "rotocol in 3ireless Sensor 'etworks
In wireless sensor networks -3S's., 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
$owever, 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 !attery drained faster The goal of this research is to find out an efficient routing
protocol incorporate with the energy management for the 3S's
/a! we!page% http%11wwwjaistacjp1is1la!s1lim-la!1

Associate "rofessor &r >en-ichi #hinen
Title% 'etwork Services and 'etwork )4periments
3e focus on network services Ay consideration on service models, design and
implementation of server programs, and !uilding and operation of server computers, we are
addressing the improvement of 5uality and performance in the network services 3e !uild
and operated large 333 server sites that handle <;; million and over accesses per day
Traditional technologies are not enough to manage such large scale server 3e introduced
and developed advanced technologies like load !alancing, content synchroni?ation and
others
/a! we!page% http%11wwwjaistacjp1Bk-chinen1


Software Science Area
Associate "rofessor &r Toshiaki Aoki, Software Science /a!
Title% Study on analy?ing concurrent systems !y model checking tools
In concurrent systems, there are pro!lems such as race conditions and deadlock which are
hard to !e detected !y testing +odel checking tools are good at dealing with such pro!lems
In this study, we conduct e4periments on analy?ing concurrent systems !y the model
checking tools Then, we reveal pro!lems and solutions for applying the model checking tools
to practical systems
Title% Study on making specifications in formal specification languages
3e usually descri!e specifications of target systems in natural languages such as Japanese
and )nglish in developing them In this case, am!iguity and inconsistency may often e4ist in
the specifications Such am!iguity and inconsistency will cause !acktracks of developments
with high cost In addition, it may affect the relia!ility of the target systems ,ormal
specification languages are good at dealing with such pro!lems Thus, in this study, we
conduct e4periments on making unam!iguous and consistent specification in the formal
specification languages Then, we reveal pro!lems and solutions for applying the formal
specification languages to practical systems
Title% Study on verifying applications e4ecuted on real-time operating systems
0eal-time operating systems, shortly 0T2S, are operating systems for real-time systems
Applications e4ecuted on 0T2S are controlled !y a scheduler of 0T2S, and analy?ing such
!ehavior is harder than simple concurrent !ehavior Thus, we are proposing not only
methods to analy?e them !y e4isting model checking tools !ut also our own model checking
tools In this study, we conduct e4periments on analy?ing the applications using those tools
and methods
/a! we!page% http%11aoki-wwwjaistacjp1

Associate "rofessor &r +asato Su?uki
Title% Software &evelopment and #omprehension?|An Architecture and #omponent-!ased
Approach?|
2verview% 3e are engaging on architecture and component-!ased Software engineering 2ur
goals are as follows%
Supports for development
?Espec1verification of connectors
?Esemi-automatic modification of components from their histories
Supports for comprehension
?Evisuali?ation of components
0e!uilding legacy software using components Supporting changes !y the history%
/a! we!page% http%11ochimi?u-wwwjaistacjp1

Associate "rofessor &r 'ao $irokawa
Title% Solving +athematical "u??les
$ow to solve mathematical pu??les -eg Sudoku and the +agic S5uare. !y computers7 In
this project we study constraint solving techni5ues and tools, implementing efficient solvers
for such pu??les
/a! we!page% http%11wwwjaistacjp1Bhirokawa1

Associate "rofessor &r &Efago Favier
Title% ,ault-Tolerance and Droup #ommunication
2verview% A distri!uted system consists of a collection of programs running on different
processors -called processes., a communication medium, and, most importantly, protocols to
ensure agreement, synchroni?ation and cooperation among the processes The goal is to
make the whole system appear as a single coherent system ,rom real-time em!edded
systems to enterprise information systems, and from power grid control to the Internet, most
systems in our current society are distri!uted ,or this reason, distri!uted systems must !e
a!le to survive even if some of the components are faulty 2ur research focuses on two goals%
making processes work together, and helping the system survive even if some processors or
processes fail +ainly, we focus on applying the approach to ro!ot systems
/a! we!page% http%11wwwjaistacjp1Bdefago

Associate "rofessor &r 0enE @estergaard
Title% The "roof Theory of Information Structures ,ormal-0easoning
2verview% The ,ormal-0easoning /a!oratory is concerned with the mathematical
underpinning of the various structures used in information science -and !eyond. to hold,
e4press, and organise the information we process 3e are particularly interested in reasoning
a!out formal systems that reason a!out or process other formal systems themselves The
ultimate aim is to !e a!le to make easily accessi!le versions of the necessary mathematical
machinery availa!le to a wider audience, in part via computerised tools that can guide the
development of formal arguments
/a! we!page% http%11wwwjaistacjp1Bvester1


$uman Information Science Area
"rofessor &r +asato Akagi
Title% To make machinesG ears and mouth intelligent
2verview% The work of Akagi /a! is speech signal processing and modeling the speech
perception mechanism of humans Speech is the most natural means of communication
!etween humans Therefore, it is !elieved that modeling these compensation mechanisms is
a!le to reali?e the high-performance speech processing systems
/a! we!page% http%11wwwaisjaistacjp

"rofessor &r Jianwu &ang
Title% Speech #ommunication% Intention, Articulation, #ognition, and its Applications
2verview% Speech communication as well as eating and swallowing are the !asic activities
concerned with human life, while the tongue is the essential organ playing an important role
In our /a!, we have developed a physiological simulator including the tongue and the other
oral-facial organs, and have used it for speech production and inversion 3e are also
endeavoring to use this approach to clinical application such as glossectomy and swallowing
disorder, as well as on speech processing
/a! we!page% http%11wwwjaistacjp1Bjdang

"rofessor &r 'ak-(oung #hong
Title% 0eali?ing Intelligent 0o!ots within Informatically Structured )nvironment
2verview% The JAIST 0o!otics /a!oratory directed !y "rof 'ak (oung #hong is affiliated
with the School of Information Science at JAIST The la!, aka Intelligent +echanical Systems
/a!oratory, is devoted to the research and development of novel intelligent ro!otic systems
through knowledge networking and interactive communication
/a! we!page% http%11wwwjaistacjp1ro!ot1

Associate "rofessor &r ,umihiko Asano
Title% )fficient +otion #ontrol of 0o!otic Systems 6tili?ing "hysical "rinciples
2verview% 2ur la!oratory studies ro!otics and control engineering, especially humanoid
ro!ots and their motion control and technologies 3e aim to gain a deeper understanding of
skillful and adaptive mechanisms of humans and animals through ro!otics research, and to
develop novel machine systems that can achieve more advanced movement than living
organisms
/a! we!page% http%11wwwjaistacjp1is1la!s1fasano9la!1inde4html

Associate "rofessor &r +asashi 6noki
Title% A study on Information hiding for sound signal
This research aims to study a possi!ility of information hiding for sound signal as digital
audio watermarking
Title% A study on speech enhancement techni5ues !ased on human auditory characteristics
This research aims to study speech enhancement techni5ues !ased on human auditory
characteristics There are for e4ample, denoising and derever!eration for speech
Title% A study on speech communications using !one-conduction
This research aims to study speech communications !y using !one conducted microphones
and earphones
/a! we!page% http%11wwwjaistacjp1Bunoki1

Associate "rofessor &r >a?unori >otani
Title% #omputer @ision H Imaging% Image Analysis, understanding and Synthesi?e
2verview% 3e are researching a!out an image processing and synthesi?ing !ased on image
analysis, understanding and description 2ur research area is including an image
recognition, computer graphics -#D. and computer vision
/a! we!page% http%11awa!ijaistacjp%8;;;1kotani9la!1inde4html

Associate "rofessor &r $iroka?u Tanaka
Title% #omputational 'euroscience% 6nderstanding the Arain through #omputational
+odeling
#omputational 6nderstanding of Arain% 3hereas e4perimental approaches such as unit
recording and functional neuroimaging have so far dominated in neuroscience,
computational approaches are indispensa!le for understanding the representations and
algorithms used in the !rain 2ur mission is to understand the !rain through computational
models and physiological1neural signal processing
2ther targets% #omputational +otor #ontrol -'etwork of +otor #ortical Areas and +otor
Adaptation and "sychophysics., "hysiological 1 'eural Signal "rocessing

Associate "rofessor &r 0yo +ae?ono
Title% $and-made parallel computer
6sing the cluster consisting of over :;; processors in our la!, one can learn how to !uild it
from "# parts and how to run it !y /inu4 operating system
Title% Scientific Simulation using Super #omputers
6sing super computers at JAIST, one will learn the !asics of the simulation, operations of
simulation runs, and post-processing of data using 6'IF environment
Title% Introduction to Iuantum Simulation for students majoring different areas
Aased on our educational e4perience for non-special students, we provide an introduction
along the practical simulation e4ercises
/a! we!page% http%11wwwjaistacjp1is1la!s1mae?ono-la!1wiki1inde4php

Associate "rofessor &r Atsuo (oshitaka
Title% 0eali?ing 'ovel ,ramework on @ideo "rocessing that ,its to $uman 3ays of
"erception
2verview% 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 !y year
+uch of the information that humans perceive is visualC however, current information
processing systems do not focus on this factor enough to ma4imi?e the efficiency of human-
computer interaction 3e are studying semantic content detection methods for various kinds
of visual information, taking the psychological aspects of human vision into account
/a! we!page% http%11awa!ijaistacjp%8;;;1yoshitaka9la!1



Artificial Intelligence Area
"rofessor &r $iroyuki Iida, 0esearch 6nit for )ntertainment and Intelligence
Title% Dame-refinement theory
"roject description% See the 60/ !elow
https%11file-e4pressjaistacjp1pu!lic1:-gJAA,$"6$AAysAleJ$hA-<<#=3n"5h=s@<39@d&fe$

"rofessor &r Satoshi Tojo
Title% Intelligence as #omputation, /anguage as /ogic
2verview% 3e cannot find a su!stance called intelligence in our !rainsC as a first step toward
AI, we consider human language is the emergence of our intelligence Is our language is
computational7 2r, how can logic, as a foundation of computation, appro4imate our
language7
/a! we!page% http%11cirrusjaistacjp%8;8;1

Associate "rofessor &r >okolo Ikeda
Title% Dame and AI, as our rival and teacher
2verview% Though computer programs work widely around our life, when we strongly feel the
e4istence of artificial 8Intelligence87 It will !e when we play a video-game +any researchers
have studied AI of game, and the major goal is to make a strong player -agent. $owever, !y
the progress of computer technology and research, we can easily make strong AI player,
e4cept for go and shogi The ne4t goals are, I think, to make 8realistic8, 8enjoya!le8 and1or
8educational8 agent In our la!, many games such as go, scra!!le and poje are used for
research, and how to make agents as our rival and teacher are studied In addition, genetic
algorithm, multi- o!jective optimi?ation and multi-agent simulation are also intensively
studied, in order to use them as our weapons
/a! we!page% http%11wwwjaistacjp1is1la!s1ikeda-la!1

Associate "rofessor &r /e-+inh 'guyen
Title% +achine /earning and 'atural /anguage 6nderstanding
2verview% Structure representations and machine learning models play a key important role
for Artificial intelligence -AI. 2ur research will focus on how tactical structural
representation and machine learning are used for formulating pro!lems in AI ranging from
te4t summari?ation, natural language understanding, legal engineering, and machine
reading
/a! we!page% http%11wwwjaistacjp1Bnguyenml

Associate "rofessor &r >iyoaki Shirai
Title% >nowledge Ac5uisition Assistance !ased on 'atural /anguage "rocessing
2verview% 3e human !eing newly ac5uire knowledge !y various means in our daily life ,or
e4ample, we consult a dictionary to know a meaning of a word 0ecently, many people have
tried to search information using 3e! search engines $owever, our activities to get new
knowledge sometimes re5uire much la!or 2ur la!oratory aims at reducing such la!or using
natural language processing techni5ues in order to support human knowledge ac5uisition
/a! we!page% http%11wwwjaistacjp1nlp1la!1

Associate "rofessor &r Shino!u $asegawa
Title% 3hat is )ffective &istance /earning )nvironment7
2verview% The main goal of our research is to facilitate 8$uman /earning and #omputer-
mediated Interaction8 in distri!uted environment !ased on interdisciplinary approach,
involving /earning Science, )ducational Technology, Artificial Intelligence, Audio-@isual
"rocessing, and 'etwork Technology 3e focus on not only designing and developing
advanced distance learning systems !ut also planning and maintaining practical distance
learning programs for JAIST students
/a! we!page% http%11dlcjaistacjp1hasegawa1

(ou might !e interested in visiting the homepage of JAIST Information Science School for
the detail Thanks for the attention
http%11wwwjaistacjp1is1english1inde4html