Special Topics in Computational Biology: Formal Methods in Systems Biology 15-872(A)

This course is cross-listed as: CMU 02-730

Instructors

Chris Langmead, WeH 4103; cjl at cs.cmu.edu

James Faeder, BST3 (U. Pitt); faeder at pitt.edu

Credits: 12

Description
This course will cover advanced methods for modeling and reasoning about the dynamics of biological systems. Emphasis will be placed on emerging techniques that complement those based on differential equations and machine learning. Specific examples include Rule-based modeling, Process Algebras, Petri Nets, Hybrid Systems, as well as well as applications of model checking and type theory. Students will be asked to present and to provide written summaries of recent papers, and to complete a course project of their own design.

Course Wiki