日本語

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  Subject in specialty  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 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  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, Not assigned yet-  2017  Paper  Yes  The extended equation of Lyndon and Schutzenberger  Joint  Florin Manea, Mike Muller, Dirk Nowotka, Shinnosuke Seki  Journal of Computer and System Sciences  85, 132-167  2016/11/26  Paper  Yes  Rule set design problems for oritatami system  Joint  Makoto Ota and Shinnosuke Seki  Theoretical Computer Science  671, 26-35  2016/09/22  View details...   ■ Research presentations Oral presentation for an academic conference  Transcript desing problem of oritatami systems  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  24th International Conference on DNA Computing and Molecular Programming  LNCS 11145  Yes  Nicolas Schabanel  2018/10/08  Oral presentation for an academic conference  Towards the algorithmic molecular self-assembly of fractals by cotranscriptional folding  23rd International Conference on Implementation and Application of Automata (CIAA 2018)  LNCS 10977  Yes  Yusei Masuda and Yuki Ubukata  2018/07/30  Oral presentation for an academic conference  Cotranscriptional Folding: A Frontier in Molecular Engineering  京都大学数理解析研究所RIMS共同研究（公開型）「代数系、論理、言語とその周辺領域」  N/A  No  Shinnosuke Seki  2018/02/20  Oral presentation for an academic conference  Proving Turing universality of cotranscriptional folding  京都大学数理解析研究所RIMS共同研究（公開型）「アルゴリズムと計算理論の基礎と応用」  N/A  No  Shinnosuke Seki  2018/02/05  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への助成  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 24th International Conference on Implementation and Applications of Automata (CIAA 2019)  Program Committee member  2019/07/22  18th International Conference on Unconventional Computation and Natural Computation (UCNC 2019)  Organizing Committee Chair  2019/06  18th International Conference on Unconventional Computation and Natural Computation (UCNC 2019)  Program Committee Chair  2019/06  36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)  Program Committee member  2019/03/13  45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019)  Program Committee member  2019/01  View details...   ■ Committee or council involvement 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...