Grupo de Computación Natural

TITULO:

Combinatorial Aspects in Formal Language Theory.

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Daniel Claudian Voinescu

UNIVERSIDAD:

University of Bucharest

AÑO:

2010

TITULO:

On Parikh Matrices and Ambiguity.

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Traian Virgil Serbanuta

UNIVERSIDAD:

University of Bucharest

AÑO:

2010

TITULO:

New techniques for implementing Membrane Systems.

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Alberto Arteta Albert

UNIVERSIDAD:

Univ. Politécnica de Madrid Facultad de de Informática

AÑO:

2010

CALIFICACION:

Sobresaliente "Cum Laude".

TITULO:

Communication Architectures for algorithmic computing in multi-strain bacterial populations.

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Angel Goñi Moreno

UNIVERSIDAD:

Univ. Politécnica de Madrid Facultad de de Informática

AÑO:

2010

CALIFICACION:

Sobresaliente "Cum Laude". Honorific mention of European Ph. D.

TITULO:

Contributions of Formal Language Theory and Grammar Systems Theory to the Formal Study of Dialogues

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Maria Adela Grando

UNIVERSIDAD:

Rovira i Virgili University, Tarragona

AÑO:

2009

TITULO:

Modelo de Computación Conexionista Inspirado en las Redes de Procesadores Evolutivos y su Aprendizaje.

SUPERVISOR:

Luis Fernando de Mingo López

DOCTORANDO:

Miguel Angel Díaz Martínez

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

13 de julio de 2009

CALIFICACION:

SOBRESALIENTE CUM LAUDE POR UNANIMIDAD

TITULO:

Language Learning with Correction Queries

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Cristina Bibire-Târnauca

UNIVERSIDAD:

Rovira i Virgili University, Tarragona

AÑO:

2009

TITULO:

Membrane Computing: Traces, Neural Inspired Models, Controls

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Armand-Mihai Ionescu

UNIVERSIDAD:

Rovira i Virgili University, Tarragona

AÑO:

2008

TITULO:

Redes de Procesadores Evolutivos: Autoaprendizaje de Filtros en las Conexiones.

SUPERVISOR:

Luis Fernando de Mingo López

DOCTORANDO:

Nuria Gómez Blas

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

26 de mayo de 2008

CALIFICACION:

SOBRESALIENTE CUM LAUDE POR UNANIMIDAD. MENCIÓN DE DOCTORADO EUROPEO

TITULO:

Finite Models of Splicing and their Complexity

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Remco Loos

UNIVERSIDAD:

Rovira i Virgili University, Tarragona

AÑO:

2008

TITULO:

Desarrollo de Sistemas Físicos para Implantar Modelos de Computación con Membranas

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Víctor Martínez Hernando

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

2008

CALIFICACION:

SOBRESALIENTE CUM LAUDE

TITULO:

Networks of Bio-Processors

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Florin Manea

UNIVERSIDAD:

University of Bucharest, Romania

AÑO:

2007

TITULO:

Languages Generated by Iterated

SUPERVISOR:

Victor Mitrana

DOCTORANDO:

Peter Leupold

UNIVERSIDAD:

Rovira i Virgili University, Tarragona

AÑO:

2006

TITULO:

Redes Neuronales Probabilísticas con Funciones de Núcleo Rotadas

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Ingo Galleske

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

2004

CALIFICACION:

SOBRESALIENTE CUM LAUDE

TITULO:

Estructuras y Biolenguaje para Simular Computación con Membranas

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Fernando Arroyo Montoro

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

2004

CALIFICACION:

SOBRESALIENTE CUM LAUDE

TITULO:

Control Inteligente de Sistemas Dinámicos Caóticos

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Cristina Hernández de la Sota

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

2004

CALIFICACION:

SOBRESALIENTE CUM LAUDE

TITULO:

Nuevos Métodos para el Reconocimiento y Clasificación de Patrones con Redes de Neuronas

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Luis Fernando de Mingo López

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

2000

CALIFICACION:

SOBRESALIENTE CUM LAUDE

TITULO:

Extracción de Conocimiento Simbólico en Redes de Neuronas Artificiales

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Ana Martínez Blanco

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

1998

CALIFICACION:

Apto "Cum Laude" por unanimidad

TITULO:

Modelo para Análisis y Conceptualización de Sistemas Inteligentes para Control de Procesos Industriales en Tiempo Real

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Miren Idoia Alarcón Rodríguez

UNIVERSIDAD:

Facultad de Informática Universidad Politécnica de Madrid

AÑO:

1995

CALIFICACION:

Apto "Cum Laude"por unanimidad

TITULO:

Hybrid Intelligent Systems and Rule. Extraction from Trained Neural Networks

SUPERVISOR:

Juan Bautista Castellanos Peñuela

DOCTORANDO:

Michael Miliarakis

UNIVERSIDAD:

Department of Computing Science University of Aberdeen

AÑO:

1994