The (Anne) Mulhern

Principal Software Engineer

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

Research Areas

Partner Universities