## ABOUT |

## About MeI did my undergraduate degree in mathematics and graduated from the University of York in July 2010. Since October 2010 I have been working at the university of Leicester as a Graduate Teaching Assistant whilst studying for my PhD under the supervision of Professor Rick Thomas. ## Research/InterestsBroadly, I am interested in connections between algebraic structures and computer science and in particular connections between group theory and formal language theory. In terms of research, I have mostly been looking at the word problem of groups and how it behaves as a formal language. Recently I have been looking at natural conditions on formal languages which characterise the word problem. ## Publications/talks- My supervisor and I have submitted a paper titled "Formal languages and group theory" to the post conference proceedings of the ninth Groups St. Andrews conference
- In September 2013 my supervisor and I had a conference paper titled "Formal languages, word problems of groups and decidability" accepted in The 7th International workshop on Reachability Problems.
- In August 2013 I gave a talk at Groups St. Andrews Entitled "Groups, formal language theory, and decidability" you can find the slides here.
- In July 2012 I gave a talk at the PGTC about the word problem for groups and how it behaves as a formal language.
- In April 2012 I gave a talk at the BCTCS about decidability problems in Context-free grammars.
## Administrative dutiesIn 2013 I was the Post Graduate Researcher (PGR) representative for the college of science and engineering on the PGR policy committee. ## TeachingI am currently doing the following teaching**Charles Wilson 301 Help Desk:**__Spring term/Semester 2: Monday 12pm__-
**Spring semester 2013 - 2014** - CO1001: Logic and problem solving
- CO1012: Discrete Structures
- CO1098: Information Management
- CO2006: Software Engineering and System Development
- CO2012: Software project management and professionalism
- CO3098: Web technologies
- CO7104: C++ Programming and Advanced Algorithm Design
- I have been one of the TAs in the introductory computer lab and the java refresher labs for MSc students
In the past I have been a TA on the following courses |

| |||||||| | |

Author: |