Nabil Bastaki

• Formal Analysis of Future Energy Systems Using Interactive Theorem Proving