Shahab Tasharrofi

Postdoctoral Researcher

Research units & titles

Education/Academic qualification

  • Doctor of Philosophy, Simon Fraser University

Keywords

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

ID: 100055