Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet.
Member, ←Hotline Webring→.

bearded cartoon drawing of the author hacker news gitlab sourcehut pinboard librarything 1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

Vancouver

British Columbia

Canada

vegan

he

him

his


Articles tagged with “formal-methods”

Recommended Reading from the DeepSpec Summer School

Harry R. Schwartz

Published .
Tags: computer-science, math, formal-methods.

Verified, Validated, or Certified?

Harry R. Schwartz

Published .
Tags: computer-science, formal-methods.

Verifying Distributed Systems with Verdi

Harry R. Schwartz

Published .
Tags: computer-science, formal-methods, paper-review.

Why Formal Semantics?

Harry R. Schwartz

Published .
Tags: computer-science, formal-methods, math.

OPLSS Flotsam

Harry R. Schwartz

Published .
Tags: computer-science, formal-methods, oplss.

Going to OPLSS 2016!

Harry R. Schwartz

Published .
Tags: computer-science, formal-methods, personal, oplss.