|
|
... |
Algebras
de Processos para Biologia: |
O
que é?
É uma
área de pesquisa destinada a descrever processos celulares
e biomoleculares através de álgebras e calculos
de processos. Algumas ferramentas e frameworks teóricos
tem sido criados com este intuito, tendo obtido esta área
uma rápida evolução.
Referências:
- Luca
Cardelli Home Page :pesquisador da Microsoft e criador do
Ambient Calculus e do Brane Calculus, bem como outras formalizações
pertinentes à biologia.
- BioSPI
Project
é a implementação de um simulador e verificador
de Pi-Calculus estocástico, próprio para a descrição
e simulação de processos biológicos.
|
|
Meu
trabalho na área:
- Estudos na
área de especificação formal para biologia,
utilizando-me tanto de Pi-calculus quanto Ambient-Calculus.
- Estudos de
frameworks teóricos e cálculos de processos utilizados
nesta área.
- Estudos de
Biologia Celular e Molecular.
|
|
|
|