Skip to content

Current Topics

  • 2018 - current
    Cyber Security

    Currently works on the development of malware detection techniques, in particular for botnets, assisted by machine learning algorithms.
    Keywords: Malware detection, Botnet, Machine learning

  • 2009 - current
    Knowledge Engineering

    Currently works on the development of an innovative formalism for the qualitative description of spatial knowledge and on an information extraction system for heterogeneous sources that integrates known extraction techniques based on the information structure with a methodology that makes use of the visual appearance of the information. Also worked on lightweight formalisms for the description of software systems dynamics and use cases.
    Keywords: Visual Information Extraction , Spatio-Temporal Knowledge 


Past Topics

  • 2008 - 2016
    Planning and Control

    Currently works on the application of model checking techniques to planning and control problems. In the control field, he has developed algorithms for the generation of robust numerical controllers for high complexity systems, including hybrid and nonlinear systems. The same approach was then used in the planning field: in this case, algorithms based on model checking techniques have been adapted to work on the universal planning of nonlinear hybrid systems and, more recently, on the cost-optimal strong planning. These algorithms have been experimentally proved to be very scalable, and are able to handle dynamics and problems of size and complexity that are out of range for most of the current state-of-the-art planners.
    Keywords: UPMurphi Planner , Optimal controller generation through model checking techniques, Universal planning through model checking, Planning and control for discrete-time hybrid systems, Strong planning

  • 2004 - 2016
    XML Technologies

    Works on several different technologies in the XML ecosystem: in this field, he developed a mapping methodology to interface legacy databases with XML data exploiting XML Schemas and a technique for the automatic verification (through model checking) of XSLT transformations.
    Keywords: XML and RDBMS Integration , XML and Requirements Engineering 

  • 2000 - 2008
    Model Checking

    Was formerly a member of a team working on new model checking algorithms exploiting probabilistic properties of transition graphs and intelligent use of secondary memory storage. He developed and maintained these algorithms in the well known model checker Murphi from Stanford University.
    Keywords: CMurphi Verifier , State Space Caching Techniques , Hybrid systems model checking, Stochastic Systems model checking, Fuzzy Control Systems Model Checking

  • 1998 - 2000
    Programming Languages

    Formerly worked on object oriented languages, in particular on the development of an advanced type system to port Java-like static security checks to C++ code.