Has a PhD in Computer Science (University of São Paulo / Univeristé Paris-Sud), in which he developed novel theory and technology related to Software Engineering, Formal Methods, Formal Verification, Simulation, Artificial Intelligence and Multiagent Systems. Published several peer-reviewed research papers in these areas. Has also built a number of consumer products and developed more experimental business technologies, mainly for consumer behavior analysis and optimization. Counting the PhD, has more than 10 years of experience working in highly sophisticated technologies, including Formal Modeling, Verification and Evolutionary Computation. For the last few years he has been improving his knowledge of Machine Learning and related fields. Besides technical skills, he also has a deep interest in business issues, having founded a software company and headed a group of entrepreneurs prior to his present position.


2006 – 2012 | PhD in Computer Science

Universidade de São Paulo (Brazil) / Université Paris-Sud (France)

Verification of behaviourist multi-agent systems by means of formally guided simulations

Full text (USP version)
Full text (Paris-Sud version)

I had both a CNPq (in Brazil) and a CAPES (in France) scholarships, as well as a scholarship provided directly by Université Paris-Sud.

2001 – 2005 | Bachelor of Computer Science

Universidade de São Paulo (Brazil)

1998 – 2000 | High school

Colégio Bandeirantes

Professional Experience

2016 – present | Dell EMC

Data Scientist


2015 – present | Salem Sistemas


My software company, through which I provided consulting services and developed new technologies. My main technical achievement here was called Empirica, an experimental software designed to optimize human behavior through the analysis of online user interactions. This research and development is currently paused.

2012 – 2016 | Liberalis


A startup product that I conceived, implemented and marketed after my PhD. It is an online tool through which professionals (e.g., psychologists, lawyers, architects, etc.) can easily create their own websites. The generated websites adapt to quantity and type of content inserted, without any need of manual layout or design configuration. Liberalis operated under a “freemium” model: the basic offer is free (with ads), and a premium offer (with a number of advantages) is charged. This system had over 2500 users and was implemented in Ruby on Rails.

In the press

Profissional liberal ganha site pessoal de graça com a Liberalis

Empreendedor deve avaliar custo antes de abrir escritório

Metade dos microempreendedores usa a própria casa para fazer negócios

The payment subsystem of Liberalis was the inspiration for a formal verification software that I developed as an independent library and is now open sourced (https://github.com/paulosalem/verum). I also produced a related academic publication (see below; published in May/2016).

2005 – 2009 | Distincards


An e-cards website for people interested in art, literature and philosophy. “Distinct cards for distinct people.”

Language Skills


Fluent. TOEFL iBT (116/120).



Good oral and written understanding; good oral expression; reasonable written expression. I lived in Paris for more than a year during my doctorate.