Links

Learn

• Verification Corner

• Dafny

Other links to my profiles and writings

• dblp

• GitHub

• mathmeth.org

• researchr.org

• ACM SIGPLAN

Connect

• Email: <given_name> . <family_name> at outlook . com