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 (personal email) or (academic email). I now use Twitter too, @paulosalem (though I'm not sure whether this is actually useful). My phone is available upon request.

Coming up with a new website

To reflect my current goals more closely, I am coming up with a new personal website and this will take awhile. Please come back later.

In the meantime, you may be interested in my

• Thesis: Paris-Sud version and USP version (the PDFs are perfect, but both sites messed up some of the meta-data).
• Lattes curriculum
• Photography at Flickr
• Quick thoughts at Twitter
• Drawings at Distincards

Some other sites

• Distincards
• Lisie

«One of the main points about critical rationalism is that one is always prepared to abandon one's original problem in the course of the solution and replace it by another one.»
— Imre Lakatos, in his Proofs and Refutations