Back
Back
Back
Back
Understanding naturally intelligent systems, building artificially intelligent systems, and improving the interactions between humans and artificial systems. Read more
In this Master's specialisation, mathematicians working in areas pertinent to (theoretical) computer science, like algebra and logic, and theoretical computer scientists, working in areas as formal methods and theorem proving, have joined forces to establish a specialisation in the Mathematical Foundations of Computer Science. Read more
Never miss a course
Get funding news, tips and advice
Hear about upcoming events
Be in with a chance to win £6,000!
We've been helping students find the right postgraduate course for over a decade.
We've been helping students find the right postgraduate course for over a decade.
Chat LIVE to over 75 top universities
Free funding advice & digital guide
Study abroad information
Covid-specific application info
