More Web Proxy on the site http://driver.im/

João Marcos

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.
E-mail:

Research

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.

Teaching

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:

Computação e Programação (LEA, LEB, LEGM, LEMa, LEQ, LQ)
Summaries of classes: T15101, T06101+T23101, T05103.
Lógica Computacional (LCI, LMAC)
Summary of classes: T09301+T20201.

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).