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.