DO

Dominic Mulligan

Principal Applied Scientist within the Automated Reasoning Group at Amazon.

Cambridge

Joined March 2025

3 Followers

0 Following

Public Repos

1

Total Stars

0

Total Forks

0

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: February 3rd, 2026 • 5 contributions

Most active week: Feb 2–Feb 8 • 10 contributions

Most active month: Apr 2025 • 20 contributions

February 9th, 2026 2:39 PM

February 5th, 2026 10:17 AM

February 5th, 2026 10:17 AM

PullRequestReviewEvent on awslabs/AutoCorrode

February 5th, 2026 9:59 AM

February 4th, 2026 11:04 AM

February 4th, 2026 11:03 AM

merged pull request in awslabs/AutoCorrode

February 4th, 2026 11:03 AM

IssueCommentEvent on awslabs/AutoCorrode

February 4th, 2026 10:44 AM

closed pull request in awslabs/AutoCorrode

February 2nd, 2026 11:41 AM

February 4th, 2026 10:44 AM

GitHub Analytics