日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering) 

Assistant Professor 
Shinnosuke SEKI 

Personal website  

Career
University of Western Ontario  Department of Computer Science  Postdoctoral Researcher  2010/09/01-2011/04/30 
Kyoto University  薬学研究科  博士研究員  2011/05/01-2012/02/15 
Aalto University  Department of Information and Computer Science  Postdoctoral Researcher  2012/02/16-2013/08/31 
Academy of Finland  Postdoctoral Researcher, Principal Investigator  2013/09/01-2015/03/31 

Academic background
The University of Electro-Communications  情報工学専攻  Master's program  2006/03/31  Graduated 
The University of Western Ontario  Department of Computer Science  Doctoral program  2010/08/31  Graduated 

Academic degrees
Ph.D. (Computer Science)  University of Western Ontario  2010/10/29 

Classes responsible within the university
2016  大学院技術英語  Spring semester  Both graduate schools, IE and IS  Master's program 
2016  K過程輪講  Spring semester  Undergraduate, mainly nighttime 
View details...

Classes responsible in other universities
2014  Combinatorics  Aalto University 
View details...

Current research areas
Theory of informatics 
Nano/Microsystems 
Computational science 

Research keywords
Theory of self-assembly 

Current research subjects
Optimization of DNA pattern self-assembly systems  2012/09/01-Present 

Published books
Book, dictionary  Patterned Self-Assembly Tile Set Synthesis  Encyclopedia of Algorithms  Springer  2016 
Book  Handbook of Natural Computing  Lila Kari, Shinnosuke Seki, Petr Sosik  Springer  1073-1127  2012 
Book  Proc. 14th International Conference on Developments in Language Theory  Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu  Springer  2010 
View details...

Published papers
Paper  Yes  Binary pattern tile set synthesis is NP-hard  Joint  Lila Kari, Steffen Kopecki, Pierre-Etienne Meunier, Matthew J. Patitz, and Shinnosuke Seki  Algorithmica  Not assigned yet  2016/04/26 
Paper  Yes  Semilinear sets and counter machines: a brief survey  Joint  Oscar Ibarra, Shinnosuke Seki  Fundamenta Informaticae  138/ 1-2, 61-76  2015 
Paper  Yes  A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis  Joint  Aleck Johnsen, Ming-Yang Kao, Shinnosuke Seki  Journal of Combinatorial Optimization  Not assigned yet  2015/11/24 
Paper  Yes  Dynamic simulation of 1D cellular automata in the Active aTAM  Joint  Natasa Jonoska, Daria Karpenko, Shinnosuke Seki  New Generation Computing  33/ 3, 271-295  2015/07/01 
Paper  Yes  Program size and temperature in self-assembly  Joint  Ho-Lin Chen, David Doty, Shinnosuke Seki  Algorithmica  72/ 3, 884-899  2015/07/01 
View details...

Research presentations
Oral presentation for an academic conference  The complexity of fixed-height patterned tile self-assembly  21st International Conference on Implementation and Application of Automata (CIAA 2016)  LNCS 9705  Yes  Shinnosuke Seki  2016/07/19 
Oral presentation for an academic conference  Folding Turing is hard but feasible  Highlights of Algorithms (HALG 2016)  Yes  Nicolas Schabanel  2016/06/06 
Oral presentation for an academic conference  Molecular cotranscriptional folding: A novel topic in theory and applications of self-assembly  5th Interdisciplinary Research and Global Outlook (IRAGO2015)  Yes  Shinnosuke Seki  2015/10/22 
Oral presentation for an academic conference  Square-density increasing mappings  10th International Conference on Combinatorics on Words (WORDS2015)  LNCS 9304  Yes  Shinnosuke Seki  2015/09/14 
Oral presentation for an academic conference  Computational complexity of inverse word search problem  12th International Symposium on Operations Research and Its Applications (ISORA2015)  Yes  Hiro Ito  2015/08/21 
View details...

Awards
CIAA 2016 Best Paper Award (Sheng Yu Award)  2016/07/21 
View details...

Researcher accepted
Overseas  Invited researcher  Republic of Korea  Yonsei University  Dispatching organization  2015-Present 
View details...

Grants-in-aid for scientific research
共転写性フォールディングによる自己組織化システムの実際的設計と最適化  Young scientists (A)  2016/04/01-2018/03/31 
共転写性フォールディングの数理モデル化とチューリング完全性  Research activity start-up  2015/04/01-2016/03/31 
View details...

External fund
機関選抜のため、研究テーマはなし  Other grants  Japan Science and Technology Agency  2015/08/06-2017/03/31 
Practical designs of molecular self-assembly systems and their optimization  Other grants  Academy of Finland  2013/09/01-2015/03/31 
View details...

Involvement in conference and research meetings
6th Interdisciplinary Research and Global Outlook (IRAGO 2016)  Organizing Committee member  2016/11/01 
22nd International Conference on DNA Computing and Molecular Programming (DNA22)  Program Committee member  2016/09/04 
21st International Conference on Implementation and Application of Automata (CIAA2016)  Program Committee member  2016/07/19 
12th Conference Organized by Computability in Europe (CiE 2016)  Program Committee member  2016/06/20 
7th Workshop on Non-Classical Models of Automata and Applications (NCMA2015)  Program Committee member  2015/08/31 
View details...

Media coverage
Newspaper  日刊工業新聞  「分子機械、実験・理論研究進む‐1本のひもで計算可能に」というタイトルで、私が提唱したRNAの共転写性フォールディングによる計算の数理モデル「折り畳みシステム」が取り上げられた。  2015/08/11 
View details...