*Research: Mathematics, Mathematical logic, Computer Science and Teaching*

### Mathematics

Exploring stability and stabilizability conditions for Differences Equations Systems. This is part of joint work with Rigoberto Medina.

##### Subject Keywords

Discrete Systems, Dinamical Systems, Differences Equations

### Mathematical Logic

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.

##### Subject Keywords

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.

##### Subject Keywords

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

### Teaching

Experiences last for more than twenty years, starting from TA, Instructor, Lecturer, to the current apointment as Assistant professor. Teaching span from math courses to computer sciences topics. I do aim to build a repository under MOODLE, place where most of teaching materials will be available for free consumption.

##### Subject Keywords

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 || Outreach, Notes and Others.

**© 2016 Carlos C. Martínez** | Generated by webgen