BSc Thesis title: Software refinement techniques for green engineering in IoT systems (2024)

– co-supervised with FORTH ICS (https://ics.forth.gr/) & U of Crete (https://www.csd.uoc.gr/en)