Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits

Hasan Baig is currently serving as a Postdoctoral Research Fellow at University of Connecticut (UConn Health) USA, where he is working on the development of cloud-based computational biology tools. Earlier, he served as an Assistant Professor at Habib University, Pakistan where he was involved in teaching undergrad courses related to computer science and electrical engineering. More specifically, he designed and taught courses related to digital embedded systems and processor architecture. Hasan also developed customized software/hardware experimentation platforms to help students in performing interactive laboratory experiments related to these courses. The resources can be accessed freely at https://www.hasanbaig.com/resources. Besides this, he is also actively involved in supervising undergrad and postgraduate research projects related to genetic design automation and FPGAs. He is also serving as an editor to Synthetic Biology Open Language (SBOL) which is an open standard for the representation of in silico biological designs. He has published several peer-reviewed journal, conference, and workshop research papers, and also hold international patents. Besides teaching and research, he has also worked for design industries based in USA, South Korea, and Pakistan, where he worked on different projects including human-machine interface development for bio-electronic devices; development of USB 3.0 PHY layer controller; NAND-flash based solid state data storage devices; different software for car tracking, remote monitoring of fuel tanks etc. Inspired from electric and genetic technologies, he has founded a company named ElepTic (ELEctric Plus geneTIC) Technologies which focuses on the development of integrated electronic and genetic development platforms.

Hasan holds a PhD degree in Computer Science (genetic design automation) from the Technical University of Denmark. During his doctoral studies, he worked on a future emerging technology in the domain of Design Automation for Synthetic Biology. His contribution in this field is to develop methods, algorithms and tools for the analysis, verification and synthesis of genetic logic circuits. Earlier, he obtained his MS (Computer Engineering) and BE (Electronic Engineering) from Chosun University (South Korea) and NED University (Pakistan), respectively. His research interests include genetic design automation, embedded systems design, fault-tolerant systems, programmable genetic design platforms, and microfluidic platforms.

Jan Madsen is Full Professor in Computer-Based Systems and Deputy Director of the Department of Applied Mathematics and Computer Science (DTU Compute), Technical University of Denmark (DTU). He is heading the section on Embedded Systems Engineering at DTU Compute, which are doing research in embedded and cyber-physical systems related to the computing continuum from sensor to cloud. His research interests include design, modelling, analysis,optimization and construction of microelectronic, microfluidic and microbiological computing systems. He has published more than 200 peer-reviewed journal and conference papers, 13 book chapters, 3 books and 4 edited books. He is national ICT expert for the European Research Programs; Horizon 2020 and Horizon Europe, and was national member