This site is supported by donations to The OEIS Foundation.
User:Marco B. Caminati
From OeisWiki
I am currently a PDRF in Computer Science at University of St Andrews. I hold a PhD in Mathematics, and my main research interests are: formal methods, mathematical logic and computational algebra.
My (crude) homepage is: caminati.co.nr