diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index e82e915b9..dc0a541dc 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -2,4 +2,5 @@
 # https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners
 
 # Default code owner for everything is our aws-crypto-tools group
-*       @awslabs/aws-crypto-tools
+*       @smithy-lang/dafny-core
+*       @smithy-lang/aws-crypto-tools