logo

Projeto Biologia Sistêmica

Projeto Biologia Sistêmica

 

Nesse projeto, utiliza ferramentas de verificação formal probabilística para modelar e analisar sistemas biológicos e entender melhor seu comportamento. O uso de métodos formais nos permite criar modelos de previsão que podem descobrir eventos raros, porém importantes, que seriam de outro modo ignorados. Atualmente, estamos estudando sistemas de transporte de íons através da membrana das células, nomear bombas e canais de íons, e como eles reagem à presença de toxinas. Esses sistemas são importantes estruturas celulares que podem por em risco um indivíduo se seu comportamento normal para comprometido. Algumas toxinas tais como palytoxinas podem romper o comportamento normal da bomba de íon, essencialmente se transformando em um canal de íon.