CSE 291 - Winter 2018 - Impact of formal method in biology and medicine

Instructor: Debashis Sahoo

Location: EBU3B 4140 MW 9:00am - 10:20am

Final Exam: 03/21/2018 W 8:00a-10:59a HSS 1128A

Office Hours: TBA

Syllabus

Schedule

Day Date/Time Lab/Lecture Topic
Monday 01/08/2018 Lecture 1 Introduction
Wednesday 01/10/2018 Lecture 2 Introduction
Mon 01/15/18 MLK, Jr. Holiday
Wed 01/17/18 Lecture 3 Introduction to Bioinformatics
Mon 01/22/18 Lecture 4 Introduction to Bioinformatics
Wed 01/24/18 Lecture 5 Introduction to Biological Systems
Mon 01/29/18 Lecture 6 Introduction to Tissue Organization
Wed 01/31/18 Lecture 7 Data formats
Mon 02/05/18 Lecture 8 Data formats Review, Assignment 1
Wed 02/07/18 Lecture 9 Data formats continued
Mon 02/12/18 Lecture 10 StepMiner Analysis
Wed 02/14/18 Lecture 11 StepMiner Analysis Continued
Mon 02/19/18 Presidents' Day Holiday
Wed 02/21/18 Lecture 12 StepMiner and Boolean Analysis, Assignment 2
Mon 02/26/18 Lecture 13 Boolean Analysis
Wed 02/28/18 Lecture 14 Formal Methods
Mon 03/05/18 Lecture 15 MIDReG analysis, Assignment 3
Wed 03/07/18 Lecture 16 Sequencing Data Analysis
Mon 03/12/18 Lecture 17 Sequencing Data Analysis
Wed 03/14/18 Lecture 18 Final review
Wed 03/21/18 Final Exam

Author: Debashis Sahoo