Rchr
J-GLOBAL ID:201701008579548357   Update date: Jun. 09, 2020

Nagao Atsuki

ナガオアツキ | Nagao Atsuki
Affiliation and department:
Job title: Assistant Professor (PI)
Homepage URL  (2): https://sites.google.com/view/a-nagao/https://sites.google.com/view/a-nagao/
Research field  (1): Information theory
Research keywords  (4): Satisfiability Problem ,  Discrete Optimization ,  Computational Complexity ,  Algorithms
Research theme for competitive and other funds  (1):
  • 2018 - 2020 強指数時間仮説の反証にむけた研究
Papers (5):
Lectures and oral presentations  (10):
  • PSPACE-completeness for Snakebird
    (The 21th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018) 2018)
  • Satisfiability Algorithm for Read k-times Branching Programs.
    (28th International Symposium on Algorithms and Computation, ISAAC 2017 2017)
  • K_3 edge cover in a wide sense.
    (The 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2017) 2017)
  • A Superpolynomial Lower Bound for Restricted Branching Programs Solving Tree Evaluation Problems.
    (IEICE General Conference 2017)
  • Constant-time testers for generalized shogi, chess, and xiangqi.
    (The 19th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2016) 2016)
more...
Education (3):
  • 2012 - 2015 Kyoto University Department of Communications and Computer Engineering, Ph.D. course
  • 2010 - 2012 Kyoto University Department of Communications and Computer Engineering, Master course
  • 2004 - 2010 Kyoto University
Professional career (1):
  • Ph.D. Informatics (Kyoto University)
Work history (5):
  • 2018/04 - Ochanomizu University Assistant Perofessor
  • 2017/04 - 2018/03 Seikei University Faculty of Science and Technology Assistant Perofessor
  • 2015/04 - 2017/03 The University of Electro-Communications School of Informatics and Engineering Project Researcher
  • 2014/04 - 2015/03 Japan Society for the Promotion of Science, DC2 research fellow
  • Department of Computer Science, University of Tronto Visiting researcher
Committee career (2):
  • 2018 - 2018 International Conference on Fun with Algorithms (FUN 2018) Organizing Committee
  • 2016 - 2017 Japan Conference on Discrete and Computational Geometry, Graphs, and Games: JCDCG^3 Organizing Committee
Awards (2):
  • 2013/03 - The Institute of Electronics, Information and Communication Engineers Young Researcher’s Award
  • 2012/03 - IEICE Technical Committee on Theoretical Foundations of Computing Best student paper award
Association Membership(s) (1):
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page