Theory of natural computation lab.¿¡¼ ¿¬»ç(Prof. Shinnosuke Seki)¸¦ ÃÊûÇÏ¿© 12¿ù 15ÀÏ ¸ñ¿äÀÏ ¿ÀÀü 11½ÃºÎÅÍ 60ºÐ°£ Theory of Natural Computing Seminar¸¦ °³ÃÖÇÕ´Ï´Ù.
Natural computing, DNA computing ºÐ¾ß¿¡¼ÀÇ À̷בּ¸¿¡ ´ëÇØ °ü½ÉÀÖÀ¸½Å ºÐµéÀÇ ¸¹Àº Âü¼® ºÎŹµå¸³´Ï´Ù.
When: 2022.12.15(Thu) 11:00 am ~
Where: ÆÈ´Þ°ü âÀÛ½ºÆ©µð¿À 334
Speaker: Prof. Shinnosuke Seki (Department of Computer and Network Engineering, The University of Electro-Communications, Japan)
Title: Single-stranded architectures for computing by RNA co-transcriptional folding
Bio:
2015.03 — present: Associate professor, University of Electro-Communications (JP)
2018.09 — present: Invited Professor, Ecole Normale Supérieure de Lyon (FR)
2013.09 — 2015.03: Postdoctoral researcher, Academy of Finland (FI)
2012.02 — 2013.08: Postdoctoral researcher, Aalto University (FI)
2010.09 — 2011.04: Postdoctoral researcher, University of Western Ontario (CA)
2010.08: Ph.D. (Computer Science), University of Western Ontario (CA)
Abstract:
Transcription is a process in which an RNA sequence is synthesized from its template DNA sequence nucleotide by nucleotide (letter by letter) according to the rule: A -> U, C -> G, G -> C, and T -> A. While being synthesized (transcribed), the resulting RNA sequence (transcript) folds upon itself into a 3-dimensional structure via hydrogen bonds, dominantly A with U, C with G, and G with U. This phenomenon called RNA co-transcriptional folding has been proven programmable by Geary, Rothemund, and Andersen; they demonstrated in 2014 how to design an RNA transcript (in fact, its DNA template) that folds into a specific 2D RNA rectangular tile-like structure co-transcriptionally in-vitro, and have been extending the scale and biological functional diversity of RNA structures programmable in this RNA-origami architecture. As a major driving force of computations in-vitro, co-transcriptional folding has been studied on its computational power in a mathematical model called oritatami and proved Turing-universal by Geary et al. in 2018, that is, as strong as programmable general-purpose computers. In this talk, I will introduce the oritatami model along with preliminaries on molecular self-assembly, and then present a simple implementation of Turing-universal oritatami system that Pchelina, Schabanel, Seki, and Theyssier published this year.
Host: ¼ÒÇÁÆ®¿þ¾îÇаú Á¶´ÙÁ¤ ±³¼ö(dajungcho@ajou.ac.kr)