Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla
Grupos de Investigación

TIC137: Logica, Computacion e Ingenieria del Conocimiento

Responsable: Joaquin Borrego Diaz
Teléfono: 95.455.78.79
Email: Solicitar correo

Componentes:*

Líneas de Investigación:
  • Lógica Computacional.
  • Subrecursión: Clasificación de Funciones Computables
  • Métodos Formales en Computación e Inteligencia Artificial.
  • Aprendizaje Automático Aplicado al Análisis de Sistemas Complejos
  • Razonamiento Automático
  • Aspectos Matemáticos del Aprendizaje Automático
  • Representación del Conocimiento y Razonamiento en Inteligencia Artificial
  • Lógica Matemática
  • Teoría Aritméticas de Primer y Segundo Orden
  • Algoritmos y Modelos Computacionales para la Modelización de Sistemas Complejos
  • Aplicaciones del Análisis Formal de Conceptos en Inteligencia Artificial
Actividad Grupo (códigos SIC):
  • E-Publishing, Contenidos Digitales
  • E-Learning
  • Tecnologías de Internet/ Comunicación (Inalámbrico, Wi-Fi, Bluetooth)
  • Tecnología de Información / Informática
  • Inteligencia Artificial (AI)
  • Filtrado de Información, Semántica, Estadística
  • Algoritmos y Complejos
  • Modelado Matemático
TIC193: Computacion Natural

Responsable: Agustin Riscos Nuñez
Teléfono: 954552792
Email: Solicitar correo

Componentes:*

Líneas de Investigación:
  • Algoritmos y Modelos Computacionales para la Modelización de Sistemas Complejos
  • Desarrollo de Lenguajes de Especificación para Computacion Bioinspirada
  • Teoría de la Complejidad Computacional en Modelos Bioinspirados
  • Modelos Computacionales en Biología de Sistemas
  • Modelos Bioinspirados para la Resolución de Problemas de Planificación en Robótica
  • Desarrollo de Herramientas Basadas en Computación de Altas Prestaciones para Computación Científica / Bioinspirada
  • Desarrollo de Simuladores de Modelos Computacionales Bioinspirados
  • Desarrollo de Herramientas de Apoyo a la Toma de Decisiones Usando Modelos Computacionales Bioinspirados Probabilísticos, Estocásticos o de Lógica Difusa
  • Aplicación de la Computación con Gpu al Desarrollo de Simuladores Eficientes de Modelos Bioinspirados
Actividad Grupo (códigos SIC):
  • Modelado Matemático
  • Inteligencia Artificial (AI)
  • Diseño y Modelado / Prototipos
  • Bioinformática
Tecnología Generada (códigos SIC):
  • Simulación
  • Química Computacional y Modelaje
  • Modelado Matemático
  • Inteligencia Artificial (AI)
  • Bioinformática
  • Aplicaciones Inteligentes

 

(*) Aparecen solo aquellos componentes que han autorizado en SICA la exportación de sus datos a otras entidades, para ello puede seguir los pasos que le indica esta página, y una vez autorizado sus datos se mostrarán en unos días

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla