II Jornadas de Orientacin Laboral

ETSI Informtica
Presentacin del Mster
Lgica, Computacin e Inteligencia Articial
Joaqun Borrego Daz
Coordinador del Master
Departamento de Ciencias de la Computacin e IA
Universidad de Sevilla
Contenido
Entorno acadmico: Actividad investigadora del
Departamento de CCIA
Presentacin del Mster
Estructura de los estudios
Salidas profesionales
Lneas principales de investigacin:
Lgica Computacional
Computacin bioinspirada
Ingeniera del Conocimiento
Lgica Matemtica y Computabilidad
Alto componente investigador en el departamento
Seis proyectos de Investigacin (4 nacionales y 3 internacionales)
Dos proyectos de excelencia
Coordinacin de una red temtica
En los ltimos cinco aos, 13 tesis doctorales (3 doctorados
europeos, 2 premios extraordinarios)
Actualmente hay 24 alumnos (docencia, investigacin, tesis)
Actividad investigadora del
Departamento de CCIA
Colombia
Brasil
Espaa
Italia
Portugal
Rumana
Bolivia
Mongolia
Jordania
Ecuador
Mxico
China
Marruecos
Acuerdos bilaterales con diferentes Universidades e
Instituciones
Procedencia de los alumnos de
doctorado
Costa Rica
La Formalizacin y el
razonamiento
U
n

p
r
o
y
e
c
t
o

n
a
c
i
o
n
a
l

I
+
D
+
I

e
n

c
a
d
a

l

n
e
a
Son caractersticas fundamentales del programa
Modelos de computacin no convencionales
Grupo de Computacin Natural
Razonamiento automtico y lgica computacional
Grupo de Lgica Computacional
Razonamiento matemtico sobre la computabilidad
Grupo de Lgica Matemtica
La ciencia es el pilar del desarrollo tecnolgico y de
la innovacin...
...Y la ciencia se basa en la teora, en la investigacin
Filosofa Fundamental
De la ciencia a la Ingeniera
La Teora y la Ciencia como
pilar para la innovacin
La Ingeniera como
herramienta de aplicacin/
produccin de nuevos
servicios y sistemas
La innovacin es la apuesta
natural para transferir
conocimiento
Ejemplo I: Aplicaciones
Modelizacin/simulacin de
procesos biolgicos
Tumores
Simulacin de modelos en
ecologa
Conservacin de especies
(quebrantahuesos)
Especies invasoras
(mejilln cebra)
...
Ejemplo II: Aplicaciones
Anlisis Formal de
Conceptos
Matematizacin de
conceptos y sus relaciones
(retculo completo) mediante
una conexin de Galois
Aplicaciones en Medicina,
Minera de Datos, Web
Semntica, Web 2.0, etc.
Semntica Emergente
Ejemplo III: Aplicaciones
Control inteligente de
maquinaria industrial
mediante sistema experto
Procesamiento del lenguaje
natural
Vericacin de sistemas
inteligentes
Razonamiento
Automtico para la
Web Semntica
Aplicaciones
empresariales
Mster en
Lgica, Computacin e Inteligencia
Articial

Mster Universitario

Aprobado este curso 2010-11

De orientacin acadmica-investigadora

Ampla la oferta docente de los cursos de

doctorado

Mencin de Calidad (referencia 2007-00137)

Mencin hacia la excelencia (primera fase)

Caractersticas fundamentales

Carcter investigador

Todos los cursos son de carcter optativo

Docencia: 48 crditos (8 cursos)

Trabajo Fin de Mster:12 crditos ECTS

Aprendizaje Automtico

Computacin Bioinspirada

Ingeniera del Conocimiento

Mtodos Computacionales en Vida Articial

Razonamiento Automtico

Representacin del Conocimiento en la Web

Seminario de Lgica Matemtica y Computacin

Competencias Digitales para la Enseanza

Modelos de la Aritmtica

Programacin Lgica

Razonamiento Asistido por Computador

Simulacin y Anlisis Computacional en Biologa de Sistemas

Sntesis, Vericacin y Razonamiento sobre Agentes Inteligentes

Tcnicas Inteligentes en Bioinformtica

Cursos
6

c
r

d
i
t
o
s

E
C
T
S
Cmo congurar tu
itinerario curricular?
Consulta con el
coordinador!
Ejemplos

Aprendizaje Automtico

Razonamiento Automtico

Representacin del Conocimiento en la Web

Seminario de Lgica Matemtica y

Computacin

Modelos de la Aritmtica

Programacin Lgica

Razonamiento Asistido por Computador

Sntesis, Vericacin y Razonamiento sobre

Agentes Inteligentes
Lgica
Computacional

Aprendizaje Automtico

Computacin Bioinspirada

Mtodos Computacionales en Vida Articial

Representacin del Conocimiento en la Web

Programacin Lgica

Simulacin y Anlisis Computacional en

Biologa de Sistemas

Sntesis, Vericacin y Razonamiento sobre

Agentes Inteligentes

Tcnicas Inteligentes en Bioinformtica

Computacin
bioinspirada

Aprendizaje Automtico

Ingeniera del Conocimiento

Mtodos Computacionales en Vida Articial

Razonamiento Automtico

Representacin del Conocimiento en la Web

Programacin Lgica

Razonamiento Asistido por Computador

Sntesis, Vericacin y Razonamiento sobre

Agentes Inteligentes
Ingeniera del
conocimiento
Otros factores a tener en
cuenta...
Restricciones laborales.
Conciliacin
Intereses particulares
En cualquier caso, consulta
con el coordinador
Trabajo Fin de Mster
12 crditos ECTS
Conciliacin de intereses iniciales del alumno con los
de los investigadores del departamento
Orientacin personalizada del coordinador
Plazo de entrega y defensa extendido hasta Diciembre
Algunos trabajos nalizados
(hasta el momento)
Aplicaciones de la racionalidad
acotada para el pronstico de
resultados deportivos
Conciliacin de conceptos formales
en sistemas de etiquetado
mediante sistemas multiagente
Anlisis genmico a travs de
herramientas informticas aplicadas
a datos de secuenciacin de nueva
generacin
Empleo?
Salidas profesionales
Pocos datos del Mster por ahora
Mster y programa de doctorado precedente:
Institutos y laboratorios de investigacin
Microsoft Research Italia
CulturePlex Lab, UWO Canad
IIA, CSIC
Docencia Universitaria
Contratos en proyectos de investigacin
Emprendimiento, spinoff
Empresas Ejemplo
Temas tratados en el Master
II Jornadas de Orientacin Laboral
ETSI Informtica
Joaqun Borrego Daz
Coordinador del Master
Departamento de Ciencias de la Computacin e IA
Universidad de Sevilla
http://master.cs.us.es
http://master.cs.us.es/wordpress/