Greetings! (I hope this isn't spam.)
I am bachelor's degree student (the first of four years) in Computer Sciences. I am searching for any ideas that can be used as a research topic and is both related to Rust and formal verification/specification or similar. I'm learning Coq already, so it's my choice for any formal stuff. Some of my random ideas (most of them possible maybe in some future, but not now with rapidly development of Rust language): * Formal specification of Rust (maybe similar to LambdaJS) - to use it later in formal verification of Rust programs * Program extraction from proof. This idea got its inspiration from similarity of OCaml and Rust, and the fact that Coq allows extraction to OCaml. I understand that my ideas most probably are the unrealistic ones, because I have little to nothing experience and don't know what's is practical or even what's topical in formal method academic research. Maybe you have some ideas or suggestions? I plan to use that for activities besides lectures and later for my bachelor work. But then it's nice if it's something that academics/professors sees as something meaningful. Anyway, thanks! --- Ilmārs Cīrulis
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
