Falah Awwad

• Formal Analysis of Future Energy Systems Using Interactive Theorem Proving