This site is supported by donations to The OEIS Foundation.

User:Gianluca Amato

From OeisWiki
Jump to: navigation, search

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)
Retrieved from "https://oeis.org/w/index.php?title=User:Gianluca_Amato&oldid=1618888"