Staffs and Laboratories | JAIST School of Information Science

ＪＡＩＳＴ

Contact | Access | Inside | Sitemap
Japanese

HOME > Research > Staffs and Laboratories

Staffs and Laboratories

| Theoretical Information Science | Computer Systems and Network | Software Science | Human Information Processing | Artificial Intelligence | IT Specialist Program to Promote Key Engineers as Security Specialists | Visiting lecturers | Cooperative Courses |

Theoretical Information Science
Professor Tetsuo Asano	Theory of Algorithms / Asano Laboratory	Computational geometry, combinatorial optimization
Professor Hajime Ishihara	Mathematical Logic / Ishihara Laboratory	Constructional mathematics, Computation theory, Mathematical logic
Professor Ryuuhei Uehara	Theory of Algorithms / Uehara Laboratory	Computational Complexity, Graph Algorithms
Professor Kunihiko Hiraishi	Systems Science / Hiraishi Laboratory	Discrete event system, Parallel computation theory
Professor Atsuko Miyaji	Information Security/ Miyaji Laboratory	Information security, Mobile computing, Number theory
Associate Professor Kazuhiro Ogata	Systems Science / Ogata Laboratory	Software engineering, Formal methods, Verification
Associate Professor Kazumasa Omote	Information Security / Omote Laboratory	Security Protocol, Security Control
Assistant Professor Yota Otachi	Theory of Algorithms	Graph Algorithms
Assistant Professor Koichi Kobayashi	Systems Science	Analysis and control of hybrid systems
Assistant Professor Kai Yuen Cheong	Information Security	Information security
Assistant Professor Takako Nemoto	Mathematical Logic

Computer Systems and Network
Professor Mineo Kaneko	Integrated Systems / Kaneko Laboratory	Integrated Circuit design, Circuit system theory, Signal processing system
Professor Yoichi Shinoda	Information Networks / Shinoda Laboratory	Network configuration, Distributed environment
Professor Yasuo Tan	Information Networks / Tan Laboratory	Computer network, Ubiquitous computing, Information appliances
Professor Tadashi Matsumoto	Ubiquitous Communications / Matsumoto Laboratory	Wireless Communications, Information Theory, Coding Theory, Iterative (Turbo) Algorithm, Network Information Theory, Information Theoretic Analysis and Coding Techniques for Relay and Sensor Network, Multi-Dimensional Channel nalysis
Associate Professor Yasushi Inoguchi	Computer Architecture / Inoguchi Laboratory	Computer system, Massively parallel system
Associate Professor Brian Michael Kurkoski	Kurkoski Laboratory
Associate Professor Mikifumi Shikida	Information Networks / Shikida Laboratory	Distributed system, Groupware, Software development environment
Associate Professor Kiyofumi Tanaka	Computer Architecture / Tanaka Laboratory	Massively parallel computers, Real time system, Embedded system
Associate Professor Azman Osman Lim	Information Networks / Lim Laboratory	wireless, heterogeneous, QoS, power control, congestion control, experimental verification
Research Associate Professor Ken-ichi Chinen	Information Networks	Wide-Area Information Distribution
Assistant Professor Khoirul Anwar	Ubiquitous Communications	Information Theory and Capacity Enhancement, Nonlinear Distortion and Its Mitigation, Spreading Code Design, OFDM
Assistant Professor Tomoaki Ukezono	Computer Architecture
Assistant Professor Satoshi Uda	Information Networks	Network Systems, Computer Network
Assistant Professor Yasuhiro Ohara	Information Networks	Computer Network, Routing
Assistant Professor Yukinori Sato	Computer Architecture	Computer system, Computer architecture

Software Science
Professor Mizuhito Ogawa	Software Verification / Ogawa-Hirokawa Laboratory	Program analysis, Software conversion, Combinatorial theory
Professor Koichiro Ochimizu	Software Structure / Ochimizu Laboratory	Software Process, Object-oriented methodology, Distributed environment
Professor Kokichi Futatsugi	Formal Methods for Software Development / Futatsugi Laboratory	Formal specification language, Formal method, Software verification
Associate Professor Toshiaki Aoki	Formal Methods for Software Development / Aoki Laboratory	Software Engineering
Associate Professor Masato Suzuki	Software Structure / Suzuki Laboratory	Software development methodology, Environment/distribution, High reliability software
Associate Professor Xavier Defago	Dependable System / DDSG Laboratory	Fault-tolerant distributed system
Associate Professor Nao Hirokawa	Software Verification / Ogawa-Hirokawa Laboratory	Term Rewriting, Complexity Analysis, Functional Programming
Associate Professor Rene Vestergaard		Mechanized reasoning
Assistant Professor Tomoyuki Aotani	Software Structure
Assistant Professor Yuki Chiba	Formal Methods for Software Development	Program Transformation, Term Rewriting System, Automated Theorem Proving
Research Assistant Professor Daniel Mircea Gaina	Formal Methods for Software Development
Research Assistant Professor Kenro Yatake	Dependable System	Software engineering
Research Assistant Professor Xin Li	Software Verification / Ogawa-Hirokawa Laboratory

Human Information Processing
Professor Masato Akagi	Acoustic Information Processing / Akagi Laboratory	Auditory phonetics, Audio information processing, Speech recognition
Professor Chong, Nak-Young	Robotics / Chong Laboratory	Networked Robotics, Cognitive Robotics, Service Robotics
Professor Jianwu Dang	Biological Information Processing / Dang Laboratory	Speech generation, Speech synthesis/recognition, Audio information processing
Professor Teruo Matsuzawa	Computational Engineering and Science / Matsuzawa Laboratory	Numerical hydrodynamics, High performance computing, Grid computing
Associate Professor Fumihiko Asano	Robotics / Asano Laboratory	Robotics, Dynamics of machinery, Control engineering, Passivity, Legged robots
Associate Professor Masashi Unoki	Acoustic Information Processing / Unoki Laboratory	Modeling of auditory system, Computational Auditory Scene Analysis, Speech Signal Processing
Associate Professor Kazunori Kotani	Image Information Processing / Kotani Laboratory	Understanding Image analysis, Computer graphics, Computer vision
Associate Professor Hirokazu Tanaka	Biological Information Processing / Tanaka Laboratory	Computational Neuroscience, Motor Control, Functional Neuroimaging, Biological Signal Processing, Human Psychophysics
Associate Professor Ryo Maezono	Computational Engineering and Science / Maezono Laboratory	Quantum Simulation, Condensed Matter Theory, Quantum Chemistry, Many-Body Theory
Associate Professor Atsuo Yoshitaka	Image Information Processing / Yoshitaka Laboratory	Multimedia Retrieval, Human-centric Information Processing, Real World Oriented Interface
Visiting Associate Professor Isao Tokuda	Biological Information Processing	Nonlinear Dynamics, Time Series Analysis, Complex Systems
Assistant Professor Shin'ichi Kawamoto	Biological Information Processing	Lip-synch animation, talking head, spoken dialog system
Assistant Professor Atsuo Suemitsu	Biological Information Processing	Biological Information Processing, Computational Neuroscience, Neural Network
Assistant Professor Fan Chen	Image Information Processing	Pattern Recognition, Computer Vision, Multimedia Analysis
Assistant Professor Kenta Hongo	Computational Engineering and Science
Assistant Professor Ryota Miyauchi	Acoustic Information Processing	Auditory Psychology, Perceptual Psychology, Experimental Psychology, Acoustics
Research Assistant Professor Geunho Lee	Robotics	Decentralized cooridnation for robot swarms, Welfare robots

Artificial Intelligence
Professor Hiroyuki Iida	Entertainment Informatics / Iida Laboratory	Computers and Games
Professor Akira Shimazu	Natural Language Processing / Shimazu Laboratory	Natural language processing, Dialogue recognition, Machine translation
Professor Satoshi Tojo	Knowledge Engineering / Tojo Laboratory	Natural language recognition, Logic programming, Distributed artificial intelligence
Associate Professor Kiyoaki Shirai	Natural Language Processing / Shirai Laboratory	Statistical natural language processing, Knowledge acquisition, Machine learning
Associate Professor Kokolo Ikeda	Entertainment Informatics	Evolutionary Algorithm, Machine Learning, Agent-based Simulation, Game
Associate Professor Yoshimasa Tsuruoka	Knowledge Engineering	Artificial Intelligence，Natural Language Processing，Computers and Games
Associate Professor Shinobu Hasegawa		Support System for Intellectual Learning, Learning Management System
Assistant Professor NGUYEN Minh Le	Natural Language Processing	Statistical Natural Language Processing, Text Summarization, Machine Translation, Language Understanding
Assistant Professor Alessandro Cincotti	Entertainment Informatics
Assistant Professor Makoto Nakamura	Natural Language Processing	Evolutionary linguistics
Research Assistant Professor Kristian Toby Spoerer	Entertainment Informatics

Visiting lecturers / Cooperative Courses

Computational Linguistics
Visiting Associate Professor Hiroshi Hosobe	Linguistic science

Cognitive Science
Visiting Professor Kazutoshi Wakabayashi	Cognitive Science

Parallel and Distributed Systems
Visiting Professor Kenjiro Cho	Parallel and Distributed Systems
Visiting Professor Shigeyuki Kubota

Software Science
Visiting Professor Tomoji Kishi	Software engineering, Product line software engineering

Information and Knowledge Integrated Processing (Fujitsu)
Visiting Professor Sanya Uehara	Integrated Processing of Information and Knowledge
Visiting Associate Professor Nobuhiro Yugami

Ultra-High Speed Communication Network Construction (National Institute of Information Technology)
Visiting Professor Hiroshi Miyabe
Visiting Associate Professor Hiroaki Harai

Distributed Information Processing (National Institute of Advanced Industrial Science and Technology)
Visiting Associate Professor Masaki Onishi
Visiting Associate Professor Tomohisa Yamashita

e-Society Systems (NTT DATA)

Advanced Software Engineering (National Institute of Informatics)
Visiting Professor Shinichi Honiden
Visiting Associate Professor Nobukazu Yoshioka

Information Science Chair Cooperated with Vietnam FIVE Institutes
Visiting Associate Professor Mai Chi Luong
Visiting Associate Professor Bac Hoai Le
Visiting Associate Professor Viet-Ha Nguyen