João Marcos

Werk om te leven, leef niet om te werken.

I am nothing.  I shall never be anything.  I cannot wish to be anything. 
Aside from that, I hold within me all the dreams of the world.

(Álvaro de Campos)

Now, if you still care at all about me:
I am a full member of the Center for Logic and Computation (CLC) of the IST.


Navigare necesse est, vivere non est necesse.
(Thus spake Pompey, the Roman general, according to Plutarch's Life of Pompey.)

Here you can find preprints of my papers.

Here you can find my Master's Thesis and here is my PhD Thesis.

Be sure to check also my Main Research Page.


Teachers are the only saviors of nations.
(Mustafa Kemal Atatürk, Oct 14, 1925.)

At the Department of Mathematics of the IST, in between 2003 and 2004:

I myself feel very proud of being completely selftaught (unless of course you think that all my excellent teachers really succeeded in teaching me anything).