Vasileios Koutavas

This project will involve improvements in the software used for running SCSS Student Surveys. It is fairly open ended and specific targets will be decided in discussions with the assigned student. The technologies used will be mostly programming in python, data processing, web technologies, and Survey Monkey API programming.

[Multiple projects] Smart Contracts (SCs) are a cornerstone technology for decentralised finance and decentralised applications which are in the core of Ethereum. Of particular urgency is the problem of security for SCs as high financial incentives make them a prime target for attacks, and blockchain immutability make them impossible to fix once deployed. Numerous exploits … Read more

Regression verification has been proposed as an alternative to regression testing to combat the drawbacks of the latter. Using regression verification, a verification task is employed to formally prove that an incremental change does not disturb established software behaviour. The benefits of this approach include that, for reasonably confined modifications, verification may be less costly … Read more

This project will look into parallel algorithms in the OCaml programming language. OCaml will soon release version 5.0 which will support parallelism. Currently OCaml 5.0 is under development but accessible to use as beta. The goal will be to explore the performance and use of parallel algorithms in order to speed up the execution of … Read more

Combine machine learning/Large Language Models and programming language approaches to create a system that detects null pointer exceptions in C programs. There are multiple projects available in this area which range from integrating LLMs in existing verification tools to decide optimal tool paramteres, to employ ML heuristics to search the large statespace in verification tools … Read more