Homepage of João Marcos

a page about logic, logic and, of course, LOGIC



I am currently an associate professor of the Department of
Informatics and Applied Mathematics (DIMAp / CCET / UFRN), and
a partner of the Security and Quantum Information Group (SQIG / IT).
Mailing address:
  DIMAp - CCET
  UFRN - Campus Universitário Lagoa Nova
  59072-970  Natal - RN
  BRAZIL
e-mail
Phone: +55 84 3215 3815 (ext:220)
FAX: +55 84 3215 3813

Research

If a little knowledge is dangerous, where is the man
who has so much as to be out of danger?
(Thomas Henry Huxley, 1877)

Here are preprints of most of my older papers.  Here you should be able to find a reasonably updated version of my CV and you may click here for my Scholar profile.  My PhD Thesis and my MSc Thesis may also be found online.

I currently act as a supervisor both at the Graduate Studies in Systems and Computing (research area: Theoretical Computer Science) of UFRN and the Graduate Program in Philosophy of UFRN (concentration area: Logic and Formal Philosophy).  I also coordinate the CNPq research group LoLITA (the acronym obviously stands for Logic, Language, Information, Theory and Applications).

Teaching

Teachers are the only saviors of nations.
(Mustafa Kemal Atatürk, 1881-1938)

For my current teaching duties, please check my local homepage at UFRN.

holding a philosophical object...

MISC (logic-related)

But we never admitted the birth of logic among us.
(Oswald de Andrade, 1928)

Both me and my pages will be permanently under construction!