OLISSIPO LECTURE: “Integer Linear Programming and SAT-Solving in Computational Biology” by Prof. Dan Gusfield (University of California)

OLISSIPO LECTURE: “Integer Linear Programming and SAT-Solving in Computational Biology” by Prof. Dan Gusfield (University of California)

On February 15, at 10:00, the OLISSIPO project will host an online talk (live transmission) by Prof. Dan Gusfield, from the University of California. The talk is titled “Integer Linear Programming and SAT-Solving in Computational Biology”.

Date & Time: February 15, 10:00 – 11:00
Where: Online via Zoom (here) or at INESC ID Alves Redol Building I Room 336 (3rd floor) (live transmission)

Abstract: “In this talk I will explain how to use Integer Linear Programming for problems in computational biology, focussing on the problem of RNA folding. This approach has been very successful for a wide range of problems in computational biology. In writing a book on integer programming in computational biology (2019), I examined in depth about 50 such problems. Most solved successfully with ILP. However, there were a few that did not. Then students and I tried using SAT-solving on those harder problems and found that it was more successful on those problems than was ILP, giving another computational tool for computational biology that complements ILP.”

Bio: Prof. Emeritus Dan Gusfield started work in computational biology (around 1982) before the field had a name. He is a Fellow of the ISCB and ACM and was the founding Editor-in-chief of the IEEE/ACM Transactions on Computational Biology and Bioinformatics, and wrote three books on topics in computational biology (plus two others including one that appeared just last week: Proven Impossible). He wrote the first paper indexed in PubMed with the term “computational biology”. He worked (part-time) at the first DOE Human Genome Center (before NIH became involved in the HGP) and was on the three-person (animal, vegetable, mineral) committee that wrote the proposal to establish the Genome Center at UC Davis, resulting in the largest building on the UCD campus, and hiring of multiple new faculty at UC Davis.

The event is finished.


INESC-ID, “Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer Engineering. INESC-ID mission is to produce added value to people and society, supporting the response of public policies to scientific, health, environmental, cultural, social, economic and political challenges. INESC-ID promotes cooperation between academia and industry by addressing research on daily life issues, such as healthcare, space, mobility, agri-food, industry 4.0, and smart grids. This high level of knowledge transfer is achieved through both competitive research projects and direct contracted research. Public and private entities have therefore access to a pool of knowledge, resources and services provided through the unique competencies available at the institution.


INESC-ID is supported by:

Join our newsletter

* indicates required

Subscriber consent

The data submitted through this form will be used exclusively for the sending of INESC-ID Newsletter, NEWS-ID, and will not, under any circumstances, be shared with third parties. If you choose to, you can easily unsubscribe from the newsletter by following the link presented in the footer. In that case, your data will be automatically deleted from our information system. If you need to update your contact information or clarify any questions related to the newsletter, please contact info@inesc-id.pt. By submitting this form, you give permission to the use of your personal data according to the conditions above.

We use Mailchimp as our marketing platform. By clicking below to subscribe, you acknowledge that your information will be transferred to Mailchimp for processing. Learn more about Mailchimp's privacy practices here.