Carvalho is a member of the Mackenzie University research group Engenharia de Sistemas Computacionais Adaptativos that applies Mathematica in computer science studies. He holds several professional certifications, including Sun Certified Java Programmer, ICOR Certified Data Center Professional (CDCP), the Cambridge English Preliminary English Test (PET), and First Certificate in English (FCE).