After successfully completing the taught component, you will prepare a dissertation on an advanced topic in mathematical logic, normally of current or recent research interest, chosen in consultation ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

After successfully completing the taught component, you will prepare a dissertation on an advanced topic in mathematical logic, normally of current or recent research interest, chosen in consultation ...

Mathematical logic provides a rigorous framework for analysing the structure of mathematical reasoning, enabling a deep understanding of both formal systems and the nature of proofs. Central to ...

The guys over at hackshed have been busy. [Carl] is making programmable logic design easy with an 8 part CPLD tutorial. (March 2018: Link dead. Try the Wayback Machine.) Programmable logic devices… ...

Operator algebras and mathematical physics. In operator algebras we are particularly interested in $\mathsf{C}^*$-algebra theory and its connections to other areas such as dynamical systems, group ...