[rust-dev] Rust Research Project Query

Tony Arcieri 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>
wrote:

> 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.

-- 
Tony Arcieri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20141008/81596357/attachment.html>


More information about the Rust-dev mailing list