--- title: Canonical is Funding a PhD to Automate C to Rust... description: Canonical, together with UK Research and Innovation, is funding a three-year PhD project at the University of Bristol to build a system that automatically... canonical: https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Canonical is Funding a PhD to Automate C to Rust Translation for Ubuntu | daily.dev og:description: Canonical, together with UK Research and Innovation, is funding a three-year PhD project at the University of Bristol to build a system that automatically... og:url: https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m og:image: https://api.daily.dev/og/posts/OEFWRoS6m.png og:image:alt: Canonical is Funding a PhD to Automate C to Rust Translation for Ubuntu og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Canonical is Funding a PhD to Automate C to Rust Translation for Ubuntu **[It's Foss](https://daily.dev/sources/itsfoss)** · 3 min read · 0 upvotes · 0 comments ## Summary Canonical, together with UK Research and Innovation, is funding a three-year PhD project at the University of Bristol to build a system that automatically translates large C codebases into safe, idiomatic Rust. The pipeline breaks a codebase into dependency-aware chunks, uses language models trained on C-to-Rust conversions for translation, then validates results with fuzzing and formal equivalence checks, repairing mismatches via symbolic program repair. The test cases are AppArmor and snap-confine, two production security components on Ubuntu, chosen for their real-world complexity rather than ease. Canonical's Jon Seager stressed that nothing generated by the project will be merged into either tool soon; the goal is to evaluate whether automated translation can be trusted on security-critical code before any rewrite is considered. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### What is Canonical's PhD project to automate C to Rust translation actually testing on? The project uses AppArmor and snap-confine, two production Ubuntu security components handling access control and sandboxing, as its industrial-grade test cases. These were chosen precisely because they are complex, live, and heavily relied upon, giving a realistic measure of whether automated C-to-Rust translation can preserve behavior in security-critical code, rather than because they are easy to convert. _Anyone weighing a Rust rewrite of critical C components can follow how this translation approach performs via daily.dev._ ### How does an automated C to Rust translation pipeline verify the converted code behaves correctly? It combines fuzzing with formal equivalence checks to catch behavioral mismatches between the original C and the generated Rust. When a mismatch is found, a symbolic program-repair step locates the faulty translation and patches it directly instead of regenerating the entire code chunk, reducing wasted retranslation work. _Teams exploring code migration verification techniques can track this kind of research through daily.dev._ ### Is Canonical planning to replace AppArmor or snap-confine with Rust code soon? No, nothing generated by this translation research is going into either tool in the near term. Canonical's Jon Seager clarified the goal is to evaluate whether the automated approach can be trusted on security-critical code, driven by Canonical's vested interest in the software, not to signal an imminent rewrite. _Developers tracking Ubuntu's security roadmap can follow updates on this research through daily.dev._ ## Similar posts on daily.dev - [Canonical backs quest to translate mountains of C into safe Rust with AI](https://daily.dev/posts/canonical-backs-quest-to-translate-mountains-of-c-into-safe-rust-with-ai-s3vchgqgx) · The Register · 6 upvotes · 1 comments - [Ubuntu Rust: How Canonical Is Modernizing Core System Tools](https://daily.dev/posts/ubuntu-rust-how-canonical-is-modernizing-core-system-tools-6irulsi7d) · JetBrains · 6 upvotes · 0 comments - [What it means that Ubuntu is using Rust · baby steps](https://daily.dev/posts/what-it-means-that-ubuntu-is-using-rust-baby-steps-etc7yulds) · Hacker News · 2 upvotes · 1 comments - [Canonical Puts €40,000 a Year Behind Trifecta Tech to Rustify Ubuntu](https://daily.dev/posts/canonical-puts-40-000-a-year-behind-trifecta-tech-to-rustify-ubuntu-m17mh0kxf) · It's Foss · 4 upvotes · 1 comments --- Tags: [#rust](https://daily.dev/tags/rust), [#c](https://daily.dev/tags/c), [#ubuntu](https://daily.dev/tags/ubuntu) [View this post on daily.dev](https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Canonical is Funding a PhD to Automate C to Rust Translation for Ubuntu","url":"https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m"},"datePublished":"2026-08-21T09:25:32.452Z","dateModified":"2026-08-21T09:26:44.427Z","description":"Canonical, together with UK Research and Innovation, is funding a three-year PhD project at the University of Bristol to build a system that automatically...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/e236771616650f38a174b3c8a439fc89?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/e236771616650f38a174b3c8a439fc89?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"It's Foss","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"It's Foss","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/582e3faed71842bfb9d3840a787d6700","url":"https://daily.dev/sources/itsfoss"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"rust,c,ubuntu","timeRequired":"PT3M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"It's Foss","item":"https://daily.dev/sources/itsfoss"},{"@type":"ListItem","position":3,"name":"Canonical is Funding a PhD to Automate C to Rust Translation for Ubuntu"}]} {"@context":"https://schema.org","@type":"FAQPage","@id":"https://daily.dev/posts/canonical-is-funding-a-phd-to-automate-c-to-rust-translation-for-ubuntu-oefwros6m#faq","mainEntity":[{"@type":"Question","name":"What is Canonical's PhD project to automate C to Rust translation actually testing on?","acceptedAnswer":{"@type":"Answer","text":"The project uses AppArmor and snap-confine, two production Ubuntu security components handling access control and sandboxing, as its industrial-grade test cases. These were chosen precisely because they are complex, live, and heavily relied upon, giving a realistic measure of whether automated C-to-Rust translation can preserve behavior in security-critical code, rather than because they are easy to convert. Anyone weighing a Rust rewrite of critical C components can follow how this translation approach performs via daily.dev."}},{"@type":"Question","name":"How does an automated C to Rust translation pipeline verify the converted code behaves correctly?","acceptedAnswer":{"@type":"Answer","text":"It combines fuzzing with formal equivalence checks to catch behavioral mismatches between the original C and the generated Rust. When a mismatch is found, a symbolic program-repair step locates the faulty translation and patches it directly instead of regenerating the entire code chunk, reducing wasted retranslation work. Teams exploring code migration verification techniques can track this kind of research through daily.dev."}},{"@type":"Question","name":"Is Canonical planning to replace AppArmor or snap-confine with Rust code soon?","acceptedAnswer":{"@type":"Answer","text":"No, nothing generated by this translation research is going into either tool in the near term. Canonical's Jon Seager clarified the goal is to evaluate whether the automated approach can be trusted on security-critical code, driven by Canonical's vested interest in the software, not to signal an imminent rewrite. Developers tracking Ubuntu's security roadmap can follow updates on this research through daily.dev."}}]} ```