Trusted Systems

Ghani, Neil (Principal Investigator)
McBride, Conor (Co-investigator)
Nordvall Forsberg, Fredrik (Co-investigator)

Computer And Information Sciences

Project: Research

Status	Finished
Effective start/end date	1/10/19 → 30/09/24

Funding

National Physical Laboratory NPL

2 Conference article
1 Conference contribution book
1 Chapter (peer-reviewed)
1 Article

LabMate: a prospectus for types for MATLAB
McBride, C., Nakov, G., Nordvall Forsberg, F., Videla, A., Forbes , A. & Lines, K., May 2025, In: Measurement: Sensors. 38, 101460.
Research output: Contribution to journal › Conference article › peer-review

Open Access
File
2 Link opens in a new tab Citations (Scopus)

50 Downloads (Pure)
Preserving model structure and constraints in scientific computing
Forbes , A., Lines, K., Nordvall Forsberg, F., McBride, C. & Videla, A., May 2025, In: Measurement: Sensors. 38, 101796.
Research output: Contribution to journal › Conference article › peer-review

Open Access
File
7 Downloads (Pure)
Measuring with confidence: leveraging expressive type systems for correct-by-construction software
McBride, C., Nakov, G. & Nordvall Forsberg, F., 22 Mar 2023, In: Acta IMEKO. 12, 1, 5 p., 15.
Research output: Contribution to journal › Article › peer-review

Open Access
File
3 Link opens in a new tab Citations (Scopus)

56 Downloads (Pure)

1 Public Events
1 Oral presentation

NPL Data Science Seminar: "Typed functional programming: helping the compiler help you"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
13 Jul 2021
Activity: Public Engagement and Outreach › Public Events
Public engagement talk: "Dimensionally correct by construction: Type systems for programs respecting dimensions"
Nordvall Forsberg, F. (Speaker) & McBride, C. (Speaker)
15 Jun 2021
Activity: Talk or Presentation › Oral presentation