King’s College London is one of the top 25 universities in the world (2010 QS international world rankings), the Sunday Times ‘University of the Year 2010/11’ and the fourth oldest in England. King’s has an outstanding reputation for providing world-class teaching and cutting-edge research. Based in the heart of London, King’s has nearly 23,000 students (of whom more than 8,600 are graduate students) from nearly 140 countries, and some 5,500 employees.
The Software Modelling and Applied Logic (SMAL) group is a research group within King’s Department of Informatics conducting research in the space of formal approaches to model transformation and metamodelling.
Involved Research Group:
Software Modelling and Applied Logic