Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

Abstract: Interpretation has been successfully applied to static analysis, by computing over-approximation of the concrete semantics of various program for many years. However, in the context of ...

Abstract: Fairness of machine learning (ML) software has become a major concern in the recent past. Although recent research on testing and improving fairness have demonstrated impact on real-world ...