Call for JASSO Internship Participants

JAIST—the School of Information Science

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






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.





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.




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.





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.





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.





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.





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.





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.





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.





 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.





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.





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.





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.





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.





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.





Associate Professor Dr Masato Suzuki

Title:  Software Development and ComprehensionAn 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:





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.





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.





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.





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.





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.





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.





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.





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.





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.





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.





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.




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.





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.





 Artificial Intelligence Area

Professor Dr Hiroyuki Iida, Research Unit for Entertainment and Intelligence

Title:  Game-refinement theory

Project description:  See the URL below.





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?





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.





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.





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.





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.





You might be interested in visiting the homepage of JAIST Information Science School for the detail. Thanks for the attention.

 

Labels:

Post a Comment

Author Name

Contact Form

Name

Email *

Message *

Powered by Blogger.