Miguel Araújo
310
reputation
1
7
Lead developer of the AdminAPI, core component of MySQL InnoDB Cluster, at the MySQL Shell team.