236 reputation
2 5

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 (3)

Score 12
Posts 1
Score 12
Posts 1
Score 12
Posts 1

Top Posts (1) All Questions Answers | Votes Newest

Badges (7)

Gold
Silver 2

Rarest

Bronze 5

Rarest