Modeling Biology with Solver-Aided Programming Languages
Department: Computer Science
Quarter:
Seminar Date: Oct 24, 2014
Speaker Name:
Ras Bodik
Ras Bodik
Organization:
University of California, Berkeley
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 …
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…
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
Harry Xu
Host Notes:
Co-Sponsored by NetSys
Co-Sponsored by NetSys
Alt Text:
Video: