Academic Summary

Currently Professor at Université d'Artois, Lens, France.

Education

Academic Habilitation in Mathematics and Computer Science, Lille 1 University, 1999. PhD in

Computer Science, Paris 7 University, 1992. PhD in Mathematical Logic, Paris 7 University, 1983.

Master in Computer Science, Paris 7 University, 1986. Master in Mathematical Logic, Paris 7

University, 1980. Bachelor of Arts in Mathematics, Simón Bolívar University, Caracas, 1978.

Professional experience

Professor at Los Andes University, Mérida, Venezuela (since January 2006); Professor at Yachay Tech University, Urcuquí, Ecuador (2018/9/1-2019/10/2); Head of Interdisciplinary Center of Logic and Algebra at Los Andes University, Mérida, Venezuela (2011-2018); Associate Professor at Los Andes University, Mérida, Venezuela (2001-2006); Professor at Artois University, Lens, France (1999-2002). Assistant Professor at Lille 1 University, Lille, France (1988-1999); Assistant Professor at Paris 13 University, Paris, France (1987-1988); Assistant Professor at École Normale Supérieure, Ulm, Paris, France (1986-1987). Assistant Professor at Simón Bolívar University, Caracas, Venezuela (1983-1985).

Research

Current interest areas: Mathematical Logic in Artificial Intelligence, specially Knowledge Representation and Knowledge Dynamics. Social Choice Theory and Decision Theory.

Old interest areas: Theoretical Computer Science, specially Lambda Calculus and Semantics of Programming Languages. Modeltheory.

Research Animation:

Advisor of 26 theses in the past (6 PhD , 11 Master theses and 9 of bachelors degree).

Currently advisor of 2 PhD theses.

More than 40 publications in books, journals and collections. More than 20 publications in

conferences.

Referee for international journals and conferences. Member of several Evaluation Committees

of Research Projects.

Teaching:

At level of Master and PhD studies: Mathematical Logic, Knowledge Dynamics, Nonmonotonic Logic, Social Choice Theory, Qualitative Decision Theory, Automata Theory, Functional and Logic Programming, Artificial Intelligence

At level of Bachelor: Programmation, Databases, Elements of Mathematics, Calculus, Real Analysis, Linear Algebra, Complex Analysis.