Member Profile Change your cover photoUpload Change your cover photoUpload Change your cover photo João Jorge Ribeiro Soares Gonçalves de Araújo Algebra and Logic•Active Member Semigrupos, grupos, combinatória, álgebra computacional e demonstração automática de teoremas. This user account status is Approved First NameJoão JorgeLast NameRibeiro Soares Gonçalves de AraújoE-mail Addressjj.araujo@fct.unl.ptProfessional StatusFull ProfessorResearch GroupAlgebra and LogicCenter StatusActive MemberORCID iD Linkhttps://orcid.org/0000-0001-6655-2172 Only fill in if you are not human