The University of Edinburgh is one of the United Kingdom’s most prestigious universities. It was founded in 1583 and has been attracting international students for over four centuries. The QS World Rankings 2013/14, announced in September 2013, placed the University of Edinburgh 17th in the world.
The School of Informatics of the University of Edinburgh is one of the top-ranked computer science departments in the UK and contains seven research institutes including the Laboratory for Foundations of Computer Science (LFCS). The LFCS is an internationally renowned centre for research in computer science, active in the areas of algorithms, complexity, computational biology, concurrency, database theory, domain theory, logic, model-checking, programming languages, security, semantics, and type theory. It hosts visiting researchers from all over the world, and boasts a vibrant and interactive research atmosphere. It has consistently been supported by EPSRC and other funding.