Guide to Graduate School of Science and Technology, Shinshu University 2015

23/38

DEPARTMENTOFCOMPUTERSCIENCEANDENGINEERINGDepartment of Computer Science and EngineeringFacultyMASTER’S PROGRAM OF SCIENCE AND TECHNOLOGY 14 DEPARTMENTS022Xiaoxi Liu, ProfessorInformation ElectronicsCreation of nonvolatile memory and nonvolatile logic elements based on spintronicsDavid Asano, ProfessorCommunication Engineering and Information SystemsResearch on communication theories and information systems, and design and development of information appliancesYasunari Shidama, ProfessorAnalysis of Theorem Proving Support Systems and Nonlinear SystemsResearch on formalized mathematic description languages and theorem proving support systemsHiroshi Yamazaki, Assistant ProfessorAnalysis of Nonlinear Systems, Formal Verification Systems, and Theory of CryptographyResearch on mathematical understanding, determination, and analyses of imagesMasaaki Niimura, Associate ProfessorTelecommunication Networks and Educational TechnologyTechnologies for development and operation of ICT-based systems and their application to learning support systemsHiroyuki Okazaki, Assistant ProfessorFormal Verification Systems and Theory of CryptographyResearch on verification of the security of cryptographic systems by using formal verification softwareShinpei Ogata, Assistant ProfessorModel-driven Engineering and Requirements EngineeringResearch on improvement in software development efficiency by using modeling methodologiesMinoru Maruyama, ProfessorMachine Learning, Computer Vision, and Computer GraphicsResearch on understanding of images and pattern recognition based on example learningHidetoshi Miyao, Associate ProfessorHCI and Musical Information ProcessingDevelopment of creative environment using input information from pen and touching devicesHiroaki Yamamoto, ProfessorInformation Retrieval and Theory of AlgorithmsResearch on fundamental technologies for safe and efficient searchKeiichiro Shirai, Assistant ProfessorImage Processing and Multi-dimensional Signal ProcessingResearch on fundamental technologies for image processing, including reconstruction of degraded images and image synthesisKoh Johguchi, Associate ProfessorIntegrated Circuit Design, Computer ArchitectureInnovations for a next-generation computer architecture based on integrated circuit technologiesHiroshi Fujiwara, Associate ProfessorDesign and Analysis of Algorithms, Online Optimization, Functional AnalysisDesigning optimal algorithms for uncertain future input andunderstanding the nature of the uncertainty.Kozo Okano, Associate ProfessorSoftware Engineering, Model Driven Development, Specification and VerificationSoftware Engineering, especially FormalTechniques and their application to Software Design and DevelopmentTakayuki Tomida, Assistant ProfessorLIDAR, laser Remote Sensing, and Ultra-high-energy Cosmic Ray ExperimentResearch on development and application of information sensing technologies by use of ordinary lightPauline Naomi Kawamoto,Associate ProfessorAutomatic Designing, Format Design, and Educational EngineeringProfessional communication studies and mathematical specification design, verification, and automatic generationHisayoshi Kunimune, Assistant ProfessorEducational Technology and Development of Learning Environment and SystemsResearch on educational and learning support systems using ICTKatsumi Wasaki, ProfessorParallel Systems, Formal Verification, and Model CheckingModeling and verification tools for information systems requiring high reliabilityYasunori Saito, ProfessorInformation Sensing and Optical Information TechnologiesResearch on optical, image, and IT sensing technologies creating a safe and reliable environmentKazuki Kobayashi, Associate ProfessorField Information Science and HCIResearch on field monitoring and interactive design of artificial objectsYuji Izawa, Associate ProfessorImage Communication and Code Modulation/Demodulation TheoriesResearch on reconfigurable systems using FPGAMasami Hashimoto, Associate ProfessorBiometric Information Engineering and Welfare Information EngineeringWelfare, medical, and communication support based on measurement of biometric informationMizue Kayama,ProfessorLearning Support Engineering and Biometric Information EngineeringLearning support through artificial intelligence technologies and intelligent processing of various behavior and signals of human beingsWe develop a variety of original tools (gadgets) with ICT to support agriculture and collect environmental information and data about plant health. Cooperating with researchers from the National Agriculture and Food Research Organization and Tokyo Institute of Technology, we conduct research on robots that can automatically check the growth of fruits.Field observation with agricultural gadgetsAs services employing Internet technologies such as cloud computing spread widely, enhancement in security becomes an important issue. In the field of information searching, technologies have also been developed for secure searches using encrypted data to protect precious information. In this research, we develop fundamental technologies for secure and effective searching.Development of secure and effective search technologyAn FPGA is a semiconductor device that can download logic circuit design data designed with a CAD tool at the time of use. Taking advantage of its characteristics of having benefits of both hardware and software, we conduct research on reconfigurable systems that rebuild their own circuit to suit the application, reconfigurable systems with low power consumption, and image processing systems with less delay.FPGA applicationsIf an image is shown, humans can recognize objects in the image and recognize which part is what type of object. To implement this function in computers, we conduct research on technologies to split images into sub-regions and recognize the types for each sub-region by employing energy minimization.Image splitting and recognitionWe work on creating systematic modeling methodologies for software by employing model-driven engineering and usability engineering, and supporting methodologies and support tools for usability evaluation so we can examine the software usability from an early stage of software development.Modeling easy-to-use softwareRecentCareerPathsAn academia to create our future society through a fusion of information science and computer engineeringStudies in computer science and engineering cover five aspects: computer basics, software systems, hardware systems, software applications, and hardware applications. From basic theories to futuristic applications, we create next-generation information technologies through a multifaceted approach and a variety of analytical methodologies.KeiMurabayashiStarted in 2013 / Dr. Wasaki's LabAt present, I'm conducting research on design verification and developing integrated tools for verification and implementation. In the Department of Computer Science and Engineering, teachers and students work together continuously to build systems with high reliability. In graduate school, we have a lot of opportunities to learn about various theories and technologies, not limited to one's major. We can put ourselves in an environment where we can work hard together through friendly rivalry. I think that Shinshu University provides the best place for learning.Central Japan Railway, East Japan Railway, NEC, NEC Solution Innovators, West Nippon Expressway, NTT Comware, NTT East, SCSK, Aisin AW, Kissei Comtec, Shinko Electric Industries, Seiko Epson, Sony, TIS (Sorun), Densan, Denso, Denso Techno, Toyota Motor, Nochu Information System, Fuji Xerox, Fujitsu Systems East, Mizuho Information & Research Institute, Mitsubishi Electric, Mimaki Engineering, Yahoo Japan

※このページを正しく表示するにはFlashPlayer10.2以上が必要です