Research: Mathematics, Computer Science and Teaching


Logics has been a main theme along my studies. A first encounter with logic was when I attended to a class about Foundation of Mathematics, a long this class I began to appreciate the importance of foundations, meaning the necessary bases to build a formal subject. Foundations are the starting point of all mathematics, even for those topics more applyed in nature. A consecuence of this deep and sound interest on Logic derived on my Master Thesis, where I did explorer algebraic semantics for bimodal logics.


Foundations, Logic, Mathematical Logic

Computer Science

Main focus on Higher Order Logic, specifically addressing the question of extending some decidable fragments of Higher Order Unification under Isomorphisms of Types constraints.


Higher Order Logic, Higher Order Unification, Higher Order Matching, Isomorphism of Types, Lambda Calculus, Theoretical Computer Science, Mathematical Logic.


I am about to reach twenty years as a TA, Instructor, Lecturer, Academic, these experiences scope from teaching math courses to computer sciences topics. I do aim for other twenty years of productive work, this time however putting all these materials together on many lecture notes, and hopefully enough, putting them together on divulgatory books, for example on abstract machines.


Discrete Mathematics, Finite Mathematics, Formal Lenguajes, Functional Programming Languages, Foundations of Mathematics and Computer Sciences.

Please refer to the following documents for further details and complete research experiences description:: Lists of Publications || Invited Talks || Contributes Talks || Notes and Others.

© 2012 Carlos C. Martínez | Generated by webgen