A5060855898- Blockchain Technology Applications and Security
- Gene Regulatory Network Analysis
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Multi-Agent Systems and Negotiation
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Cryptography and Data Security
- Service-Oriented Architecture and Web Services
- Bioinformatics and Genomic Networks
- Auction Theory and Applications
- Simulation Techniques and Applications
- Microbial Metabolic Engineering and Bioproduction
- Scientific Computing and Data Management
- Neural dynamics and brain function
- Logic, programming, and type systems
- Complex Systems and Decision Making
- Genomics and Phylogenetic Studies
- Neuroscience and Neuropharmacology Research
- Software Engineering Research
- FinTech, Crowdfunding, Digital Finance
- Distributed and Parallel Computing Systems
- Cloud Computing and Resource Management
- Advanced Database Systems and Queries
- Internet Traffic Analysis and Secure E-voting
University of Turin
2024
University of Stirling
2014-2023
Zhejiang University
2019
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
2010-2018
University of Edinburgh
2018
University of Pisa
1999-2010
Smart Contracts have gained tremendous popularity in the past few years, to point that billions of US Dollars are currently exchanged every day through such technology. However, since release Frontier network Ethereum 2015, there been many cases which execution managing Ether coins has led problems or conflicts. Compared traditional Software Engineering, a discipline Contract and Blockchain programming, with standardized best practices can help solve mentioned conflicts, is not yet...
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for different, often undisclosed, purposes, making the rich increasingly growing source valuable information, in part difficult interpretation. Many data analytics have been developed, mostly based on specifically designed ad-hoc engineered approaches. We propose general-purpose framework, seamlessly supporting both Bitcoin...
Smart cities leverage Information and Communication Technologies (ICTs) to enhance the quality of urban services. However, it is nowadays clear that success a smart city largely depends on level engagement its citizens. In this paper we explore what extent disruptive blockchain technologies can be used incentivise democratic participation citizen. The investigated approach extends standard IoT cycle 1) sense data, 2) cloudify elaborate them, 3) push information users. Here, user takes an...
PROSOCS agents are software that built according to the KGP model of agency. is used as a for mind agent, so agent can act autonomously using collection logic theories, providing mind's reasoning functionalities. The behavior controlled by cycle theory specifies agent's preferred patterns operation. implementation generic functionality in worked out such way it be instantiated platform different across applications. In this context, development concrete example illustrates how an developer...
Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investigated to be precisely modeled virtual experiments performed silico. Such may result easier, faster, satisfying approximations their vitro/vivo counterparts. A promising approach represented by study biological as collection interactive entities through process calculi equipped with stochastic semantics. exploit grounds developed...
Haplotype phasing is an important problem in the analysis of genomics information. Given a set DNA fragments individual, it consists determining which one possible alleles (alternative forms gene) each fragment comes from. information relevant to gene regulation, epigenetics, genome-wide association studies, evolutionary and population study mutations. Haplotyping currently addressed as optimisation aiming at solutions that minimise, for instance, error correction costs, where costs are...
Metabolic networks present a complex interconnected structure, whose understanding is in general non-trivial task. Several formal approaches have been developed to support the investigation of such networks. One relevant problems this context comprehension causality dependencies amongst molecules involved metabolic process. We apply techniques from methods and computational logic develop an abstract qualitative model order determine possible causal dependencies. Keeping mind both...
Pervasive environments offer an increasing number of services to a large people moving within these including timely information about where go and when. People using interact with the system but they are also meeting other performing activities as relevant opportunities arise. The design such systems analysis collective dynamic behaviour them is challenging problem. In previous work we have successfully explored scalable stochastic process algebraic models smart signage systems. this paper...