Skip to main content

Modeling Biology with Solver-Aided Programming Languages

Department: Computer Science

Quarter:

Seminar Date: Oct 24, 2014

Speaker Name:
Ras Bodik

Organization:
University of California, Berkeley

Start Time:

End Time:

Speaker Website:

Bio:
Ras Bodik is a Professor of Computer Science at UC Berkeley. He works on a range of techniques for program synthesis, from programming by demonstration, to sketching, and solver-aided languages. His …

Photo Link:

Summary:
A good model of a biological cell exposes secrets of the cell's signaling mechanisms, explaining diseases and facilitating drug discovery. Modeling cells is fundamentally a programming problem --- i…

Notes:

Host:
Harry Xu

Host Notes:
Co-Sponsored by NetSys

Alt Text:

Slides:

Video:


Skip to content