(Internship) Improving the Modularity and Robustness of the Althread Language
Internship within the Computer Science Department at the University of Strasbourg University of Strasbourg
Althread is an educational programming language designed to model and verify distributed systems. It is written in Rust and is being developed at the University of Strasbourg under the supervision of Quentin Bramas.
Related Documents
September 06, 2025