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.

 

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.

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.

Professor Kazuyuki AIHARA

Faculty Staff Information

Kazuyuki AIHARA
合原 一幸

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

Room Ce-601, Institute of Industrial Science, The University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo 153-8505, Japan.
Phone: +(81)-3-5452-6691 (Extension: 56691)
Fax: +(81)-3-5452-6692 (Extension: 56692)

Room 353, Faculty of Engineering Bldg.6, The University of Tokyo, 7-3-1, Hongo, Bunkyo-ku, Tokyo, 113-8656, Japan.
Phone: +(81)-3-5841-6910 (Extension: 26910)
Fax: +(81)-3-5841-8594

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

[Website]

Research Topics

Mathematical Modeling for Complex Systems, Chaotic and Optoelectronic Neural Networks, Mathematics of Artificial Intelligence

 

Lab. 3 Takayasu Matsuo

Profile

Takayasu Matsuo(松尾 宇泰)
松尾 宇泰

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

7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656
Eng. 6 Bldg. Room 347
Tel: +81-3-5841-6911, ext. 26911
Fax:

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

[Home Page]

Curriculum Vitae

Mar. 1995 Graduated from the Master Course of the Department of Applied Physics, Graduate School of Engineering, University of Tokyo
Mar. 1997 Withdrew from the Doctor Course of the Department of Applied Physics, Graduate School of Engineering, University of Tokyo
Apr. 1997 Assistant Professor, Department of Computational Science and Engineering, Graduate School of Engineering, Nagoya University
Feb. 2003 Received a Ph.D.(Engineering) from the Graduate School of Engineering, University of Tokyo
Apr. 2004 Lecturer, Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo
Aug. 2007 Associate Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo
Jun. 2013 Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo

Research Themes

Numerical Analysis,in particular, “good” numerical methods for solving differential equations.

There are many differential equations that have important physical properties such as conservation or dissipation.
A “good” numerical method for such a equation
refers to a numerical method that retain the conservation/dissipation properties in a discrete sense.
Such a method is called a structure-preserving numerical method.
Compared with a versatile numerical method,
the structure-preserving method not only provides a qualitatively correct result but also achieves numerical stability.
Currently, I’m engaged mainly in the study of high-order (highly accurate) methods for conservative/dissipative systems.

Selected Publications

Takayasu Matsuo and Daisuke Furihata,
Dissipative or Conservative Finite-Difference Schemes for Complex-Valued Nonlinear Partial Differential Equations,
J. Comput. Phys., 171 (2001), 425-447.

Takayasu Matsuo, Masaaki Sugihara, Daisuke Furihata, and Masatake Mori,
Spatially Accurate Dissipative or Conservative Finite Difference Schemes Derived by the Discrete Variational Method,
Japan J. Indust. Appl. Math., 19 (2002), 311–330.

Takayasu Matsuo,
High-order Schemes for Conservative or Dissipative Systems,
J. Comput. Appl. Math., 152 (2003), 305–317.

Lab. 3 Kengo Nakajima

Profile

Kengo Nakajima (中島 研吾)
中島 研吾

Supercomputing Division, Information Technology Center, University of Tokyo
(concurrent post) Department of Mathematical Informatics, Graduate School of Information Science and Technology
Professor

2-11-16, Yayoi, Bunkyo-ku, Tokyo, 113-8658

Information technology center, Annex 3F, Project room 2
Tel: +81-3-5841-2719, ext. 22719
Fax: +81-3-5841-2708

E-mail:nakajima@cc.u-tokyo.ac.jp

[Home Page]

Curriculum Vitae

Mar. 1985 Graduated from the Department of Aeronautics, School of Engineering, University of Tokyo
Apr. 1985 Mitsubishi Research Institute, Inc.
May. 1993 M.S. in Engineering, Dept. Aerospace Eng. & Eng. Mechanics, The University of Texas at Austin
Jul. 1999 Research Organization of Information Science and Technology (RIST)
Mar. 2003 Ph. D (Engineering) (University of Tokyo)
Apr. 2004 Specially-Appointed Associate Professor, Department of Earth and Planetary Science, Graduate school of Science, University of Tokyo
Apr. 2008 Specially-Appointed Professor, Supercomputing Division, Information Technology Center, University of Tokyo
Dec. 2008 Professor, Supercomputing Division, Information Technology Center, University of Tokyo

Research Themes

Large scale simulation and its foundation.
I aim to develop new algorithms through solution of practical problems in science and engineering.

1. Parallel numerical computation, parallel algorithms
2. Numerical linear algebra, parallel preconditioning
3. Computational dynamics, forms processing, visualization

Selected Publications

Nakajima, K., Parallel Iterative Solvers of GeoFEM with Selective Blocking Preconditioning for Nonlinear Contact Problems on the Earth Simulator, ACM/IEEE Proceedings of SC2003, 2003

Nakajima, K., Parallel iterative solvers for finite-element methods using an OpenMP/MPI hybrid programming model on the Earth Simulator, Parallel Computing 31, 1048-1065, 2005

Nakajima, K., Strategies for Preconditioning Methods of Parallel Iterative Solvers in Finite-Element Applications on Geophysics, Advances in Geocomputing, Lecture Notes in Earth Science 119, 65-118, 2009

奥田洋司,中島研吾編著,並列有限要素解析〔I〕,培風館,2004 (in Japanese)