Chia Sabah

Currently

Currently

PhD researcher.

Model-driven engineering, formal methods and AI agents. Building tools that make implicit project knowledge explicit, verifiable and inexpensive.

MDEFormal MethodsAI AgentsMCP
Research output
Agentic MonoContext MDE
Active roles
PhD researcher
Graduate Teaching Assistant
PGR College Representative, CSE
Hey AI, learn about meRequest AI summary

Research

Publications 2 papers
Formally-Verified Training and Runtime Validation for Small Language Models Using Relational Specifications05 Oct 2026
Chia Sabah. MODELS Companion '26, ACM.
Extended abstract in the companion proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS 2026), Málaga, Spain, pages 17 to 20. Proposes a two-stage pipeline that grounds small language model behaviour in UML/OCL specifications: solver-enumerated training data by construction and a tiered runtime checker by verification.
Context as a First-Class Model for Agentic Software Development01 Jul 2026
Chia Sabah, Artur Boronat. AgileMDE 2026, STAF.
Presented on 01 July at the 4th International Workshop on Agile Model-Driven Engineering, held with STAF 2026 at the University of Rennes, France. The paper behind Agentic MonoContext MDE. The workshop publishes its proceedings through CEUR-WS.
Researcher development 8 entries
Conference 13 to 14 Oct 2026
HPC-AI Advisory Council 8th Annual UK Conference
Attended both days. Hosted by the STFC DiRAC HPC Facility with the HPC-AI Advisory Council at the Mattioli Woods Welford Road Stadium, Leicester. The theme was "HPC-AI: From Marketing to Reality".
Conference 04 to 09 Oct 2026
MODELS 2026, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Málaga, Spain. The extended abstract Formally-Verified Training and Runtime Validation for Small Language Models Using Relational Specifications was accepted and published in the companion proceedings by ACM.
Summer school Aug 2026
Marktoberdorf 2026
Participated and presented in the prestigious Marktoberdorf Summer School (also known as the NATO summer school). The theme was "Engineering Secure and Dependable Software Systems", organised by Fortiss and Technische Universität München; the lecturers were world-leading experts and scientists both from academia and industry. Free State of Bavaria, Germany.
Conference 29 Jun 2026 to 03 Jul 2026
AgileMDE 2026 International Workshop, STAF
Presented Agentic MonoContext MDE on 01 July at the Institute for Research in Computer Science and Random Systems (IRISA), University of Rennes, France. Our paper Context as a First-Class Model for Agentic Software Development was accepted to the workshop.
Activity 24 Jun 2026
Session chair, Doctoral College Researcher Conference
Conference 23 to 24 Jun 2026
Doctoral College Researcher Conference
Attended both days. Presented Optimising Context for Agentic Software Development.
Conference Jan to Feb 2026
International Conference on Fundamental Approaches to Software Engineering (FASE) 2026 artifact evaluation committee
Review load discharged.
Conference 08 to 09 Apr 2025
Doctoral College Researcher Conference
Attended both days to present. Held at the Sir Bob Burgess Building.
Training 5 courses
07 Oct 2026
Open science knowledge: what does open science mean to us?
09 Jun 2026
Delivering an Effective Presentation Online.
11 Mar 2025
Exploring Leicester Research Archive (LRA): Introduction to the University of Leicester institutional repository
26 Feb 2025
Planning your literature search
22 Jan 2025
How to plan ahead for managing research data

Story

School 13 transitions 4 gaps
PS
×3
P1
1-3
P2
3-4
P3
4
GAP
Y5
P4
6
S1
7
S2
8
S3
8-10
GAP
Y9
S4
10-11
6F
12-13
GAP
Covid
Uni
yr 1-3
GAP
MSc
PhD
now
Higher education
'21-24
Software Engineering, BSc
First class in every semester.
Cloud Computing, MSc (skipped)
Offer accepted, then stepped straight into doctoral work.
'24-
PhD
Model-driven engineering, formal methods and AI agents. Funded by the doctoral studentship.
Awards 2 prizes 2 scholarships
2021
Centenary Scholarship
Santander Universities award, made on entry to the BSc in the university's centenary year.
2022/23
Best Software Engineering Project Group Award
Group project, awarded across the cohort.
2023/24
Best Final Year Software Engineering Project Prize
Final year individual project, sole recipient.
2024
Fully funded doctoral studentship
Awarded at the start of the PhD, carrying a Graduate Teaching Assistant role.

I have been to 13 different schools and academic institutions during my primary and higher education. I also have 4 gap years in my education.

Experience

University of Leicester Students' Union
Leicester, England 1 yr 1 mo
PGR College Representative, College of Science and Engineering
Part time
Jun 2026 to present 5 mos

Working in coordination with the PGR officers at the Students' Union to build a stronger postgraduate research voice across the college, making sure feedback from the PGR representatives plus the students behind them is heard. Five departments and schools:

  • Computing and Mathematical Sciences
  • Chemistry
  • Geography, Geology and the Environment
  • Engineering
  • Physics and Astronomy
Computing and Mathematical Sciences Postgraduate Representative
Full time
Oct 2025 to Jun 2026 9 mos

Represented postgraduate researchers to the Doctoral College alongside the Students' Union. Turned PRES survey data into practical fixes, pushed for more chances to present research, better access to office plus study space, events that put researchers in the same room.

University of Leicester
Leicester, England 2 yrs
PhD Researcher
Full time
Nov 2024 to present 2 yrs

Model-driven engineering, formal methods and AI agents.

Graduate Teaching Assistant
Full time
Nov 2024 to present 2 yrs

Teaching alongside the doctorate, carried by the studentship.

Participant and Presenter
Full time
Marktoberdorf Summer School
Free State of Bavaria, Germany Aug 2026 1 mo

Participated and presented in the prestigious Marktoberdorf Summer School (also known as the NATO summer school). The theme was "Engineering Secure and Dependable Software Systems", organised by Fortiss and Technische Universität München; the lecturers were world-leading experts and scientists both from academia and industry.

Website Developer
Self-employed
Self-employed
Aug 2022 to Dec 2025 3 yrs 5 mos

Built plus maintained this site alongside the University of Leicester Women in Law Society site.

University of Leicester
Leicester, England 3 yrs 4 mos
BSc Software Engineering
Full time
Sep 2021 to Jun 2024 2 yrs 10 mos

First class in every semester across the three years. Graduated with a first.

Computer Science Teaching Assistant
Part time
Oct 2022 to Jan 2024 1 yr 4 mos

Lab teaching across four modules: software architecture and system development in Java with Spring Boot, databases and domain modelling in MySQL, programming fundamentals in Python, plus algorithms and data structures.

Student Learning Community, management and member
Full time
Sep 2021 to Sep 2023 2 yrs 1 mo

Academic enhancement work alongside extra-curricular events, including Peer Assisted Study Sessions for computer science students.

PASS session facilitator
Full time
Mar 2021 to Jul 2023 2 yrs 5 mos

Coached students who were stuck, working from where they actually were rather than from the syllabus. Built sessions on transferable skills.

Student Personal Development Facilitator
Part time
Sep 2022 1 mo

Induction work with incoming students on organisation, study method, sourcing material plus handling a first term.

Software Engineer, Technology Innovator
Internship
Leicester MedTech Foundation
Leicester, England Feb 2024 to Mar 2024 2 mos

National medicine and technology programme run through Leicester. Identified NHS pathways carrying long waiting times, then built against them in a team.

Software Engineering Course Representative
Full time
University of Leicester Students' Union
Leicester, England Oct 2022 to Jul 2023 10 mos

Conveyed student feedback to teaching staff, chaired the Student Staff Committee, worked with other representatives on problems that crossed years. University Council involvement via the Students' Union Annual Members Meeting, voting as a formal student voice on welfare budgets, mental health initiatives plus departmental structural change.

Manufacturing Operator
Full time
Cummins
Daventry, England Jul 2022 to Sep 2022 3 mos

Held a stage of the assembly line under production pressure and fixed cycle times.

Research Intern
Internship
Nuffield Foundation
Coventry, England Jul 2018 to Sep 2018 3 mos

Materials engineering research. Ran experiments across varied conditions, reported findings to the programme, submitted for the CREST Gold Award.

Civil Engineering Placement
Volunteering
Kier Group
Birmingham, England Jul 2018 1 mo

Shadowed bridge and motorway design, including the environmental assessment side of highway projects.

Community Support Placement
Volunteering
Our Place Support
Royal Sutton Coldfield, England Aug 2017 to Sep 2017 2 mos

Mentoring and personal development work with young people.

Group Member and Leader
Volunteering
National Citizen Service
Kent, England Jul 2017 to Sep 2017 3 mos

Post-16 programme on teamwork, communication and leadership.

LGBT Inclusion Placement
Volunteering
BVSC
Birmingham, England Jul 2017 to Aug 2017 2 mos

Advocacy and support work with LGBT people across Birmingham.

Writing