Gordon is interested in the formal aspects and applications of blockchain technologies and smart contracts from the perspective of more dependable computing and services. He is currently working on verification techniques for smart contracts and the use of distributed ledgers for safer systems.
Mireille is lecturer in EU Information Technology Law within the Faculty of Laws, University of Malta. Her research interests span a set of topics relating to the information age that raises new political, social, and economic issues, and requires consideration of appropriate legal and regulatory approaches to tackling them, normally outside of traditional legal paradigms.
JP's interests lie in bioinformatics data, more specifically using blockchain technology for biomedical data. He also has a keen interest and lectures several modules in Data Science. One research area he intends to pursue is building (data) analytical tools for the blockchain.
Claudia is a lecturer with the Department of Artificial Intelligence. She is interested in the computational analysis of language exchanges that occur in digital ledgers, with the aim of extracting meaningful information using Natural Language Processing and Machine Learning techniques.
Vince is a Lecturer within the Department of Artificial Intelligence. His main interests revolve around Computational Finance. With respect to blockchain technology, he is interested in the overlap between AI and blockchain particularly in the areas of AI Managed Funds, decentralized AI utilizing smart contracts, data standardisation and discovery, and regulatory frameworks.
Adrian Francalanza's interests in Blockchain are:
1. Create abstractions that assist the construction of smart contracts that are correct-by-design.
2. Devise specification logics and algorithms to verify the correctness of smart contracts statically, before they are executed and permanently recorded.
Mark is a Lecturer within the Department of Computer Science. His main interest lies in the study of exploits and malware that target Blockchain frameworks, and and in turn leverage the enhanced trustworthiness to implement distributed access control that minimizes reliance on trusted third parties.
Chris is a Lecturer within the Department of Computer Information Systems. Chris is working on applying techniques from HCI and human factors to study and mitigate risks associated with information anxiety in software engineering practices as well as risks arising from usability issues in software artefacts.
Neville is a Reach High Postdoctoral Fellow in Computer Science specialized in applied programming languages and declarative program analysis. His current research focuses on decompilation and program analysis of smart contracts deployed on the blockchain for finding security and scalability issues.
Brandon is a PhD candidate within the Department of Communications & Computer Engineering. His main interest lies in the engineering of decentralised applications and the integration of AI and blockchain technology. He is also interested in performance and scalability for the blockchain ecosystem.
Smart contracts are intended to automate the performance and manage interaction in a contract. However, on certain platforms such as Ethereum, such contracts are programmed using a Turing complete instruction set which raises issues of correctness and conformance to the intended behaviour as recent heists based on vulnerabilities found in existing contracts have shown. In particular, one can also envisage situations in which contracts may be engineered by malicious developers to include shrouded corner cases to benefit particular participants, which will be exploited at a later date. In order to address such situations, we are currently looking at ways of monitoring contract behaviour against a specification, in order to flag unexpected behaviour and act accordingly. In addition, in order to avoid having the additional checks increase gas consumption unnecessarily, we are using static techniques to avoid checking parts of such specifications which can be proved statically.
Blockchain technology and smart contracts provides decentralised, verifiable and tamper-proof means of sharing state and the computation of.
The Internet of Things, by integrating smart and connected objects with commodities and services, promises to enhance our day to day lives.
The integration of IoT with Blockchain technology and smart contracts will enable agreements that enable guaranteed automation of physical processes.
Programming of blockchain smart contracts and connected systems typically entails the development of the following separate applications:
(i) the internal blockchain smart contract logic; (ii) blockchain edge nodes that coordinate other external systems; and (iii) the aforementioned external systems. Therefore, developers are typically required to acquire a varied skill set of programming paradigms and tools.
In aim of lowering the development costs of blockchain and blockchain edge systems, we are undertaking research on macro-programming techniques for blockchain edge systems and the smart contracts that bind them.
The execution of smart contracts within a blockchain is typically associated with a cost. In aim of reducing execution costs, we are looking into optimisation techniques within the Virtual Machine layer.
Most Blockchain Virtual Machines being used in the wild internally operate on generic intermediate representation types. We are looking into making use of blockchain specific intermediate representation types that would enable execution efficiency and a more suitable platform for verification.
June 11th at BusinessLabs. See the below facebook event for more details:
April 17 at the Institute of Digital Games. See the below facebook event for more details:
Friday 23rd February 2018 at 6PM-8PM; continued on Saturday from 10AM-12PM
Saturday 24th - Sunday 25th February 2018