Salem

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.

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.