La ricerca intende sviluppare l'analisi di diversi temi di calcolo molecolare, per conseguire approfondimenti e risultati che pongano le basi per la costruzione e sperimentazione di modelli simbolici di dinamiche cellulari piu' maturi di quelli disponibili allo stato attuale dell'arte. I temi su cui si focalizzera' la ricerca si possono riassumere come segue:
- Analisi algoritmica ed informazionale della struttura del DNA.
- Sistemi a membrane e, in particolare, vari tipi di P-sistemi, loro estensioni e appplicazioni con particolare riguardo ai sistemi con comportamenti periodici complessi e con fenomeni di risonanza.
- Problemi combinatori legati ai temi precedenti e alle codifiche DNA di problemi NP-completi.
- Algoritmi di allineamento basati su sistemi a membrana.
- Formalizzazioni di specifici meccanismi regolatori della cellula attraverso strumenti simbolici del calcolo DNA e dei sistemi a membrane. Studio di casi notevoli.
