Raul Andres Leal

Home / Publications / Presentations / Teaching

Visiting Address
Institute for Logic Language and Computation.
Universiteit van Amsterdam
Science Park 904 (Room C.3.119)
1098 XH AMSTERDAM
The Netherlands
Phone: +31 20 525 8238
R.A.LealRodriguez@uva.nl

Postal Address
P.O. Box 94242
1090 GE Amsterdam
The Netherlands

pp
Follow this link to the home page of the 91st Peripatetic Seminar on Sheaves and Logic in Amsterdam - The Netherlands.

Follow this link to the home page of the Symposium of the Logic of Sheaves in Cali - Colombia.

About Me:
At the moment I am a PhD student at the project Algebra and Coalgebra: the mathematical environments of modal logic at the ILLC (UvA). My supervisor is Yde Venema . My current main research areas are Coalgebraic Modal Logic and Universal Coalgebra.

I hold a master degree in logic from the Universiteit van Amsterdam (ILLC). I also have a bachelor degree in mathematics from the Universidad Nacional of Colombia. More...

In addition to the mentioned topics I am also interested in Category Theory and its applications to Computer Science, Modal Logic, and Logic in General. I also like to investigate Topoi, Pointless Topology, Topology, and Philosophy of Mathematics among others topics.

Here you can download my CV.