Marco Lewis

Marco Lewis

Postdoc researcher at QuaCS with Inria; researching quantum computing and formal verification

Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Hello World!

less than 1 minute read

Published:

This is a late Hello World post for my website/blog. I intend on using this website to keep updates on my current work and other tools and I will be making occasional blogs. The blogs will be a mix of ideas, thoughts and reports on some of my experiences (such as the trip report I wrote last month). Don’t expect the blog posts to be too frequent, but I’ll see what I upload.

CONFEST 2023 Trip Report

6 minute read

Published:

A few weeks ago, Paolo (my supervisor) had introduced me to the EWD (Dijkstra) notes. While I was aware of Dijkstra as a computer scientist, he had written out notes to colleagues about many different things. One type of note he distributed was trip reports where he would write about visits he would make. I quite like the idea and thought why not make my own trip reports. This will be the first one I write and I’ll see if I write more in the future.

portfolio

publications

talks

teaching

Demonstrator/Teaching Assistant

Undergraduate courses, Newcastle University, School of Computing, 2021

Demonstrated in labs for numerous courses at Newcastle University’s School of Computing.