
Matti Järvisalo
University of Helsinki
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12 – May 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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist and Workshop Organizer.