HOFFMANN, GUILLAUME EMMANUEL

INVESTIGADOR ASISTENTE

SPECIALITY:

Theorem proving

Scientific discipline:

Informática y Comunicaciones

Topic:

Consolidar y ampliar los resultados obtenidos con DefTab

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*

Ingeniero en Informática. Doctor en ciencias de la computación. Temáticas de investigación: lógicas modales, implementación de desmostradores automáticos, teledetección satelital (óptica, radar). Programador. Gestor del proyecto del software libre Darcs. Docente en programación. *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.6. Software
2.9. Protección de datos, almacenamiento, criptografía, seguridad
2.10. Bases de datos, gestión de bases de datos, extracción de datos
2.13. Tecnología de información / informática
2.23. Internet de las cosas
2.24. Actuadores, sensores medioambientales y biométricos

4. Multimedia

4.2. Tele-enseñanza (e-Learning)

Key Words

demostradores automáticoslógicas modalestableauxmodal logicstheorem provers

Education

2007 - 2010

Doctorado

UNIVERSITÉ HENRI POINCARÉ NANCY 1

2003 - 2006

Ingeniero

ESIAL

Directed by

ARECES, CARLOS EDUARDO

Scientific Research Career at CONICET

ARECES, Carlos Eduardo Scientific Research Career at CONICET

Science and Technology Production

Loading data . . .

Services

Loading data . . .