Software Systems

The Software Systems (SSY) group addresses modelling, design and engineering of software systems, automated reasoning about system properties, and mathematical foundations of modelling computing systems. 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.

Members

Hana Chockler

Reader in Computer Science

Maribel Fernandez

Professor in Computer Science

Christopher Hampson

Lecturer in Computer Science (Education)

Gunel Jahangirova

Lecturer in Computer Science

Stephen Kell

Lecturer in Computer Science

Ian Kenny

Senior Lecturer in Computer Science Education

Michael Kölling

Vice-Dean (Education) and Professor of Computer Science

Agi Kurucz

Reader in Logic and Computation

Kevin Lano

Reader in Software Engineering

Héctor Menendez

Lecturer in Computer Science (Programming and Software Engineering)

Mohammad Reza Mousavi

Professor of Software Engineering

Nicola Paoletti

Senior Lecturer in Computer Science

J. Ryan Stinnett

Research Associate

Laurence Tratt

Professor of Software Development

Christian Urban

Lecturer in Computer Science

Jie Zhang

Lecturer in Computer Science (Software Engineering)

Steffen Zschaler

Reader in Computer Science

A Causal Analysis of Harm
Beckers, S., Chockler, H. & Halpern, J. Y., 10 Oct 2022, (Accepted/In press) 36th Conference on Neural Information Processing Systems (NeurIPS 2022). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Nominal Matching Logic
Cheney, J. & Fernandez, M., 22 Sep 2022, Principles and Practice of Declarative Programming - Proceedings PPDP 2022. ACM Press Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Methodology for DSML-assisted Participatory Agent-Based Enterprise Modelling
Godfrey, T., Batra, R., Douthwaite, S., Edgeworth, J., Miles, S. & Zschaler, S., 14 Sep 2022, (Accepted/In press) Practice of Enterprise Modelling 2022. Springer Nature Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications
Fernandez, M., Jaimunk, J. & Thusaisingham, B. M., 7 Sep 2022, (E-pub ahead of print) In: IEEE Transactions on Dependable and Secure Computing. p. 1 13 p. Research output: Contribution to journal › Article › peer-review
A Certified Algorithm for AC-Unification
Ayala-Rincón, M., Fernandez, M., Nantes-Sobrinho, D. & Silva, G. F., 3 Aug 2022, Proceedings of FSCD 2022. Felty, A. (ed.). LIPIcs Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Novice use of the Java programming language
Brown, N., Weill-Tessier, P. & Kölling, M., 1 Aug 2022, In: Transactions of Computing Education. Research output: Contribution to journal › Article › peer-review
Introduction to the theme section on Agile model-driven engineering
Lano, K., Kolahdouz-Rahimi, S., Troya, J. & Alfraihi, H., Aug 2022, In: Software and Systems Modeling. 21, 4, p. 1465-1467 3 p. Research output: Contribution to journal › Editorial › peer-review. DOIs: https://doi.org/10.1007/s10270-022-01016-x
Strype: Bridging from Blocks to Python, with Micro:bit Support
Weill-Tessier, P., Kyfonidis, C., Brown, N. & Kölling, M., 7 Jul 2022, p. 585-586. 2 p. Research output: Contribution to conference types › Other › peer-review. DOIs: https://doi.org/10.1145/3502717.3532155
Acapulco: An extensible tool for identifying optimal and consistent feature model configurations
Martinez, J., Strüber, D., Horcas, J. M., Burdusel, A. & Zschaler, S., 2 Jul 2022, (Accepted/In press) SPLC 2022. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
On Testing for Discrimination Using Causal Models
Chockler, H. & Halpern, J. Y., 28 Jun 2022, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). AAAI Press Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

View all publications

Seminars

Upcoming seminars and events will be listed here.

Current vacancies in the group will be listed here.