Paulo Salem

Computer Scientist

I'm pursuing a doctorate degree in Computer Science at the University of São Paulo, in cooperation with the Paris-Sud University. My academic interests center mostly on modeling and (automatically) analysing things, which include 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). 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 after I've finished my thesis in 2011.

In the meantime, you may be interested in my

• Lattes curriculum
• Photography at Flickr
• 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