Anne Mulhern
Principal Software Engineer at Red Hat, which is a subsidiary of IBM
Lowell, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAnne Mulhern is a Principal Software Engineer with 12 years of professional experience and a Ph.D. in Computer Sciences from the University of Wisconsin–Madison, specializing in formal methods, programming languages, compilers, and static/dynamic analysis. At Red Hat she has progressed from engineer to technical lead of the Stratis project and now drives architectural work and delivery as a principal, blending deep academic rigor with production-grade open source engineering. Her contributions to community-facing projects like Hypothesis highlight a commitment to clear documentation and enabling others to use property-based testing effectively. A former lecturer and professor, she brings an educator’s clarity to complex technical problems and mentoring. Based in Lowell, Massachusetts, she pairs mathematical reasoning with practical systems design—an unusual combination that surfaces in both compiler tooling and storage management work.
12 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Sciences, Doctor of Philosophy (Ph.D.), Computer Sciences at University of Wisconsin-MadisonBS, Civil Engineering, BS, Civil Engineering at Penn State University
Github Skills (6)
property-based-testing10
python10
documentation10
testing10
fuzzing9
community-management8
Programming languages (11)
Github contributions (5)
HypothesisWorks/hypothesis
Aug 2015 - May 2017
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Role in this project:
Technical Writer & Contributor
Technical Writer & ContributorContributions:19 commits, 12 PRs, 98 comments in 1 year 9 months
Contributions summary:Anne primarily contributed to the documentation and community aspects of the project. Their work included adding and updating documentation entries, such as adding a description to an external strategies listing and updating packaging information. They also added themselves and others to the list of contributors and users of the project, demonstrating their engagement within the Hypothesis community. Furthermore, they contributed to project by adding information regarding the project usage.
property-based-testingpythonincrementaltestingfuzzing
stratis-storage/stratis-cli
Jul 2016 - Jan 2023
CLI for the Stratis project
Contributions:30 releases, 185 reviews, 1226 commits in 6 years 7 months
stratiscli
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.