Skip to content

Megan Rosé Bryant

Computational Operations Research

  • Home
  • About
  • Lecture Materials
  • Contact

RESOLVE

RESOLVE Software Research Group

Formalizing Mathematical Developments to Support Verifying Compilers

 

More Projects

  • Latin Squares

    Latin Squares

  • RESOLVE

    RESOLVE

  • Graphic Design

    Graphic Design

Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy