The Semantics & Verification Research Group focuses on the mathematical foundations of computer science, with a particular interest in the analysis and verification of software and hardware. Safety-Critical systems are ones in which errors can be disastrous: loss of life, major financial losses, etc. Techniques to safeguard against such scenarios are essential for such systems, and while testing of systems can identify problems, especially if done in a rigorous fashion. Formal methods, on the other hand, offer techniques ranging from the description of requirements in a formal notation to allow for rigorous reasoning about them, to techniques for automatic verification of hardware and software. This document gives a list of current Final Year Projects by members of the group in the field.