Research output per year
Research output per year
The Software Systems (SSY) group studies design, modelling and engineering of software systems, reasoning about systems, and algorithms and tools for verification of software. An important part of our activities is the research in applications of logic and mathematics to broad computer science. Numerous industrial applications include autonomous systems, transportation, logistics, and safety of complex software.
Person: Member, Academic
Person: Member, Academic
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
EPSRC Engineering and Physical Sciences Research Council
1/01/2021 → 31/12/2023
Project: Research
Moreau, L., Borgo, R., Ventre, C., Chockler, H., Viganò, L., Devlin, K., Kleinman, M., Aplin, T., Luff, P., Samiolo, R. & Dasgupta, P.
EPSRC Engineering and Physical Sciences Research Council
1/09/2020 → 31/08/2024
Project: Research
Maribel Fernandez (Chair)
Activity: Participating in or organising an event › Participation in conference
Supervisor: Lano, K. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
Supervisor: Lano, K. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
Supervisor: Zschaler, S. (Supervisor) & Radzik, T. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
Fernandez, Maribel (Recipient), 1 Dec 2020
Prize: National/international honour
Fernandez, Maribel (Recipient), 1 Jan 2020
Prize: Appointment
Even Mendoza, K., Sharma, A., Donaldson , A. F. & Cadar, C., Zenodo, 17 Jul 2023
Dataset