Published:
Four eventful years after stepping out of school as a teacher back into university as a student I submitted by PhD Thesis on the topic of Learning SAT Encodings for Constraint Satisfaction Problems. What a relief! I’m looking forward to picking up some of the research projects which were on hold while the write-up was completed. And of course awaiting the viva!
Published:
I’ve enjoyed solving the LinkedIn Queens puzzle most mornings since they introduced it earlier this year. The problem requires the player to place the queens on a board according to a very brief set of constraints (or rules). For a bit of fun, I wanted to solve the puzzle automatically (or as close as possible) using constraint programming.
Published:
It was a wonderful occasion to reflect on and celebrate the PhD experience with colleagues at a very special graduation ceremony organised by the University of York. Having missed my original BSc graduation back in 2000, it was great to finally wear the gown and receive the award on stage. I will always be grateful to all those people who made it possible for me to enage in these years of study, training and research.
Published:
After minor corrections, my thesis dissertation was approved and is now live at the White Rose E-theses Repository. This completes a very eventful, challenging and rewarding 5 years since stepping out of my career as a school teacher to pursue a long-held ambition to learn more and engage in cutting edge research. I am very grateful to my supervisors for all their help and to my family for all their support.
Published:
I’m getting the chance to be back at the front of a class! I’ve been employed as a part-time lecturer, in order to teach part of a Masters level course on AI: Problem Solving with Search here at the University of York. I will be co-teaching with the module leader, and it involves everything from writing lectures, labs and quizzes to setting, marking and moderating the exams.