Project 1: High assurance software development in a LCNC platform using model checking
Project 2: Developing application domain-specific characterisations using module and type taxonomies in a LCNC environment
Project 3: AI-supported Spray Drying Process Monitoring and recommender system on the WAVE Platform
Project 4: Transfer learning for OCS bases corpora transcription from Arabic to Urdu
Project 5: AI-supported migration from monolithic code to reusable components and services in a LCNC platform
Project 6: AI supported compilation of LCNC component-based design for Python and R to Jupyter notebooks