Nuovi modelli computazionali (come reti neurali, sistemi bio-molecolari, sistemi evolutivi), linguaggi formali e loro apprendimento computazionale, linguaggi formali come modelli di meccanismi bio-chimici.
Problemi collegati ai risvolti applicativi di questi argomenti, in particolare nella bio-informatica (un esempio: progettazione ottimizzata di DNA-microarray).
Tecnologie di rete, sicurezza, sistemi operativi, sviluppo software con le tecnologie open-source.
Parole chiave:
Bioinformatica; Tecnologie di rete
Pubblicazioni:
C. Ferretti, G. Mauri, Gh. Paun, C. Zandron (2003). "On three variants of rewriting P systems". In: Theoretical Computer Science, vol. 1-3, n. 301, pp. 201-215.
D. Besozzi, C. Ferretti, G. Mauri, C. Zandron (2003). "P systems with deadlock". In: BioSystems, vol. 70, n. 2, pp. 95-106.
C. Ferretti, G. Mauri (2004). “Remarks on Relativisations and DNA Encodings”. In: Aspects of Molecular Computing, Springer LNCS 2950.
C. Ferretti, G. Mauri, C. Zandron (eds.) (2005). DNA Computing, 10th International Workshop on DNA Computing, Springer LNCS 3384.
A. Gallini, C. Ferretti, G. Mauri (2005). “Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation”. In: GECCO 2005, Workshop Proceedings, ACM Press.