Edjard de Souza Mota

Full Professor at the Institute of Computing at the Federal University of Amazonas (IComp / UFAM) where he has worked as a researcher, professor and advisor of PhD's and master's candidate, as well as of undergraduates. He is the research leader of the Artificial Intelligence group. He conducted a sabbatical internship at the Center for Machine Learning of the Department of Computer Science in the City, University of London, England (2016-2017), in the area of ​​Neural-Symbolic Computing (NeSy), where he investigated effective neural-symbolic representation for inductive learning , "inventing" predicates, and reasoning from large sets of raw data or logical specifications, in an explainable way. He did an internship at the Department of Computer Science at Carnegie Melon University, where he developed AI solutions to integrate software specifications and formal verification tools (February and March 2003). He completed a PhD in Artificial Intelligence (AI) from the University of Edinburgh (1998); master's degree in Computer Science from the Federal University of Minas Gerais (1993) and a degree in Civil Engineering from UFAM (1987). He has practical experience in the application and development of AI / techniques for solving complex problems on a large scale, such as software defined networks (SDN), in detecting distributed denial of service (DDoS) attacks and resilience problems. Experience in the mobile device industry, 2003 to 2006, where I am currently as project manager and mobile technology, integration and convergence of digital platforms.

Professor Titular do Instituto de Computação da Universidade Federal do Amazonas (IComp/UFAM) onde tem atuado como pesquisador, professor e orientador de doutorado, mestrado e graduação, líder do grupo de Inteligência Artificial Neurosimbólica. Foi proponente e coordenador em Manaus do projeto de MINTER entre UFAM e UFMG em Ciência da Computação, primeiro da UFAM que formou 24 mestres entre 1999 e 2001. Em 2001 criou o Programa de Pós-Graduação em Informática (PPGI) da UFAM, e o coordenou ate seu crendenciamento pela Capes em 2003. Ainda atua no PPGI-UFAM que hoje é Capes 6. Realizou estágio Pós-doutoral no Centre for Machine Learning do Department of Computer Science na City, University of London, Inglaterra (2016-2017), na área de Computação Neural-Simbólica (NeSy), onde investigou representação neural-simbólica eficaz para a aprendizagem indutiva, "inventando" predicados, e raciocinando a partir de grandes conjuntos de dados brutos ou especificações lógicas, de forma explicável. Fez estágio no Department of Computer Science da Carnegie Melon University com aplicação de IA para integrar especificação e verificação formal de software (Fevereiro e Março de 2003). Concluiu doutorado em Inteligência Artificial (IA) pela University of Edinburgh (1998); mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (1993) e graduação em Engenharia Civil pela UFAM (1987). Tem experiência prática na aplicação e desenvolvimento de técnicas de IA/ para resolução de problemas complexos em larga escala, como por exemplo redes definidas por software (SDN), na detecção ataques distribuídos de negação de serviço (DDoS) e problemas de resiliência. Experiência na indústria de dispositivos móveis, 2003 a 2006, onde atual como gerente de projetos e tecnologia móvel, integração e convergência de plataformas digitais.