101 reputation
2
bio website cs.swan.ac.uk/~csmg
location Swansea
age 27
visits member for 1 year, 5 months
seen May 29 '13 at 15:13

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

This user has not participated in any tags