Informatica Seminar, Vincenzo Manca, 21 June 2006

Vincenzo Manca, Professor of Computer Science
Universita' degli Studi di Verona

Titolo: "DNA e Membrane Computing": modelli di processi biomolecolari.

2:30pm Sala di Riunione
via Carloni 78

Abstract:
Il DNA Computing e' un campo di ricerca
introdotto da Adleman nel 1994, volto alla
soluzione di problemi NP completi mediante
tipiche operazioni biotecnologiche su codifiche
DNA dei dati. Il Membrane Computing e' un modello
di calcolo introdotto da Paun nel 1998, ispirato
dalla struttura cellulare. In entrambi i campi e'
emerso sempre di piu' l'interesse a utilizzare
gli strumenti formali di tali modelli nella
descrizione e nella analisi di fenomeni
biomolecalari (anche se a livelli diversi). Si
traccera' un quadro di queste problematiche,
accennando ad alcune ricerche e ad alcuni
risultati in cui la componente sperimentale e'
stata sviluppata in cooperazione con il
dipartimento di Patologia Generale
dell'Universita' di Verona.