Matti Järvisalo

University of Helsinki
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

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