One of my favourite activities to do is research because it lets me learn things outside of school and it has also led to me to contribute to new knowledge. Most of my background is in research, particularly in the field of A.I and Cryptography. However, I have been also interested in Boolean Satisfiability problems (SAT) for a very long time, or more generally constraint satisfaction and optimisation problems. It has wide-ranging applications to Software Verficiation, Cryptanalysis, Supply Chain Management, Operations Research and Artificial Intelligence