Geometry of Synthesis: From programming languages to digital circuits via game semantics

University of Birmingham

For more than a century, the University of Birmingham has been pursuing and sharing knowledge through outstanding teaching and research. As a founding Russell Group member and the original ‘redbrick’ university, our high-quality teaching will help you take your career to the next level. We are of the country’s most consistently sought-after universities by the UK’s top graduate employers, and have been for the last decade. With a wealth of opportunities to choose from across study and research, Birmingham has one of the most extensive postgraduate course portfolios in the UK. Hosting an international community of more than 8000 staff and 38,000 students, you’ll work alongside world-leading academics in a diverse community.