Head of Group: Professor Michael Butler
Website: www.dsse.ecs.soton.ac.uk
Our overall research objective is to increase the dependability of software-based systems through the provision of architectures, construction methods, validation tools and the general advancement of software science. Our work has a strong mathematical underpinning, but is very much driven by practical experience, objectives and validation.
Staff
Professor Michael Butler: Dependable systems; formal development methods; verification tools; security
Dr Corina Cirstea: Theory and applications of co-algebras; modal logic
Dr Bernd Fischer: Automated code generation; formal methods; automated theorem proving; software correctness
Dr Denis Nicole: System performance and benchmarking; workflow and scripting; dependable concurrent programming
Dr Mike Poppleton: Formal methods; requirements engineering; software engineering
Dr Julian Rathke: Foundations of distributed and ubiquitous computing; semantics of programming languages
Professor Vladimiro Sassone: Foundations of distributed and ubiquitous computing; logics, models and semantics of computation
Dr Pawel Sobocinski: Foundations of concurrency and distributed computing; categorical models; graph rewriting
Dr Ken Thomas: High-performance numerical methods
Dr Robert Walters: Distributed systems; formal modelling; software engineering