I am currently a PhD student under the supervision of Oliver Kullmann.

My research interests include:

• SAT and Constraint Satisfaction
• Ramsey Theory and other combinatorial problems

• Application of SAT to AES and other cryptosystems

• Data analysis and representations, including

  • Machine Learning
  • Qualitative Comparative Analysis
  • Representations for boolean functions