Dr. Paulo Salem

Computer Scientist

I am Doctor of Computer Science by both the University of São Paulo and the Paris-Sud University (since November/2011). My academic interests center mostly on modeling and (automatically) analysing things, which includes formal methods and verification, software engineering and multi-agent simulation. I'm also highly interested in science as a whole, philosophy, business, art and literature. Besides my native Portuguese, I speak and write English quite well (116/120 in TOEFL iBT), and my French is advancing remarkably (I lived in Paris in 2009, and previously already had a B2 grade in the TCF). I live in São Paulo, Brazil.

You can reach me easily through This email address must be manually copied (to avoid sapm) (personal email) or This email address must be manually copied (to avoid sapm) (academic email). I now use Twitter too, @paulosalem (though I'm not sure whether this is actually useful). My phone is available upon request.

New website

I'm hosting my website directly with my new business (currently under beta test), you can find it at