PSU Capstone Rust project summaries


Details
This month we'll have teams of PSU students telling us how they used Rust in their senior capstone projects.
One is a flight controller, and the other is a formal verification system. If you'd like to know more about robots, proving software correctness, or just real-world applications of Rust, this is the meetup for you!
Other information:
PDXRust meets on the first Wednesday of every month, from 6-8pm, at Mozilla's Portland space. The first hour is either lightning talks from group members or a more in-depth tutorial from a Rust expert, and the second hour is hacking and social time.
Join us in #pdxrust on irc.freenode.net ( http://webchat.freenode.net/ ) with any feedback about what you'd like to see!
Remember that Rust's Code of Conduct (https://www.rust-lang.org/conduct.html) defines the Rust community's expectations for participation.

PSU Capstone Rust project summaries