131 reputation
4

MGwynne

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

Top Tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top Posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold
Silver
Bronze 4

Rarest