101 reputation
2
bio website cs.swan.ac.uk/~csmg
location Swansea
age 27
visits member for 2 years
seen Dec 31 '12 at 20:27

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

101 Reputation

100 Aug 19 '12
+100 15:06 assoc