[rust-dev] Rust Research Project Query
bascule at gmail.com
Wed Oct 8 21:36:17 PDT 2014
On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua <victor.barua at gmail.com>
> I'm a senior Computer Science undergraduate student at the University of
> British Columbia. As part of my degree I have to complete an undergraduate
> thesis which is a project of around 220 hours between now and next April.
> Rust is a language that has caught my eye and I would be very interested in
> working on something related to it that I could contribute back to the
> community at the end of my project.
What are you interested in? I think it'd be really cool to create a
language based on Rust for proving properties about Rust programs using
things like dependent types, refinement types, or otherwise.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Rust-dev