Adrabi Abderrahim

A mathematician who applies the beauty of abstract mathematics to software development and uses algorithms to prove "proofs".