생물정보학 세미나 공지

 

서울대학교 생물정보연구소와 생물정보학 협동과정 공동 주최로 특별 세미나를 아래와 같이 열고자 하오니, 많은 참여 바랍니다.

 

일시: 2016. 8. 11.(목) 11:00

연사: Gustavo Santos-García (University of Salamanca)

장소: 220동 625호

 

Title :  Nerve Growth Factor Signaling - Reachability Analysis Approach in Cancer Cell Proliferation and Survival

 

Abstact:

Systems biology attempts to understand biological systems by their structure, dynamics, and control methods. Nerve growth factor (NGF) is a neuropeptide involved in cellular signaling that binds specific cell surface receptors in order to induce cellular proliferation and survival in different cell types or cell contexts. 

In this seminar, a reachability analysis is performed and common elements in all possible solutions in our cases of interest are computed. It is carried out through Pathway Logic, which constitutes a rewriting logic formalism that provides a knowledge base and development environment to carry out model checking, searches, and executions of signaling systems. 

In conclusion, it is shown a symbolic system that explores complex and dynamic cellular signaling processes that induce cellular proliferation and cellular survival.

 

Bio:

Research experience

The main lines of research in which I have worked are: Automatic Speech Recognition, Artificial Intelligence Applied to Medicine and Mathematical Logic. Currently I work in the Spanish projects: “Software Development High Quality, Reliable, and Secure Distributed” (DESAFIOS10) and “Technologies and tools for Resource-Aware, Correct, Efficient Software” (TRACES).

I highlight research visits I have made in the United States (1993, 1994, 1995 and 2010) in SRI International, Stanford University and University of Illinois at Urbana-Champaign. There I worked with the group led by profs. Meseguer and Talcott. I've also made ​​other long stays in Bucharest and Iasi (Romania) and Università degli Studi di Firenze (Italy). I emphasize lectures I gave at different universities in Romania (1994 and 1996), SRI International and Stanford University (1993, 1994 and 1995), and SNU (2014).

Education

I studied Mathematics studies at the University of Salamanca (1986). I developed my doctoral thesis at CSIC under the direction of prof. R. Villar. I developed several techniques of pattern recognition and Artificial Intelligence for automatic speech recognition. I defended my doctoral thesis at the University of Valladolid (1993). In 1995, I was appointed as International Research Fellow at the Computer Science Laboratory, Stanford Research Institute International (Menlo Park, California, USA).

Puplications

Gustavo Santos-García, Javier De Las Rivas, Carolyn Talcott: A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. Advances in Intelligent Systems and Computing, Volume 294, 2014, pp 207-214.

Gustavo Santos-García, Carolyn Talcott, Javier De Las Rivas: Analysis of cellular proliferation and survival signaling by using two ligand/receptor systems modeled by pathway logic. In: HSB 2015. Revised Selected Papers, 2015, pp. 226–245.

Gustavo Santos-García, Carolyn Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas, Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach. In: Mohamad et al. (Eds.), Advances in Intelligent Systems and Computing, Springer, 2016, pp. 173–181.

 

 

 

 

서울대학교 생물정보연구소

생물정보학 협동과정 공동주최