日本語

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  Ecole Normale Superieure de Lyon  Invited Professor  2018/09/01-Present    ■ 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 2018  情報領域演習第二  Spring semester  Undergraduate, daytime  2018  情報領域演習第一  Fall semester  Undergraduate, daytime  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  Proceedings of the 18th International Conference on Unconventional Computation and Natural Computation  Springer  2019  Book  Proceedings of the 22nd International Conference on Developments in Language Theory (DLT2018, Tokyo, Japan, September 10-14, 2018)  Springer  2018/08/06  Book, dictionary  Encyclopedia of Algorithms  Shinnosuke Seki  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  Oritatami: a computational model for molecular co-transcriptional folding  Joint  Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, Shinnosuke Seki  International Journal of Molecular Sciences  20/ 9, 2259-  2019  Paper  Yes  Self-attraction removal from oritatami systems  Joint  Yo-Sub Han, Hwee Kim, Trent A. Rogers, and Shinnosuke Seki  International Journal of Foundations of Computer Science  30/ 6-7, 1047-1067  2019  Paper  Yes  Nondeterministic seedless oritatami systems and hardness of testing their equivalence  Joint  Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki  Natural Computing  17/ 1, 67-79  2018  Paper  Yes  The complexity of fixed-height patterned tile self-assembly  Joint  Shinnosuke Seki, Andrew Winslow  International Journal of Foundations of Computer Science  28/ 5, 465-482  2017  Paper  Yes  Oritatami system: a survey and the impossibility of simple simulation at small delays  Joint  Trent A. Rogers, Shinnosuke Seki  Fundamenta Informaticae  154/ 1-4, 359-372  2017  View details...   ■ Research presentations Oral presentation for an academic conference  Counting infinitely by oritatami co-transcriptional folding  SOFSEM2020: 46th International Conference on Current Trends in Theory and Practice of Informatics  LNCS 12011  Yes  Kohei Maruyama  2020/01/20  Oral presentation for an academic conference  A general architecture of oritatami systems for simulating arbitrary finite automata  CIAA2019: 24th International Conference on Implementation and Application of Automata  LNCS 11601  Yes  Shinnosuke Seki  2019/07/22  Oral presentation for an academic conference  On the power of oritatami cotranscriptional folding with unary bead sequence  TAMC2019: 15th Annual Conference on Theory and Applications of Models of Computation  LNCS 11436  Yes  Kohei Maruyama, Reoto Morita  2019/04/13  Oral presentation for an academic conference  Transcript desing problem of oritatami systems  DNA24: 24th International Conference on DNA Computing and Molecular Programming  LNCS 11145  Yes  Hwee Kim  2018/10/08  Oral presentation for an academic conference  Know when to fold 'em: Self-assembly of shapes by folding in oritatami  DNA24: 24th International Conference on DNA Computing and Molecular Programming  LNCS 11145  Yes  Nicolas Schabanel  2018/10/08  View details...   ■ Awards LA/EATCS Best Presentation Award  2018/02/07  CIAA 2016 Best Paper Award (Sheng Yu Award)  2016/07/21  View details...   ■ Researcher accepted Domestic  Visiting researcher  Finland  Aalto University  Dispatching organization  2017-2017  Overseas  Visiting researcher  Republic of Korea  Yonsei University  Dispatching organization  2015-Present  View details...   ■ Grants-in-aid for scientific research 万能折り畳みシステムの小型化とその限界  2018/06/29-2020/03/31  共転写性フォールディングによる自己組織化システムの実際的設計と最適化  Young scientists (A)  2016/04/01-2018/03/31  共転写性フォールディングの数理モデル化とチューリング完全性  Research activity start-up  2015/04/01-2016/03/31  View details...   ■ External fund 国際会議UCNC2019への助成  Other grants  Tateishi Science and Technology Foundation  2018/09/25-2019/06/07  国際会議DLT2018への助成  Other grants  National Institute of Information and Communications Technology (NICT)  Support for the 22nd International Conference on Developments in Language Theory (DLT 2018)  2018/04/01-Present  国際会議DLT2018への助成  Donations for research  （株）久保田情報技研  国際会議DLT2018開催支援寄付金  2017-Present  国際会議DLT2018への助成  Other grants  The Telecommunications Advancement Foundation  シンポジウム・セミナー　振興普及援助  2017/09/01-Present  機関選抜のため、研究テーマはなし  Other grants  Japan Science and Technology Agency  2015/08/06-2017/03/31  View details...   ■ Past records of joint or funded research Self-assembly of computational mechanisms by cotranscriptional folding  2017-Present  Joint research  International joint research  View details...   ■ Involvement in conference and research meetings 25th International Conference on Implementation and Applications of Automata (CIAA 2020)  Program Committee member  2020/09/08  22nd International Conference on Descriptional Complexity of Formal Systems (DCFS 2020)  Program Committee member  2020/08/24  24th International Conference on Developments in Language Theory (DLT 2020)  Program Committee member  2020/05/11  46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)  Program Committee member  2020/01/20  13th International Conference on Reachability Problems (RP 2019)  Program Committee member  2019/09/11  View details...   ■ Committee or council involvement New Generation Computing  Area Editor  2019/09/01-Present  Springer Natural Computing Book-Series  Advisory Board  2018/04/26-Present  情報処理学会アルゴリズム研究会  専門委員  2018/04/01-Present  Steering Committee of International Conference on Developments in Language Theory (DLT)  Shinnosuke Seki  2017/08/07-Present  情報処理学会論文誌「数理モデル化と応用」編集委員会  関　新之助  2014/10/01-Present  View details...   ■ Media coverage Newspaper  日刊工業新聞  「分子機械、実験・理論研究進む‐1本のひもで計算可能に」というタイトルで、私が提唱したRNAの共転写性フォールディングによる計算の数理モデル「折り畳みシステム」が取り上げられた。  2015/08/11  View details...