Loading...
Loading...
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.
Coding for 10 years.
62 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in pq-code-package/mlkem-native
January 29th, 2026 4:05 AM
IssueCommentEvent on pq-code-package/mlkem-native
January 28th, 2026 5:00 PM
IssueCommentEvent on pq-code-package/mlkem-native
January 28th, 2026 4:48 PM
IssueCommentEvent on pq-code-package/mlkem-native
January 28th, 2026 4:32 PM
labeled pull request in pq-code-package/mlkem-native
January 28th, 2026 4:30 PM
assigned pull request in pq-code-package/mlkem-native
January 28th, 2026 4:30 PM
opened pull request in pq-code-package/mlkem-native
January 28th, 2026 4:30 PM
Created branch stabilize_polyvec_add in pq-code-package/mlkem-native
January 28th, 2026 4:16 PM
IssueCommentEvent on diffblue/cbmc
January 28th, 2026 1:22 PM
Pushed to develop at rod-chapman/cbmc
January 28th, 2026 6:18 AM