Logic Synthesis of Recombinase-Based Genetic Circuits

Associate Professor
Department of Electrical Engineering
National Taiwan University
Taipei, Taiwan
 

 

Webpage

Closing Keynote - Friday, 29 September 2017 at 16:00 in room BC 420

 

Abstract:

A synthetic approach to biology is a promising technique for various applications. Recent advancements have demonstrated the feasibility of constructing synthetic two-input logic gates in Escherichia coli cells with long-term memory based on DNA inversion induced by recombinases. Moreover, recent evidences indicate that DNA inversion mediated by genome editing tools is possible. Powerful genome editing technologies have great potential to be exploited to implement large-scale genetic circuits. What remains unclear is how to construct arbitrary Boolean functions based on these emerging technologies. In this work, we formalize the connection between recombinase-based genetic circuits and Boolean functions. It enables systematic construction of any given Boolean function using recombinase-based logic gates. We further develop a methodology leveraging existing electronic design automation (EDA) tools to automate the synthesis of complex recombinase-based genetic circuits with respect to area and delay optimization. In silico experimental results demonstrate the applicability of our proposed methods as a useful tool for recombinase-based genetic circuit synthesis and optimization.

About the speaker:

Jie-Hong Roland Jiang received his B.S. and M.S. degrees in Electronics Engineering from National Chiao Tung University, Hsinchu, Taiwan, in 1996 and 1998, respectively. In 2004, he received the Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California, Berkeley.

During his compulsory military service, from 1998 to 2000, he was a Second Lieutenant with the Air Force, R.O.C. Before joining National Taiwan University in August 2005, he was with the University of California at Berkeley as a postdoctoral researcher. He is now an associate professor at National Taiwan University. His current research interests include foundations of system construction, system analysis and verification, hardware synthesis and optimization, and computation with quantum physics.

Dr. Jiang is a member of IEEE, ACM, and the Phi Tau Phi scholastic honor society.