

St. Mary's Hall S277
Telephone: 617-552-3964
Email: muller@bc.edu
Computational systems biology and in the development of formal, machine-executable specifications of cellular processes. He is also interested in the application of type systems to the design and implementation of reliable and efficient programming languages.