PALab is concerned with making software faster, more reliable, and more easily developed. We develop tools and techniques for prediction, monitoring and real-time adaptation to deliver optimal quality of service. We use formal methods, component-based and service-oriented development techniques, as well as domain-specific languages and model-driven development to achieve these objectives.
PALab is a group within the Software Modelling and Applied Logic research group of the Department of Informatics at King's College, London. The academics in the group are Dr Steffen Zschaler and Dr Kevin Lano.