Linguaggi di programmazione, Informatica teorica, Bioinformatica (vedi pubblicazioni ).
In particolare ho studiato i seguenti argomenti:
-trasformazione di programmi.
Strategie per trasformare, ottimizzare o specializzare programmi
logici. Individuazione delle condizioni restrittive, sia semantiche che
sintattiche, in grado di assicurare che le operazioni elementari su cui si
basano le strategie di trasformazione, quali l'introduzione di una nuova
definizione, fold, unfold e replace, mantengano le proprietà che si
giudicano interessanti per il programma. Tali proprietà quali i risultati
calcolati, la terminazione, i fallimenti finiti, vengono rappresentate da una
particolare definizione semantica che induce un'equivalenza tra programmi.
-verifica di proprietà dei programmi.
Tecniche, prevalentemente statiche, per verificare la terminazione dei
programmi logici e la loro correttezza e completezza rispetto ad una specifica
astratta di proprietà desiderate.
Attualmente mi interesso di problemi nel campo della
biologia computazionale
(vedi pubblicazioni ).
In particolare:
- Tecniche per l'individuazione di sequenze "interessanti" all'interno di
sequenze biologiche e per la loro rappresentazione compatta.
- Formalismi per sistemi biologici complessi e per vie metaboliche.
Si intende studiare come utilizzare le reti di Petri
per modellare ed analizzare le vie metaboliche.
Verranno sviluppati tool per la traduzione automatica
da via metabolica a rete di Petri e per la comparazione e l'analisi di vie
metaboliche.