ARECES, CARLOS EDUARDO

INVESTIGADOR PRINCIPAL

SPECIALITY:

Logica, Complejidad, Demostracion Automatica, Verificacion

Scientific discipline:

Informática y Comunicaciones - Informática y Comunicaciones

Topic:

Lógicas Dinámicas para la Acción . Dynamic Logics for Action

Workplace

SECCION CS.DE LA COMPUTACION Depends on

UNIVERSIDAD NACIONAL DE CORDOBA (UNC)

FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA (FAMAF)

	Address:
	AV.MEDINA ALLENDE 0, 5000 - Córdoba - Argentina

Contact:

Send Message

S&T Expertise*

Trabajo en el área de Lógica Computacional, con aplicaciones principalmente en Verificacion, Inteligencia Artificial y Procesamiento de Lenguaje Natural. Mis trabajos involucran temas de Complegidad Algoritmica, Teoría de Modelos, Demostración Automática, entre otros. *Information provided by the agent in SIGEVA

Lines of Investigation

Lógica Computacional CIENCIAS NATURALES Y EXACTAS - Ciencias de la Computación e Información - Ciencias de la Computación

Technological Capacities

1. Electrónica, TICs y telecomunicaciones

2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo

2.3. Inteligencia artificial (IA)
2.10. Bases de datos, gestión de bases de datos, extracción de datos

Key Words

ComplejidadLógica ComputacionalComputational LogicAutomated DeductionModel TheoryTeoría de ModelosInteligencia ArtificialDemostración AutomáticaArtificial IntelligenceComplexity

Education

1997 - 2000

Doctor en Informatica

Universiteit van Amsterdam

1990 - 1996

Licenciado en Ciencias de la Computacion

UNIVERSIDAD DE BUENOS AIRES

S&T HR Training

Director of

CASSANO, VALENTIN

Scientific Research Career at CONICET

HOFFMANN, GUILLAUME EMMANUEL

Scientific Research Career at CONICET

DUTTO, DANAE BETSABÉ

Scholars

CASSANO, Valentin Scientific Research Career at CONICET

HOFFMANN, Guillaume Emmanuel Scientific Research Career at CONICET

DUTTO, Danae Betsabé Scholars

Science and Technology Production

Loading data . . .

Services

Loading data . . .