Rust programming

The course covers a range of critical topics, including memory-safe programming, test-driven development, program verification, and advanced software engineering methodologies. Students will gain practical experience through lab assignments, peer-reviewed projects, and theoretical studies, all grounded in the latest research and developments in the Rust ecosystem. By the end of the course, participants will have the skills to design secure and efficient software solutions, making them well-prepared for roles in memory-safe programming, software development and engineering.