日本語

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...