Shahab Tasharrofi

Tutkijatohtori

Organisaatiot

Koulutus / tieteellinen pätevyys

  • Fil. toht., Simon Fraser University

  • Knowledge representation and reasoning, Constraint Programming, Declarative Programming, Formal Verification, Logic programming, Computational logic

ID: 100055