Log In

Roberto Sebastiani Edit Profile

researcher , Computer scientist

Roberto Sebastiani, Italian computer scientist, researcher. Achievements include research in SAT-based procedures for logical reasoning.

Background

Sebastiani, Roberto was born on March 31, 1966 in Cavalese, Italy.

Education

Master of Science in Electronic Engineering, University Padua, Italy, 1991. Doctor of Philosophy in Computer Science Engineering, University Genoa, Italy, 1997.

Career

Researcher International Trade Commission-Infra-Red Search and Track, Trento, Italy, 1997—1998, University Trento, Italy, since 1999.

Achievements

  • Achievements include research in SAT-based procedures for logical reasoning.

Works

  • Other Work

    • Contributor articles to professional journals.