Atsuki Nagao

J-GLOBAL         Last updated: Oct 27, 2018 at 10:22
 
Avatar
Name
Atsuki Nagao
URL
https://sites.google.com/view/a-nagao/
Affiliation
Ochanomizu University
Job title
Assistant Professor (PI)
Degree
Ph.D. Informatics(Kyoto University)
Research funding number
20802622
Twitter ID
ac_key

Education

 
Apr 2012
 - 
Mar 2015
Department of Communications and Computer Engineering, Ph.D. course, Graduate School of Informatics, Kyoto University
 
Apr 2010
 - 
Mar 2012
Department of Communications and Computer Engineering, Master course, Graduate School of Informatics, Kyoto University
 
Apr 2004
 - 
Mar 2010
Undergraduate School of Informatics and Mathematical Science, Kyoto University
 

Academic & Professional Experience

 
Apr 2018
   
 
Assistant Perofessor, Ochanomizu University
 
Apr 2017
 - 
Mar 2018
Assistant Perofessor, Faculty of Science and Technology, Seikei University
 
Apr 2015
 - 
Mar 2017
Project Researcher, School of Informatics and Engineering, The University of Electro-Communications
 
Apr 2014
 - 
Mar 2015
Japan Society for the Promotion of Science, DC2 research fellow
 
Nov 2014
 - 
Jun 2014
Visiting researcher, Department of Computer Science, University of Tronto
 

Published Papers

 
Atsushi Hashimoto, Atsuki Nagao, and Satoru Okuda
Journal of Theoretical Biology   437 187-201   2018   [Refereed]
A Moderately Exponential Time Algorithm for k-IBDD Satis ability.
Atsuki Nagao, Kazuhisa Seto and Junich Teruyama
Algorithmica   80(10) 2725-2741   2018   [Refereed]
A Much Faster Algorithm for Finding a Maximum Clique with Computational Experiments.
Etsuji Tomita, Sora Matsuzaki, Atsuki Nagao, Hiro Ito, and M. Wakatsuki
Journal of Information Processing   25 667-677   2017   [Refereed]
Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama
IEICE Transactions on Information and Systems   E98(D(10)) 1736-1743   2015   [Refereed]
Read-Once Branching Programs for Tree Evaluation Problems.
Kazuo Iwama and Atsuki Nagao
ACM Transactions on Computation Theory   10(1)    2019   [Refereed]

Conference Activities & Talks

 
PSPACE-completeness for Snakebird
Atsuki Nagao and Maho Yokota
The 21th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)   Sep 2018   
Satisfiability Algorithm for Read k-times Branching Programs.
Atsuki Nagao, Kazuhisa Seto and Junich Teruyama
28th International Symposium on Algorithms and Computation, ISAAC 2017   Dec 2017   
K_3 edge cover in a wide sense.
Kyohei Chiba, Hiro Ito and Atsuki Nagao
The 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2017)   Sep 2017   
A Superpolynomial Lower Bound for Restricted Branching Programs Solving Tree Evaluation Problems. [Invited]
Atsuki Nagao
IEICE General Conference   Mar 2017   
Constant-time testers for generalized shogi, chess, and xiangqi.
Hiro Ito, Atsuki Nagao and Teagun Park
The 19th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2016)   Sep 2016   

Research Areas

 
 

Awards & Honors

 
Mar 2013
Young Researcher’s Award, The Institute of Electronics, Information and Communication Engineers
 
Mar 2012
Best student paper award, IEICE Technical Committee on Theoretical Foundations of Computing