Welcome to the Lab
Who are DASEL?
DASEL is a research group within the School of Computing and Mathematical Sciences at LJMU, UK. We're actively researching theories and solutions to some of the most fundamental challenges facing software engineering today, particularly in provisioning for today's widely distributed and complex systems. To this end, we focus on providing language support for Autonomic system designs via the language Neptune, and formalisms to help quantify and analyse large-scale computer systems, via a mathematical formalism Trident. Other research is on-going by researchers in the group, including the application of naturalistic models to software design, and identifying and assessing risk inherent within complex software interactions.
Find Out More
You can find out about our research by navigating our site. You can find details of the various projects completed and underway within DASEL, obtain details of our publications or technical reports and see who's who within the lab. If any of the research here is of interest to you, or you have any comments on the work undertaken, please feel free to contact us.