My name is Julio Lemos. Alas, you’re probably aware of that.
I live in São Paulo, Brazil. My favorite activity is research and reading all I can (and do all the exercises I can) in all areas of expertise. Só que não, pray negate the previous statement — as we Brazilians say.
I have a BA and PhD in Law and intend to get another one in Computer Science (work in progress, tho). I am a member of GELAD – Study Group on Logic & Law led by Juliano Maranhão (whose Wittgenstein number is 2, for having studied under Georg von Wright).
Also a newcomer to LIAMF – Logics, Artificial Intelligence and Formal Methods at the University of São Paulo. For the time being I’m working on a project on legal ontologies (OWL-based), the semantic web and DL (Description Logics) at the Institute of Mathematics and Statistics (IME-USP) - Department of Computer Science.
Other interests are programming languages, Lisp, C, Python and Java, modal logic, belief revision, algorithms and computational complexity. My current fetish is Papadimitriou’s Computational Complexity. And also analytic philosophy. (Ergo I thoroughly dislike ideology and religious preaching.)
I am also a legal advisor — arbitration, contract and software law — at DGCGT. I earned the PhD in Law from the University of São Paulo and LMU Munich, Germany (2007-2011). Here is my PhD dissertation. My long-term project is to bring together researchers and practitioners in the legal and Computer Science fields. I believe legal services should urgently embrace technology and dive into the exact sciences. But lawyers are usually… slow. And a bit stupid. There, I said it.
I am co-editor and webmaster of Dicta&Contradicta, a Brazilian middle-high-brow cultural review. Most of what I’ve written there concerns science, philosophy and philology.
My belovèd wife is a gorgeous girl named L., a brilliant philosophy undergrad. She loves Descartes. Therefore I also love him.
I own two cats named Klaus and Kripke. The former is a Maine Coon aristocrat and the later is a lazy Rag Doll. They both love iterative loops with objects and insects.
My old blog is here. Almost all of it is written in Portuguese. SOON I will put on links to papers and projects.
Do drop me a line: old DOT mores AT gmail DOT com. Cheerio.