Paulo Salem da Silva

I'm interested in Software Engineering, Artificial Intelligence, Machine Learning, Programming Language Design, Verification and Formal Methods, Multiagent systems and also in the remote and forgotten fields of Intellect Augmentation and Computational Scientific Discovery. Right now I do my best to use my scientific tools in industry.

Tenho interesses de pesquisa em Engenharia de Software, Inteligência Artificial, Aprendizado de Máquina, Design de Linguagens de Programação, Verificação e Métodos Formais, Sistemas Multiagentes e também no já remoto e esquecido campo da Amplificação de Intelecto (Intellect Augmentation) e da Descoberta Científica Computacional (Computational Scientific Discovery). No momento, tento alavancar todo meu perfil de cientista na indústria, considero-me um cientista industrial.