Back to People
K

klausnat

Active lead
@klausnatRuntime Verification
147
Internal commits
20
PR merges
2
Organizations
2
Maintainer at

Activity over time

Organization timeline

Formal LandMar 2023 – Sep 2023
57 commits3 mergesMaintainer period

Confirmed movements

Formal LandRuntime VerificationJan 2026

Internal authors supported

Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.