Lab. 1: Takagi

Personal Information

Tsuyoshi Takagi
高木 剛

Department of Mathematical Informatics, 
Graduate School of Information Science and Technology
Professor

Room 343,Engineering Building 6, 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 
Tel: 03-5841-6940 (ext. 26940)
Fax:

E-mail:takagi@mist.i.u-tokyo.ac.jp

[Home Page]

 

Biography

March 1995 M.Sc., Graduate School of Mathematics, Nagoya University, Japan
April 1995 Researcher, NTT Laboratories, Tokyo
October 1997 Guest researcher, Department of Computer Science, Technische Universitaet Darmstadt, Germany
October 1998 Researcher, NTT Laboratories, Germany
January 2001 PhD with honors, Department of Computer Science, Technische Universitaet Darmstadt, Germany
July 2002 Assistant Professor, Department of Computer Science, Technische Universitaet Darmstadt, Germany
April 2005 Associate Professor, School of Systems Information Science, Future University Hakodate, Japan
April 2008 Professor, School of Systems Information Science, Future University Hakodate, Japan
April 2010 Professor, Faculty of Mathematics, Kyushu University, Japan
April 2011 Professor, Institute of Mathematics for Industry, Kyushu University, Japan
April 2017 Professor, Graduate School of Information Science and Technology, The University of Tokyo, Japan

Research Themes

We investigate the theory and practice of cryptography which underpins the security of our information society.

● Cryptography
We study post-quantum cryptography based on the mathematical problems (such as coding theory, lattice theory, multivariate polynomials, graph theory, etc), which are computationally intractable even in the era of quantum computing.

● Information Security
We are engaged in the development of new efficient cryptographic algorithms and implementation secure against physical attacks, which can be used in our life, for example, copyright protection, electronic voting, cryptocurrency, and so on.

Main paper and books

Tsuyoshi Takagi (Ed), “Post-Quantum Cryptography – 7th International Workshop, PQCrypto 2016,” LNCS 9606, Springer 2016.
Kaoru Kurosawa, Tsuyoshi Takagi, “One-Wayness Equivalent to General Factoring,” IEEE Transactions on Information Theory, Vol.55, No.9, pp.4249-4262, 2009.
Tsuyoshi Takagi, “A Fast RSA-Type Public-Key Primitive Modulo pkq,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E87-A, No.1, pp.94-100, 2004.

 

Mathematical Informatics 7th Laboratory

Computational Informatics Lab (Mathematical Informatics 7th Lab)
– Solve “troubles” in society –
Webpage of Lab→
Satoru Iwata
Satoru Iwata

Professor
Shinichi Tanigawa
Shinichi Tanigawa

Associate Professor
Ayumi Igarashi
Ayumi Igarashi

Associate Professor
Optimal Modeling
Modeling is the first step for solving real-world problems and understanding complex phenomena via a mathematical approach. However, there could be enormous different models to the same phenomenon. Furthermore, even in essentially equivalent models, the difficulty of the numerical computation varies due to variable choices and freedom in mathematical expressions in these models. Exploiting techniques from discrete mathematics, optimization, and statistics, we aim to establish a systematic methodology for selecting an optimal model from enormous possible models.

Discrete Computational Geometry
Computational geometry studies algorithms for solving geometric problems. Our particular interest is to understand the discrete structures behind geometric graphs and networks in engineering topics such as robotics, structural mechanics, and bioinformatics, and establish mathematical foundations for efficient algorithms.

Lab. 2: Sadakane

Personal Information

Kunihiko Sadakane
Kunihiko Sadakane

Department of Mathematical Informatics, Graduate School of Information Science and Technology

Professor

Room 341, Engineering Building 6, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656
Tel: 03-5841-6955 (ext. 26955)
Fax: 03-5841-6955

E-mail:sada@mist.i.u-tokyo.ac.jp

[Home Page]

Biography

March 1995 Bachelor Degree from Department of Information Science, Faculty of Science, The University of Tokyo
March 2000 Ph.D. from Department of Information Science, Graduate School of Science, The University of Tokyo
April 2000 Assistant Professor, Graduate School of Information Sciences, Tohoku University
April 2003 Associate Professor, Faculty of Information Science and Electrical Engineering, Kyushu University
April 2009 Associate Professor, National Institute of Informatics
March 2014 Professor, National Institute of Informatics
April 2014 Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo

Research Themes

・Algorithms and data structures for big data processing
・Theory and Applications of succinct data structures

Main paper and books

Wing-Kai Hon, Kunihiko Sadakane, Wing-Kin Sung: Breaking a Time-and-Space Barrier in Constructing Full-Text Indices. SIAM J. Comput. 38(6): 2162-2178 (2009)
Kunihiko Sadakane: Compressed Suffix Trees with Full Functionality. Theory Comput. Syst. 41(4): 589-607 (2007)
Kunihiko Sadakane, Gonzalo Navarro: Fully-Functional Succinct Trees. SODA 2010: 134-149

Taku Senoo

Taku Senoo

妹尾 拓

Lecturer / Assistant Professor
Department of Information Physics and Computing,
Graduate School of Information Science and Technology, University of Tokyo

7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan
Phone: +81.3.5841.6936
Fax: +81.3.5841.8604
Email: Taku_Seno@ipc.i.u-tokyo.ac.jp

[Homepage]

CV

Taku Senoo received the B.E. degree in applied physics from Waseda University in 2003, and the M.E. and the Ph.D. degrees in information physics and computing from the University of Tokyo in 2005 and 2008, respectively. He was a research fellow of japan society for the promotion of science from 2005 to 2008, a project research fellow from 2008 to 2010, a project assistant professor from 2010 to 2015, and an assistant professor from 2015 to 2018 at the University of Tokyo. He is currently a Lecturer / Assistant Professor of information physics and computing, the University of Tokyo.

Research theme

Dynamic Manipulation, Hand-arm Coordination, High-speed Visual Feedback Control, and Bipedal Robots.

Masatoshi Ishikawa

Masatoshi Ishikawa
石川 正俊

Professor
Department of Creative Informatics and Department of Information Physics and Computing
Graduate School of Information Science and Technology, University of Tokyo

Room No.251, Bldg. No.6
Hongo 7-3-1, Bunkyo-ku, Tokyo 113-8656, JAPAN
TEL : +81-3-5841-8602 FAX : +81-3-5841-8604
E-Mail:Masatoshi_Ishikawa@ipc.i.u-tokyo.ac.jp
[Homepage]

CV

2016.4 Dean, Graduate School of Information Science and Technology, the University of Tokyo 
2005.4 Professor, Department of Creative Informatics, Graduate School of Information Science and Technology, the University of Tokyo 
– Executive Vice-President, the University of Tokyo (until March 2006)
2004.4 Vice-President, the University of Tokyo (until March 2005)
2002.4 Executive Advisor to the President, the University of Tokyo (until March 2004)
2001.4 Professor, Department of Information Physics and Computing, Graduate School of Information Science and Technology, the University of Tokyo 
1999.4 Professor, Department of Mathematical Engineering and Information Physics, Graduate School of Engineering, the University of Tokyo 
1995.4 Associate Professor, Department of Mathematical Engineering and Information Physics, Graduate School of Engineering, the University of Tokyo 
1989.6 Associate Professor, Department of Mathematical Engineering and Information Physics, Faculty of Engineering, the University of Tokyo 
1987.4 Senior Researcher, Industrial Products Research Institute, Agency of Industrial Science and Technology 
1979.4 Researcher, Industrial Products Research Institute, Agency of Industrial Science and Technology 
1988.2 Dr. of Engineering, the University of Tokyo

Research overview

We are going on many projects related on integration of recognition and behavior using recent developing technologies such as semiconductor integration, optics in computing, and parallel processing. In other words, we are trying to realize human sensory processing functionalities including sensory integration, brain function for information processing using hierarchical parallel processing, and intelligent behavior on artificial systems at the level of human or higher.

Ishikawa Senoo Laboratory

Ishikawa Senoo Laboratory
– Sensory Motor Integration –
Lab HomePage→
石川 正俊
Masatoshi Ishikawa

Professor

Taku Senoo

Lecturer
   
Sensor Fusion
Research on Sensor Fusion theory, construction of system architectures, and applications to high-speed intelligent robots aimed at the engineered re-formation of the five senses
Vision Architecture
Research on Vision Architecture for designing high-speed image processing technology (theory, algorithms, and devices) and the realization of application systems
Dynamic Image Control
Research on Dynamic Image Control for realizing high-speed imaging control using high-speed image processing and new active optical devices and systems
Active Perception
Research on Active Perception for creating a new style of interaction by using sensation-enhancing technology and its applications

Discrete Informatics Laboratory (Mathematical Informatics Lab. 2)

Discrete Informatics Laboratory (Mathematical Informatics Lab. 2) Home Page of Lab. 2→

Kunihiko Sadakane
Kunihiko Sadakane

Professor
Yasushi Kawase
Yasushi Kawase

Project Associate Professor
Algorithms and Data Structures
We study algorithms and data structures for efficient processing of discrete data such as strings and graphs.
We consider succinct data structures which can process compressed big data without decompression,
indexing data structures for fast graph processing, etc.
We also apply those theories to practical applications such as genome informatics and geographical information systems.
Discrete Optimization
We study optimization problems on discrete systems
by making full use of discrete mathematics such as graph, network, and matroid.
We also study related mathematical structures such as
convexity, symmetry, sparsity, hierarchy, and metric,
from algebraic and algorithmic point of view.
We aim at developing practical and beautiful applied mathematics.
Compressed Discrete Structure Processing based on Graph Representations
Our research motivation is to develop techniques for solving NP-hard problems or processing big data in practical situations.
Binary decision diagrams (BDDs) are ones of our favorite data structure that represent discrete structure compactly.
We present algorithms to construct compact index or enumerate all solutions efficiently for large-scale data compressed by BDDs.

Lab. 4 Yoshito Hirata

Profile

Yoshito Hirata
Yoshito Hirata

Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo
Associate Professor

7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656
Eng. 6 Bldg. Room 436
Tel: +81-3-5841-0698
Fax:

E-mail: hirata@mist.i.u-tokyo.ac.jp

[Home Page]

Curriculum Vitae

Mar. 1998 Bachelor degree from Department of Mathematical Engineering and Information Physics, The University of Tokyo
Mar. 2000 Master degree from Department of Mathematical Engineering and Information Physics, The University of Tokyo
Apr. 2004 Postdoctoral researcher, Department of Mathematical Informatics, The University of Tokyo
Jun. 2004 Ph. D. from School of Mathematics and Statistics, University of Western Australia
Oct. 2006 Researcher, Aihara Complexity Medelling Project, Japan Science and Technology Agency
Apr. 2008 Project Research Associate, Institute of Industrial Science, The University of Tokyo
Jul. 2010 Project Associate Professor, Institute of Industrial Science, The University of Tokyo
Jan. 2018 Associate Professor, Mathematics and Informatics Center, The University of Tokyo

Research Themes

I am investigating theory and applications of nonlinear time series analysis, which is time series analysis
based on dynamical systems theory.

Especially, I want to grasp new needs for analyzing real datasets, develop new methods for nonlinear
time series analysis for such purposes, and apply the methods to solve the real world problems by
understanding, predicting and/or controlling the underlying dynamics.

Selected papers

Y. Hirata, T. Stemler, D. Eroglu, and N. Marwan, Prediction of flow dynamics using point processes, Chaos 28, 011101 (2018).
Y. Hirata, A. Oda, K. Ohta, and K. Aihara, Three-dimensional reconstruction of single-cell chromosome structure using recurrence plots, Scientific Reports 6, 34982 (2016).
Y. Hirata, N. Bruchovsky, and K. Aihara, Development of a mathematical model that predicts the outcome of hormone therapy for prostate cancer, Journal of Theoretical Biology 264, 517-527 (2010).
Y. Hirata, K. Judd, and D. Kilminster, Estimating a generating partition from observed time series: Symbolic shadowing, Physical Review E 70, 016215 (2004).

 

Professor Tetsuya J. KOBAYASHI

Faculty Staff Information

Tetsuya J. KOBAYASHI
小林 徹也

Professor
Institute of Industrial Science, The University of Tokyo
Department of Electrical Engineering and Information Systems, Graduate School of Engineering, The University of Tokyo
Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo

Room Ce-501, Institute of Industrial Science, The University of Tokyo, 4-6-1, Komaba, Meguro-ku, Tokyo 153-8505, Japan.
Phone: +(81)-3-5452-6798 (Extension: 56798)
Fax: +(81)-3-5452-6798

E-mail:tetsuya@sat.t.u-tokyo.ac.jp

[Website]

Research topics

Systems biology, Quantitative biology, Bioinformatics

Relevant Publications

・Hideki Ukai, Tetsuya J. Kobayashi, Mamoru Nagano, Koh-hei Masumoto, Mitsugu Sujino, Takao Kondo, Kazuhiro Yagita, Yasufumi Shigeyoshi and Hiroki R. Ueda:Melanopsin-dependent photo-perturbation reveals desynchronizationunderlying the singularity of mammalian circadian clocks, Nature CellBiology, Vol. 9, No.11, pp. 1327-1334, October 2007.
・Tetsuya J. Kobayashi: Implementation of Dynamic Bayesian Decision Making by Intracellular Kinetics, Physical Review Letters, Vol.104, p.0228104, June 2010.
・Tetsuya J. Kobayashi & Yuki Sughiyama: Fluctuation Relations of Fitness and Information in Population Dynamics, Physical Review Letters, Vol. 115, pp. 238102, December 2015.

Professor Takashi KOHNO

Faculty Staff Information

Takashi KOHNO
河野 崇

Professor
Institute of Industrial Science, The University of Tokyo

Department of Electrical Engineering and Information Systems, Graduate School of Engineering, The University of Tokyo
Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo

Room Ee-512, Institute of Industrial Science, The University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo 153-8505, Japan.
Phone: +(81)-3-5452-6900 (Extension: 56900)
Fax: +(81)-3-5452-6901

E-mail:kohno@sat.t.u-tokyo.ac.jp

[Website]

Research topics

Neuromorphic systems, Neuronal system modeling

Relevant Publications

Takashi Kohno and Kazuyuki Aihara:
Mathematical-model-based design method of silicon burst neurons, Neurocomputing, in press.
Takashi Takemoto, Takashi Kohno, and Kazuyuki Aihara:
MOSFET Implementation of Class I* Neurons Coupled by Gap Junctions, Journal of Artificial Life and Robotics, Vol. 10, No. 1, pp. 1-5, July 2006.
Takashi Kohno and Kazuyuki Aihara:
A MOSFET-based model of a Class 2 Nerve membrane, IEEE Transactions on Neural Networks, Vol. 16, No. 3, pp. 754-773, May 2005.