• Home
  • Projects
    • Gazelle
    • Elle
  • Hacks
  • Publications
  • About Me
  • Contact
  • Github
  • Resume
  • LinkedIn

Mario M. Alvarez

Research + Musings

Elle Gazelle Research

Elle to Gazelle

By admin on Friday, June 7, 2019

In this post (to be completed later) I will describe the additional generalizations that have gone into the Gazelle compiler.

Continue Reading
0
About Me

I am a Research Engineer at Offchain Labs with a background in Formal Verification.

Recent Posts
  • Elle to Gazelle
Categories
  • Elle
  • Gazelle
  • Research
Archives
  • June 2019
Theme by Scissor Themes Proudly powered by WordPress