131 reputation
4
bio website cs.swan.ac.uk/~csmg
location Swansea
age 27
visits member for 2 years, 5 months
seen Mar 3 at 10:42

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

Jul
10
comment AUCTeX detecting modified files using different output directory
@PolGab I tried adding "./output" and/or "./output/" to TeX-check-path but that didn't make any difference.
Jul
10
awarded  Editor
Jul
10
revised AUCTeX detecting modified files using different output directory
added 4 characters in body
Jul
10
awarded  Student
Jul
10
asked AUCTeX detecting modified files using different output directory
Oct
26
awarded  Supporter
Oct
26
awarded  Autobiographer