日本語
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...