Call for interns in the 2nd half of the Japanese Academic Year 2011 is closed. The next call will be around April 2012.
The current call includes two topics:
Quality-Assured Integration and Delivery of Web/Ambient Services
Development of Formal Software Engineering Methods and Tools
This call is part of an internship program by NII (National Institute of Informatics, Japan). Calls are basically made twice a year by NII. First please see general information by NII (requirements, procedure, schedule, and so on.).
About the Supervisor
See details at the summary or the detailed list of my activities.
Intern students will join various activities in the Honiden Laboratory, which involves several professors and many students working on wide range of research topics. Intern students can also leverage opportunities and resources in GRACE Center, including a configurable private cloud and a programmable lecture room.
Expected Activities
Intern students are expected to learn further knowledge and skills through collaborative activities for promoting our research activities and/or exploring further research topic. Depending on the status of the intern students (e.g., already have active master/phd topics or not), actual work in the internship can be determined flexibly through discussion. The outputs are typically joint papers and/or implemented software, but depend on the topic and the duration of the internship.
Specifically, the following two directions exist to determine the work at the internship.
Option 1: Investigating Your Own Research with Different People and Environment
Intern students may bring their own studies to exchange knowledge and ideas of each other to explore further research directions (often in the case of PhD students).
Option 2: Joining Our Project
Intern students may choose tasks in existing activities, typically software development tasks (often in the case of master students). We have a variety of tasks, from development of mathematical methods, middleware, GUI tools and so on. It can be a development project (focusing more on completeness and usefulness) or a research project (focusing also on novelty and scientific reliability).
You can check our papers from my CV. However, the papers are often not the latest and it should be much easier to just ask me and discuss together, clarifying your interest and expertise.
Below shows a partial list of our current focuses, but topics are not limited to this.
Application of Service Selection and Composition Methods for Cloud and/or Human-Oriented Computing
Leveraging application of state-of-the-art methods for service selection and composition, including QoS-aware service selection and automated composition by planning techniques. Besides the technical challenges (lower computational cost), actual application of the methods should be explored in daily activities on the web, business activities, or use of flexible resource services in clouds.
Requirements Engineering and Connection to Designs in Sensor-based Ambient Applications
Analyzing abstract and formal models of ambient (or ubiquitous/pervasive) applications to ensure its validity in early phases of development. In addition, delivering designs and implementations from the models by adequately examining implementation constraints and details.
Traceable Code Generation with Transformation Scripts
Leveraging transformation scripts and bidirectional transformation theory to support customizable and traceable code generation. Current target is transformation from VDM++ models to Java code. Development of script libraries and useful GUI is necessary, as well as generalization of the method for wide range of applications.
Hadoop Verification Project -- Model Checking Networked Software using Java PathFinder
Java PathFinder (JPF) is a powerful tool that model-checks programs written in Java. We have developed an extension (net-iocache) to JPF that enables not only stand-alone programs but also multiple programs that are communicated each other to be model checked. Based on this extension, we are tackling to the problem to verify Hadoop libraries, a framework for development in cloud computing. As an internship programme, we offer a few small sub projects. Please refer to this page for details.
Modeling and Analysis of Legal Interpretation
Organizing essential information in court cases and guidelines into a structured model so it can be efficiently and reliabily reflected to requirements models, especially goal graphs. Analysis of different law systems is highly welcome.
Contact
© Fuyuki Ishikawa
Associate Professor, Digital Content and Media Sciences Research Division, National Institute of Informatics
E-mail: f-ishikawa (at) nii.ac.jp