MS

Mathias Soeken

Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

Switzerland

Joined July 2012

147 Followers

5 Following

AI Insights & Achievements

40/ 100

Coding for 14 years.

147 followers.

Organizations

Public Repos

60

Total Stars

235

Total Forks

68

Public Gists

3

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: January 13th, 2026 • 2 contributions

Most active week: Jan 12–Jan 18 • 4 contributions

Most active month: Oct 2025 • 13 contributions

February 2nd, 2026 6:34 PM

Pushed to msoeken/trace at microsoft/qdk

February 2nd, 2026 1:04 PM

Pushed to msoeken/trace at microsoft/qdk

February 2nd, 2026 8:26 AM

PullRequestReviewEvent on microsoft/qdk

February 2nd, 2026 8:15 AM