About me:

My name is Shahab Tasharrofi and I am currently a postdoctoral fellow at the Computer Science department of Aalto University in Helsinki, Finland. My research revolves around the following subjects:

  • Logical aspects of AI
  • Knowledge Representation and Reasoning
  • Constraint Programming (CP) and Answer Set Programming (ASP)
  • Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) Solvers
  • Declarative Problem Solving and Declarative Solver Construction
  • Modular Problem Solving
  • Computational Complexity
  • Applications of Descriptive Complexity to Declarative Programming
  • Formal Verification

Recently, I have focused on declarative solver construction. That is, I am devising a declarative language that, in addition to its ability to declaratively model a problem, it can also model the process of solving that problem. Using such a language, one would be able to declaratively specify and to automatically synthesize a problem-specific solver that can refine the search process by introducing new reasoning mechanisms, new problem-specific heuristics and, new pre- and post-processing algorithms.

Contact me:

Mailing Address:
Shahab Tasharrofi (Office B325)
Konemihentie 2,
02150, Espoo