Tematiche attuali
- 2018 - oggi
Cyber Security
Lavora allo sviluppo di tecniche di malware detection, con particolare riguardo per le botnet, assistite da algoritmi di machine learning.
Keywords: Malware detection, Botnet, Machine learning - 2009 - oggi
Knowledge Engineering
Attualmente lavora allo sviluppo di un formalismo per la descrizione qualitativa della conoscenza spaziale e su un sistema di information extraction da fonti eterogenee che integra tecniche note di estrazione basate sulla struttura dell'informazione con una metodologia che utilizza l'aspetto visivo delle informazioni stesse. Ha lavorato anche su formalismi leggeri per la descrizione delle dinamiche dei sistemi software e dei casi d’uso.
Keywords: Visual Information Extraction , Spatio-Temporal Knowledge
Tematiche precedenti
- 2008 - 2016
Planning e Controllo
Lavora sull'applicazione delle tecniche di model checking ai problemi di planning e controllo. Nell’ambito del controllo, ha sviluppato algoritmi per la generazione di controllori numerici robusti per sistemi di elevata complessità, compresi i sistemi ibridi e non lineari. Lo stesso approccio è stato poi utilizzato nel campo della pianificazione: in questo caso, gli algoritmi basati sulle tecniche di model checking sono stati adattati per lavorare all’universal planning di sistemi ibridi non lineari e, più di recente, al cost-optimal strong planning. Questi algoritmi hanno sperimentalmente dimostrato una notevole scalabilità e sono in grado di gestire dinamiche e problemi di dimensioni e complessità irraggiungibili per la maggior parte dei correnti planner allo stato dell'arte.
Keywords: UPMurphi Planner , Generazione di sistemi di controllo ottimi tramite tecniche di model checking, Universal planning tramite tecniche di model checking, Controllo e planning per sistemi ibridi a tempo discreto, Strong planning - 2004 - 2016
Tecnologie XML
Lavora su diverse tecnologie nell'ecosistema XML: in quest’ambito ha sviluppato una metodologia di mappatura per interfacciare database legacy con dati XML attraverso gli Schemi XML e una tecnica per la verifica automatica (tramite model checking) delle trasformazioni XSLT.
Keywords: Integrazione XML nei RDBMS , XML e Requirements Engineering - 2000 - 2008
Model Checking
È stato membro di un gruppo di lavoro per la definizione di nuovi algoritmi di model checking basati sulle proprietà probabilistiche dei grafi di transizione e sull'uso intelligente della memoria secondaria. Ha sviluppato e mantenuto questi algoritmi nel noto verificatore software Murphi della Stanford University.
Keywords: CMurphi Verifier , Tecniche di state space caching , Model checking di sistemi ibridi, Model checking di sistemi stocastici, Model checking di sistemi di controllo fuzzy - 1998 - 2000
Linguaggi programmazione
Ha lavorato sui linguaggi orientati agli oggetti, in particolare allo sviluppo di un sistema di tipi avanzato per realizzare controlli di sicurezza statici Java-like sul codice C++.