Takes natural language input and converts that into requirements that are functionable in FRET.
20+
Specialist in Dafny for formal verification of software.
10+
