Matti Järvisalo

University of Helsinki
Visiting Scientist

Matti Järvisalo leads the Constraint Reasoning and Optimization Group at the University of Helsinki. His research interests are boolean satisfiability and generalizations, decision procedures, constraint satisfaction, combinatorial/discrete optimization, automated reasoning, artificial intelligence, operations research, knowledge representation, complexity of reasoning, computational aspects of argumentation, probabilistic graphical models, and structure discover.

Program Visits

Visiting Scientist
Visiting Scientist