This site is supported by donations to The OEIS Foundation.
User:Gianluca Amato
From OeisWiki
Academic Position and Education
- Associate Professor in Mathematical Logic, Università di Chieti-Pescara, Italy
- PhD in Computer Science, Università di Pisa, Italy
- Diploma degree from Scuola Normale Superiore di Pisa
- BSc in Computer Science, Università di Pisa, Italy
Research interests:
- Static analysis of programs
- Categorical and algebraic models of logic programming
- Number theory (integer sequences; weird numbers)