network profile
| bio | website | cs.swan.ac.uk/~csmg |
|---|---|---|
| location | Swansea | |
| age | 26 | |
| visits | member for | 9 months |
| seen | Dec 31 '12 at 20:27 | |
| stats | profile views | 0 |
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
This user has not asked any questions
|
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
6 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 6 | up | 2 | question | ||
| 0 | down | 4 | answer | ||
