Oleksii Omelchenko Graduate Student, Simon Fraser University Program Visits Satisfiability: Theory, Practice, and Beyond , Spring 2021 Visiting Graduate Student