Skip to main content

Jo Devriendt

Profile picture of Jo Devriendt

About me

Post-doctoral researcher in the group of Jakob Nordström. Research interests are logic, combinatorial solvers, SAT solving, symmetry, proof systems in practice, optimization.

Mail: jhmde at kth point se


Profile picture of Jo Devriendt