- Study the Zippers library available in Python and develop strategic programming and attribute grammar libraries for Python. Study other programming languages; - Define strategy fusion techniques and implement the technique in this same formalism: as a transformation based on strategies; - Comprehensive analysis of the performance of the libraries developed and the optimization obtained with the fusion technique; - Study the impact of fusion on high-performance computing (HPC); - Write a scientific article reporting the results obtained.
- MSc Degree in Informatics Engineering
Minimum profile required
- Average of BSc degree equal to or greater than 14;- Haskell experience;- Experience with strategic programming.
- Experience with attribute grammars; - Research experience in functional programming.
Since 07 Sep 2022 to 20 Sep 2022
Cluster / Centre
Computer Science / High-Assurance Software