Jamil Ahmad

Affiliation

Department of Computer Science and Information Technology, University of Malakand, Khyber Pakhtunkhwa, Pakistan

Topic

Petri Nets,Static Graph,3D Protein Structure,3D Structure,3D Structure Determination,Ab Initio,Activation Of Bcl-2,Active Edge,Active Site,Archaea,Arrhythmogenic Right Ventricular Cardiomyopathy,Autoimmune Diseases,Automata Network,Basis Of Score,Bcl-2 Gene,Biological Entities,Biological Pathways,Biological Regulatory Networks,Boolean Model,Calpain-2,Catenin Pathway,Chronic Disruption,Circadian Clock,Circadian Disruption,Circadian Rhythm,Clock Proteins,Complex Systems,Computational Modeling Techniques,Cut Set,Cycle System,DOPE Score,Decrease In Expression,Dependency Graph,Directed Graph,Disease Status,Divergence Time,Drug Design,Drug Targets,Energy Minimization,Experimental Restraints,Fixed Point,Fulminant Hepatitis,Homology Modeling,Hydrophobic Bonds,IL-1beta,Identification Of Genes,Immune Response,Interleukin-17,Intramolecular Interactions,Jupyter Notebook,

Biography

Jamil Ahmad received the Ph.D. degree in model-checking and systems biology from the Ecole Centrale de Nantes, France, in 2009. He is currently working as a Professor with the Department of Computer Science and Information Technology, University of Malakand, Pakistan. Since 2004, he has been working on the formal modeling and verification of biological regulatory networks. He was a Postdoctoral Fellow with the University of Konstanz, Germany, in 2009, and Stratford University, USA, in 2016.