I am a Lecturer (Assistant Professor) in the School of Computing Science at Newcastle University. My current research area is verification of biological and cyber-physical systems via model checking. I work with Anil Wipat and his group at the Center for Bacterial Cell Biology, in particular for verifying synthetic biology designs. Earlier, I worked with Edmund M. Clarke at Carnegie Mellon University, where I was the Technical Coordinator of CMACS. I am also interested in quantum and reversible programming languages, and formal methods for specifying and deriving code (a la Dijkstra) for quantum algorithms. For information visit: [http://www.ncl.ac.uk/computing/people/profile/paolo.zuliani Dr. Paolo Zuliani].
I am a research associate based in our wet lab in the Centre for Bacterial Cell Biology, Newcastle University. I studied Medical Microbiology at Newcastle University and my PhD was analysing functional genomics of group A streptococcal virulence factors.
My initial research involved investigating the mechanisms of pathogenicity utilized by the Gram positive bacteria Streptococcus pyogenes. This experience equipped me with considerable expertise in the physiology/molecular biology of Gram-positive bacteria.
I first encountered the concept of synthetic biology (at local seminars) in the context of a Gram-positive bacterium (Bacillus subtilis) and my interest stemmed initially from recognizing that this was a completely new and ‘exciting’ area, where I could make a valuable contribution exploiting my existing expertise.
I have now extended my interests into the field of synthetic biology and am specifically researching into synthetic quorum peptide mediated communication systems in Bacillus subtilis.
I am a PhD student in synthetic biology. At crossroads between molecular biology and engineering, synthetic biology is a science trying to crack the code of life by building it. I want to understand how DNA governs many facets of biological life forms from microscopic regulations at the cellular level to such macroscopic phenomena as senescence, cancer, intelligence and self-awareness. I want to pursue research on building cellular machineries that can perform “simple” defined tasks. Ultimately, I want to design a framework genome that would serve as a platform for programming microbes or cellular machines.
In fact, building such a synthetic genome is a reality still far into the future. Currently, I am set out for an interim research goal: given a mathematical model of a synthetic genetic circuit, determine the what and how of in vivo measurements in terms of resolving discrepancies between the model and the world. This research calls for other enabling studies such as microfluidics, molecular quantification and directed evolution. I have background both in computing and biochemistry. I have worked on various projects involving robotics, artificial intelligence, process control, neural cell recording, animal behaviour measurement and molecular biology. Some of the species worked on include UNIX posix, Linux ubuntu, MacOS leopard, Windows seven, Rattus norvegicus (rodent), Macaca radiata (macaque), Escherichia coli, Clostridium difficile and Bacillus subtilis.