The (Anne) Mulhern

Software engineer with exceptional background in formal methods,
programming languages, compiler technologies, static and dynamic analysis,
and mathematical reasoning.