This site is supported by donations to The OEIS Foundation.

User:Marco B. Caminati

From OeisWiki
Jump to: navigation, search

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