Programmering i Rust

Kursen täcker en rad kritiska ämnen, inklusive minnessäker programmering, testdriven utveckling, programverifiering och avancerade metoder för programvaruteknik. Deltagarna kommer att få praktisk erfarenhet genom labbuppgifter, peer-reviewed projekt och teoretiska studier, allt grundat i den senaste forskningen och utvecklingen i Rust-ekosystemet. I slutet av kursen kommer deltagarna att ha färdigheter för att utforma säkra och effektiva programvarulösningar, vilket gör dem väl förberedda för roller inom minnessäker programmering, mjukvaruutveckling och teknik.