Welcome to my personal page. I am a software engineer at

, a subsidiary of the state-owned company

responsible for building and operating Norway's electricity grid. The main activity of Elhub is to aggregate all the electricity production and consumption data of the country into a single database, which is then used as a reliable source of information by all market parties, both end users (consumption monitoring) and intermediaries (billing, forecasts). More specifically, I am working on an R&D project linked to the need for flexibility in the European electricity market, due to the increasing use of renewable energy sources, which are more volatile and less predictable. The software under study would help the network become more resilient against variations in production, thus keeping energy prices at a reasonable level.

Prior to this position, I completed a PhD in Computer Science at Nantes University, under the supervision of

(

) and

(

), about proof automation in the

proof assistant.

This website is available in several languages. Just use the button at the top right-hand corner.