Greetings! Iām Alec Critten (he/him), a PhD student in Computer Science at Swansea University in Swansea, Wales, UK. My work is in the area of formal methods, particularly around satisfiability modulo theories. Iām supervised by Anton Setzer, an honorary reader at Swansea now based at Chalmers University of Technology in Gothenburg, Sweden, and internally by Arnold Beckmann and Markus Roggenbach. Iām affiliated with the Theoretical Computer Science research group at Swansea, and I also previously served as a Graduate Teaching Assistant in the Department.