https://lancaster-university.github.io/loco2026 The carbon footprint of ICT is rising despite the urgent need to decarbonise society and to stay within planetary boundaries. The operational and embodied carbon emissions from ICT are …
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …
In their Capstone project, Nivetha, Sevhena, and Tanveer developed a method and tool for engineering energy-efficient software coode. They will now look to extend their contribution and seek publication at …
I had the pleasure to discuss this important topic with renowned colleagues at the 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025). It was encouraging to see …
Our paper Bridging the Silos of Digitalization and Sustainability by Twin Transition: A Multivocal Literature Review, co-authored with Baran Shajari (graduate student in our lab) has been accepted for the …
Our paper on SusDevOps: Promoting Sustainability to a First Principle in Software Delivery has been accepted for the New Ideas and Emerging Results (NIER) track of the 2025 edition of …
The Sustainable Systems and Methods Lab (SSM) is looking for a highly ambitious student to fill a fully-funded PhD position on sustainable and green software engineering, with a start in …
https://locos.codeberg.page/loco2024/ The 1st International Workshop on Low Carbon Computing (LOCO 2024) will bring together researchers and practitioners with a keen interest in low carbon and sustainable computing. The workshop will …
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …