Arshad Beg

Unlock verification artifact reuse across languages by representing programs as typed, attributed graphs that capture both structure and semantics.

Formal verification can become a cumulative, knowledge-driven process by infusing it with machine learning to automate contract synthesis and enable artifact reuse.