1. Formal Methods for Genomic Data Integration Open Access Author: Shah, Nigam Title: Formal Methods for Genomic Data Integration Graduate Program: Integrative Biosciences Keywords: Microarrayontologymodeling biological processesknowledgebases File: Download Formal_methods_for_Genomic_data.pdf Committee Members: Nina Fedoroff, Committee Chair/Co-ChairMark Shriver, Committee MemberWojciech Makalowski, Committee MemberFrancesca Chiaromonte, Committee MemberGustavo A Stolovitzky, Committee Member