His current research interests are mainly in the domain of wireless sensor network applications, in devising a design methodology for Building Automation Systems (BAS) applications. Furthermore, he works in the field of formal verification applied to continuous time systems, and in applying automated synthesis to the design of analog components. Alberto holds two pubblications in reknown conferences.