I am a fourth year PhD student funded by the SFI Centre of Research Training in Foundations of Data Science in Maynooth, supervised by Professor Rosemary Monahan in the Principles of Programming Research Group. My research focuses on developing model checking tools for Python verification.