Queen Mary and Westfield College, University of London
Queen Mary, University of London (QMUL) is one of the largest multi-faculty higher education institutions in London with over 11,500 UK, European and international students studying in four science, engineering and arts faculties plus ‘Barts and The London’, Queen Mary's School of Medicine and Dentistry and England's first medical school, founded in 1785.
Over the last five years, Queen Mary has continued to develop its reputation as one of the leading research institutions in Europe. In 2003-04 the College was granted over £40million (Euro 78million) in research contracts and awards; in 2004 the Times Higher Education Supplement recognised Queen Mary as a top 10 institution for research investment. Currently, it has over 2,000 active research staff working in most scientific, engineering and medical disciplines.
The Department of Computer Science (DCS) at Queen Mary is a world leader in the theory and practice of computer science. They have a long history of innovation and have been continually at the cutting edge of Computer Science for over 40 years, being the first such department in the UK to offer degree courses in Computer Science in 1968.
This work will be conducted in the Logic & Semantic Group in DCS. The group's expertise covers a broad range from complexity, through automated reasoning, concurrent and distributed systems, formal methods in Human-Computer Interaction to verification of systems software and logic.