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

Professor 
SATOSHI KOBAYASHI 

Year of birth:1965  

Career
電気通信大学情報工学科  助手  1993/04-1998/03 
東京電機大学情報科学科  講師  1998/04-1999/09 
東京電機大学情報科学科  助教授  1999/10-2000/09 
電気通信大学情報工学科  助教授  2000/10-Present 
電気通信大学情報工学科  教授  2007/10/01-Present 

Academic background
The University of Tokyo  Faculty of Engineering  航空学科  1988/03  Graduated 
The University of Tokyo  Graduate School, Division of Engineering  航空学専攻  Master's program  1990/03  Completed 
The University of Tokyo  Graduate School, Division of Engineering  航空学専攻  Doctoral program  1993/03  Completed 

Academic degrees
Doctor of Engineering  The University of Tokyo  1993/03 

Classes responsible within the university
2017  情報通信工学専攻基礎  Spring semester  Graduate, IE  Master's program 
2017  情報・ネットワーク工学専攻基礎  Spring semester  Graduate, IE  Master's program 
2017  アルゴリズム論第二  Fall semester  Undergraduate, daytime  Subject in specialty 
2017  コンピュータサイエンス実験第二  Fall semester  Undergraduate, daytime  Subject in specialty 
2017  応用アルゴリズム論  Fall semester  Graduate, IE  Master's program  Subject in specialty 
View details...

Classes responsible in other universities
2001  アルゴリズム論 I  東京電機大学理工学部 
2001  アルゴリズム論 II  東京電機大学理工学部 
2002  応用数学特論 II  早稲田大学教育学部 
2004  情報数学  早稲田大学理工学部 
2005  情報数学  早稲田大学理工学部 
View details...

Education and research activities in foreign countries
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2006/04-2007/03  スペイン 
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2005/04-2006/03  Spain 
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2004/09-2005/03  Spain 
View details...

Current research areas
Theory of informatics 
Life / Health / Medical informatics 

Current research subjects
Learning Theory of Formal Languages  Grammatical Inference Inductive Inference Formal Language 
Application of Learning Theory to Biological Sequence Analysis  Learning Theory Genome Sequence Analysis 
Theory of Molecular Computing  DNA Computing Molecular Computing 

Published books
Book  自然計算へのいざない  近代科学社  2015/11/30 
Book  DNA Computing and Molecular Programming, 20th International Conference  Springer Verlag  2014/09/22 
Book  応用:情報数学  横森貴、小林聡  サイエンス社  1-59  2011/06 
Book  基礎:情報数学  横森貴、小林聡  サイエンス社  107-147  2008/03 
Book  Recent Advances in Formal Languages and Applications  J. Brzozowski, J. Gruska, T. Head, D. Pixton, L. Ilie, J. Kari, S. Kobayashi, H.-J. Kreowski, R. Klempien-Hinrichs, S. Kuske, M. Ogihara, F. Otto, H. Petersen, S. Wintner, H.-C. Yen  Springer-Verlag  209-228  2006 
View details...

Published papers
Paper  Yes  Photochemical Acceleration of DNA Strand Displacement by Using Ultrafast DNA Photo-crosslinking  Joint  Shigetaka Nakamura, Hirokazu Hashimoto, Satoshi Kobayashi, Kenzo Fujimoto  ChemBioChem  18/ 20, 1984-1989  2017/10/18  10.1002/cbic.201700430 
Paper  Yes  Engineering multistate DNA molecules: a tunable thermal band-pass filter  Joint  John Rose, Ken Komiya, Satoshi Kobayashi  Micro & Nano Letters  11, 595-601  2016 
Paper  Yes  Molecular computers for molecular robots as hybrid systems  Joint  Masami Hagiya, Nathanael Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi  Theoretical Computer Science  632, 4-20  2016 
Paper  Yes  Molecular Robots with Sensors and Intelligence  Joint  Masami Hagiya, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Satoshi Murata  Accounts of Chemical Research  47/ 6, 1681-1690  2014/06/06 
Paper  Yes  Enumeration Approach to Computing Chemical Equilibria  Satoshi Kobayashi  Theoretical Computer Science  499, 51-87  2013 
View details...

Research presentations
Oral presentation for an academic conference  Toward Efficient Computation of Chemical Equilibria of Interacting Nucleic Acid Strands Including Pseudoknots  Chem-Bio Informatics Society(CBI) Annual Meeting 2015  P5-26  Yes  Mizuki Yokoshima, Satoshi Kobayashi  2015/10/28 
Oral presentation for an academic conference  Toward Design and Analysis of Analog Computing Chemical Reaction Circuits  Chem-Bio Informatics Society(CBI) Annual Meeting 2015  P5-27  Yes  Daiki Matsuwaki, Satoshi Kobayashi  2015/10/28 
Oral presentation for an academic conference  Reaction Graphs Controlled by External Signals  CBI 学会全国大会  Yes  Youji Hasegawa, Satoshi Kobayashi  2014/10/28 
Oral presentation for an academic conference  On Time Responsive DNA Analog Computing Devices  Yes  Satoshi Kobayashi, Kazuya Yanagibashi  2014/10/28 
Oral presentation for an academic conference  鎖置換反応ダイナミクスを利用したアナログコンピュータの構築に向けて  分子ロボティクス研究会  No  小林聡  2014/05/09 
View details...

Awards
"40th Anniversary of Theoretical Computer Science – Top Cited Articles: 1975-2014"  2015/07 
情報処理学会数理モデル化と問題解決研究会「功績賞」  2014/09/25 
船井情報科学振興賞  2003/03/21 
NGC (New Generation Computing) Distinguished Paper Award  2002/05/30 
View details...

Memberships of academic societies
情報処理学会  1991-Present 
人工知能学会  1988-Present 
View details...

Involvement in conference and research meetings
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2016 
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2015 
20th International Conference on DNA Computing and Molecular Programming  Program Committee Chair  2014 
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2014 
19th International Conference on DNA Computing and Molecular Programming  Program Committee Member  2013 
View details...