You're correct. Dmytro Mukhomor is the lead developer of GrapheneOS.