meta user
network profile
| bio | website | cs.swan.ac.uk/~csmg |
|---|---|---|
| location | Swansea | |
| age | 26 | |
| visits | member for | 2 years |
| seen | May 6 at 12:54 | |
| stats | profile views | 72 |
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
|
Stack Overflow | 2,055 rep | 425 |
|
Theoretical Computer Science | 398 rep | 111 |
|
Computer Science | 186 rep | 4 |
|
TeX - LaTeX | 126 rep | 4 |
|
Mathematics | 103 rep | 2 |
This user has no active bounties
102 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 99 | up | 45 | question | ||
| 3 | down | 57 | answer | ||
