日本語

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 2017  大学院技術英語  Spring semester  Both graduate schools, IE and IS  Master's program  2017  MICS実験第一  Spring 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, 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 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  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  78/ 1, 1-46  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  View details...   ■ Research presentations Oral presentation for an academic conference  Self-attraction removal from oritatami systems  19th International Conference on Descriptional Complexity of Formal Systems  LNCS 10316  Yes  Hwee Kim  2017/07/03  Oral presentation for an academic conference  Bit string bifurcation by cotranscriptional folding  1st International Workshop on Oritatami  Not assigned yet  No  Yusei Masuda, Yuki Ubukata  2017/06/06  Oral presentation for an academic conference  Bit string bifurcation by cotranscriptional folding  11th International Workshop on Natural Computing  Not assigned yet  No  Yusei Masuda, Yuki Ubukata  2017/05/13  Oral presentation for an academic conference  Nondeterministic seedless oritatami systems and hardness of testing their equivalence  The 22nd International Conference on DNA Computing and Molecular Programming (DNA 22)  LNCS 9818  Yes  Hwee Kim  2016/09/04  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  View details...   ■ Awards 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 共転写性フォールディングによる自己組織化システムの実際的設計と最適化  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  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  学会開催支援であり研究テーマはなし  Donations for research  （株）久保田情報技研  国際会議DLT2018開催支援寄付金  2017-Present  機関選抜のため、研究テーマはなし  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...   ■ 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 14th Conference on Computability in Europe (CiE 2018)  Program Committee Member  2018  22nd International Conference on Developments in Language Theory (DLT 2018)  Program Committee Chair  2018  22nd International Conference on Developments in Language Theory (DLT 2018)  Organizing Committee Chair  2018  23rd International Conference on DNA Computing and Molecular Programming (DNA23)  Program Committee Member  2017/09/24  21st International Conference on Developments in Language Theory (DLT2017)  Program Committee Member  2017/08/07  View details...   ■ Committee or council involvement 情報処理学会論文誌「数理モデル化と応用」編集委員会  関　新之助  2014/10/01-Present  View details...   ■ Media coverage Newspaper  日刊工業新聞  「分子機械、実験・理論研究進む‐1本のひもで計算可能に」というタイトルで、私が提唱したRNAの共転写性フォールディングによる計算の数理モデル「折り畳みシステム」が取り上げられた。  2015/08/11  View details...