Research

I am interested in many different areas of theoretical computer science and discrete mathematics. Currently I am focusing on computer-based proofs for problems in combinatorics and discrete geometry. I also like to solve them in more mathematical ways.

I have also worked on Boolean functions and knowledge compilation, online algorithms and approximation algorithms.