Welcome

Hi! I’m Marco, I am a Software Engineer with a background in academic research.

My research is focused on automated reasoning, with my PhD focused specifically on formal verification.

You can get a feeling for my research on Google Scholar.