Home

Research

Publications

Teaching

Algorithms for Computational Structural Biology

15-879/03-714: Spring 2007

This course is an introductory survey of the algorithmic techniques used in the field of structural biology.

Open to graduate students from SCS and MCS and others by permission

Next offered: Spring 2010

Previously offered: Fall 2004, Spring 2007

Formal Methods in Systems Biology

15-872A: Spring 2008:

This is a seminar-style course on the use of formal methods in modeling biological systems. Topics will include applications of model checking, algebraic methods, rule-based modeling, and type theory.

Open to graduate students from SCS and MCS and others by permission

Next offered: Spring 2011

Previously offered: Spring 2008

Advanced Algorithms for Computational Structural Biology

15-873A

This is a seminar-style course on the current literature in computational structural biology.

Pre-req:  15-879A, or permission of the instructor

Next offered: Spring 2009

Previously offered: Spring 2005, Fall 2005

Fundamental Data Structures and Algorithms

15-211: Fall 2005, Fall 2006, Fall 2007, Fall 2008