Research areas
-
Bionspired natural computing
-
Networks of Bio-Processors, Membrane Computing and Bio-Languages as the frameworks to define computational models based on biomolecules and living cells.
- The Spanish Network on Biomolecular and Biocellular Computing (REDBIOCOM) [here]
- The P Systems web Page [here]
-
Formal Language and Automata Theory
-
Formal Language Theory is a framework to study languages
defined in a mathematical way. Usually, one can approach this study within a generative
domain (formal grammars) or an abstract machine domain (automata). We mainly study different
aspects of this theory such as
- Characterization of language families in the Chomsky's Hierarchy
- Descriptional Complexity of language classes through automata and/or grammars
- New models of computation based on biochemistry which characterize language classes
-
Bioinformatics
-
Bioinformatics is a wide research area which aims to
develop new tools that help biologists, physicians and other researchers to solve/analyze/explore
specific problems related to the living beings. Here our interest is focused on the problems
related to biological sequences (DNA, RNA and proteins). Basically we try to solve problems
such as ...
- Prediction of functional and structural domains (motifs) in DNA, RNA and protein sequences
- DNA/RNA multialignment
- Phylogenetics
Scientific charges
- Coordinator of the Spanish Thematic Network for Biomolecular and Biocelular Computing (REDBIOCOM)
- Member of the Bulletin Committee of the International Membrane Computing Society (IMCS)
- Member of the Steering Committee for the Conference and Asian Conference on Membrane Computing
Invited speaker
- 15th International Conference on Automata and Formal Languages (AFL 2017) September 4-6, 2017, Debrecen, Hungary.
- 10th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2018) August 21-22, 2018, Košice, Slovakia.
Conference Scientific and Organization Committees
- 18th International Conference on Membrane Computing (CMC18) (PC member)
- 8th International Conference on Natural Information Technologies (NIT 2016) (PC member, OC member)
- 17th International Conference on Membrane Computing (CMC17) (PC member)
- 16th International Conference on Membrane Computing (CMC16) (PC chair, OC chair)
- 5th International Conference on Natural Information Technologies (NIT 2014) (PC member, OC member)
- 12th International Conference on Grammatical Inference (ICGI 2014) (PC member)
- Fourth International Conference on Natural Information Technologies (NIT 2013) (PC member, OC member)
- Third International Conference on Natural Information Technologies (NIT 2012) (PC member, OC member)
- Segundo Taller Iberoamericano de Enseñanza e Innovación Educativa en Seguridad de la Información (TIBETS 2012) (PC member)
- 11th International Conference on Grammatical Inference (ICGI 2012) (PC member)
- XII Reunión Española sobre Criptología y Seguridad de la Información 2012 (PC member)
- Second International Conference on Natural Information Technologies (NIT 2011) (PC member)
- International Conference on Natural Information Technologies (NIT 2010) (PC member)
- 10th International Colloquium on Grammatical Inference (ICGI 2010) (PC chair, OC chair)
-
XI Reunión Española sobre Criptología y Seguridad de la Información 2010 (PC member)
-
9th Workshop on Membrane Computing 2008 (PC member)
-
X Reunión Española sobre Criptología y Seguridad de la Información 2008 (PC member)
-
II Simposio sobre Seguridad Informática 2007 (PC member)
-
IX Reunión Española sobre Criptología y Seguridad de la Información 2006 (PC member)
-
I Simposio sobre Seguridad Informática 2005 (PC member)
-
ECAI Workshop on Symbolic Networks 2004 (PC chair, OC chair)
-
3rd International Colloquium on Grammatical Inference (ICGI 1996) (OC member)
-
2nd International Colloquium on Grammatical Inference (ICGI 1994) (OC member)
PC = Program Committee OC = Organization Committee