Comisi´on Nacional Evaluadora de la Actividad Investigadora

Curriculum Vitae Jorge Castro Rabal

30 de diciembre de 2015

Contiene 11 p´aginas

Declaro que son ciertos los datos que figuran en este curriculum, asumiendo en caso contrario las responsabilidades que pudieran derivarse de las inexactitudes que consten en el mismo.

T´ıtulos Acad´ emicos T.1

Licenciado en Matem´aticas. Universidad Aut´ onoma de Barcelona (junio de 1986).

T.2

Doctor por la Universidad Polit´ecnica de Catalunya (junio de 2002); calificaci´on de excelente cum laude. Tesis titulada “Universal Dimension Functions and DistributionDependent Models for Query Learning”. Directores: Jos´e Luis Balc´azar y David Guijarro.

Situaci´ on Profesional Actual Organismo: Universidad Polit´ecnica de Catalunya. Centro de asignaci´ on actual: Facultad de Inform´atica de Barcelona Departamento: Departamento de Lenguajes y Sistemas Inform´aticos Categor´ıa actual profesional y fecha de inicio: Titular de Universidad, noviembre de 2008 Direcci´ on postal: Departamento de Ciencias de la Computaci´on Universidad Polit´ecnica de Catalu˜ na Edificio Omega, Despacho s121, Campus Nord c/Jordi Girona Salgado 1–3 08034 Barcelona Tel´ efono: 93 413 78 97 Fax: 93 413 78 33 Correo electr´ onico: [email protected]

1

Actividades Anteriores Enero 1987 – septiembre 1987: Profesor Colaborador de Universidad, con dedicaci´on exclusiva. Departamento de Programaci´on de Computadores de la Facultad de Inform´atica de Barcelona. Universidad Polit´ecnica de Catalu˜ na. Octubre 1987–octubre 1988: Profesor Agregado de Bachillerato (funcionario en pr´ acticas). Instituto Issac Alb´eniz en Badalona, provincia de Barcelona. Noviembre 1988 – enero de 1990: Profesor Titular Interino de Escuela Universitaria. Departamento de Lenguajes y Sistemas Inform´aticos de la Universidad Polit´ecnica de Catalu˜ na. Febrero 1990 – octubre 2008 Profesor Titular de Escuela Universitaria. Departamento de Lenguajes y Sistemas Inform´aticos de la Universidad Polit´ecnica de Catalu˜ na. Desde noviembre 2008: Profesor Titular de Universidad. Departamento de Lenguajes y Sistemas Inform´aticos de la Universidad Polit´ecnica de Catalu˜ na.

Idiomas Castellano, catal´ an, ingl´es, franc´es (este u ´ltimo s´olo a nivel de lectura).

2

Participaci´ on en Proyectos de Investigaci´ on Finanaciados

Working Groups Europeos NeuroColt, Neural and Computational Learning. Desde Marzo 1994 hasta octubre 1997. Responsable en Barcelona Felipe Cucker, investigador principal John Shawe-Taylor (Londres). NeuroColt 2, Neural and Computational Learning. Desde junio 1998 hasta junio 2002. Responsable en UPC Ricard Gavald`a, investigador principal John Shawe-Taylor (Londres). Pascal: Pattern Analysis, Statistical Modelling and Computational Learning . Desde diciembre de 2003 hasta enero de 2008. Responsable en Barcelona Gabor Lugosi, investigador principal John Shawe-Taylor. EU-PASCAL2 Network of Excellence Desde marzo de 2008 hasta marzo de 2013. Proyectos Binacionales Acci´on Integrada con Ulm 99B, 131B, 47B: Clases probabil´ısticas y modelos de c´ alculo no uniformes. Desde enero 1991 hasta diciembre 1993. Investigadores principales J.L. Balc´azar (Barcelona), U. Sch¨oning (Ulm). Acci´on Integrada con Ulm HA2004-0014: Quantum Computational Learning. Desde enero 2005 hasta diciembre 2006. Investigadores principales J. Castro (Barcelona), W. Lindner (Ulm). Proyectos Nacionales Fundamentos del aprendizaje computacional, DGICYT, c´odigo PB92-0709. Desde junio 1993 hasta junio 1996. Investigador principal J.L. Balc´azar. KOALA: Complejidad, Algor´ıtmica y Aprendizaje, DGICYT, c´odigo PB95-0787-A. Desde noviembre de 1996 hasta octubre de 1999. Investigador principal J.L. Balc´azar. FRESCO: Formalismos, Estructuras Relacionales y Complejidad, proyecto coordinado DGICYT, c´odigo PB98-0937-C04. Desde enero 2000 hasta diciembre 2002. coordinador J.L. Balc´azar, investigador principal del subproyecto en Barcelona J.L. Balc´azar. 3

TRANGRAM:Transductive Analysis in Graph-based Methods, subproyecto del proyecto MCYT coordinado GRAMMARS (TIN2004-07925-C03). Desde abril 2005 hasta marzo 2008. Investigador principal J.L. Balc´azar. FORMALISM: M´etodos Formales y Algoritmos para el dise˜ no de Sistemas, proyecto MCINN coordinado (TIN2007-66523). Desde enero de 2007 hasta diciembre de 2012 Investigador principal en el grupo LARCA: J.L.Balc´azar. LARCA: Laboratory for Relational Algorithmics, Complexity and Learnig, grupo de investigaci´on reconocido y financiado por la Generalitat de Catalunya desde 2009 (2009 SGR 1428).

4

Publicaciones 1. Libros En todos los casos por orden de firma. L.1.

Jorge Castro, Felipe Cucker, Xavier Messeguer, Albert Rubio, Lluis Solano y Borja Valles: “Curs de Programaci´o”. Editado por McGraw-Hill (1992). ISBN 84-481-0031-X.

L.2.

Jorge Castro, Felipe Cucker, Xavier Messeguer, Albert Rubio, Lluis Solano y Borja Valles: “Curso de Programaci´on”. Editado por McGraw-Hill (1993). ISBN 84-481-1959-2. Se trata de una traducci´ on y mejora del primero.

2. Art´ıculos en Revistas En todos los casos por orden de firma. R.1.

Jorge Castro y Felipe Cucker: “Nondeterministic ω-computations and the analytical hierarchy”. Mathematical Logic Quarterly (formerly Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik) 35 (1989), 333-342.

P R.2 Jorge Castro y Carlos Seara: “Complexity Classes between ΘP k and ∆k ”. RAIRO Informatique Th´eorique et Applications, 30 (1996), 101-121.

R.3 Jorge Castro, David Guijarro y V´ıctor Lav´ın: “Learning nearly monotone k-term DNF”. Information Processing Letters, 67 (1998), 75-79. R.4 Jorge Castro y David Guijarro: “PACS, Simple-PAC and Query Learning”. Information Processing Letters, 73 (2000), 11-16. ` y David Guijarro: “Some Results in ExR.5 Jorge Castro, Ricard Gavalda act Learning of Boolean Functions”. Guest contribution in the Complexity Theory Column, SIGACT News, ACM Press, 32 (2) (2001), 32-43. ´ Luis Balca ´ zar, Jorge Castro y David Guijarro: “A new abstract R.6 Jose combinatorial dimension for exact learning via queries”. Journal of Computer and System Sciences, 64 (2002), 2-21.

5

´ Luis Balca ´ zar, Jorge Castro, David Guijarro y Hans Ulrich Simon: R.7 Jose “The Consistency Dimension and Distribution-Dependent Learning from Queries” Theoretical Computer Science, 288 (2002), 197-215. ` rquez and Jorge Castro: “Filtering-Ranking R.8 Xavier Carreras, LLu´ıs Ma Perceptron Learning for Partial Parsing”. Machine Learning, 60 (2005), 41-71. R.9.

´ Luis Balca ´ zar, Jorge Castro, David Guijarro, Johannes Koebler Jose and Wolfgang Lindner: “A General Dimension for Query Learning”. Journal of Computer and System Sciences, 73 (2007), 924-940.

R.10.

Borja Balle, Jorge Castro and Ricard Gavald: “Learning probabilistic automata: A study in state distinguishability”. Theoretical Computer Science, 473 (2013) 46-60. http://dx.doi.org/10.1016/j.tcs.2012.10.009

R.11.

Borja Balle, Jorge Castro and Ricard Gavald: “Adaptively learning probabilistic deterministic automata from data streams”. Machine learning, 96 (2014), 99-127. http://dx.doi.org/10.1007/s10994-013-5408-x

3. Art´ıculos en Actas de Congresos Editadas como Libros En todos los casos por orden de firma. A.1

Jorge Castro y Carlos Seara: “Characterizations of some complexity classes between Θp2 and ∆p2 ”. Lecture Notes in Computer Science, 577 (1992), 305-317. Editado por A. Finkel y M. Jantzen. Springer-Verlag, ISBN 3-540-55210-3. Actas de STACS 92.

A.2

´ Luis Balca ´ zar: “Simple PAC learning of simple decision Jorge Castro y Jose lists”. Lecture Notes in Computer Science, 997 (1995), 239-248. Editado por K.P. Jantke y T. Zeugmann. Springer-Verlag, ISBN 3-540-60454-5. Actas de ALT 95.

A.3

Jorge Castro, David Guijarro y V´ıctor Lav´ın: “Learning nearly monotone k-term DNF”. Lecture Notes in Computer Science, 1208 (1997), 162-170. Editado por S. Ben-David. Springer-Verlag, ISBN 3-540-62685-9. Actas de EuroCOLT 97.

A.4

´ Luis Balca ´ zar, Jorge Castro, David Guijarro y Hans Ulrich Simon: Jose “The Consistency Dimension and Distribution-Dependent Learning from Queries”. Lecture Notes in Computer Science, 1720 (1999), 77-92. Editado por O. Watanabe y T. Tokomori. Springer-Verlag, ISBN 3-540-66748-2. Actas de ALT 99.

A.5

´ Luis Balca ´ zar, Jorge Castro, y David Guijarro: “A new abstract comJose 6

binatorial dimension for exact learning via queries”. Morgan Kaufmann Publishers, (2000), 248-254. Editado por N. Cesa-Bianchi y S. Goldman, ISBN 1-55860-703-X. Actas de COLT 00. A.6

´ Luis Balca ´ zar, Jorge Castro y David Guijarro: “A General Dimension Jose for Exact Learning”. Lecture Notes in Computer Science 2111 (2001), 354-367. Editado por D. Helmbold y B. Williamson. Springer-Verlag, ISBN 3-540-42343-5. Actas de COLT 01.

A.7

Jorge Castro: “How Many Query Superpositions Are Needed to Learn?”. Lecture Notes in Computer Science 4264 (2006), 78-92. Editado por Jos´e L. Balc´azar, Phil M. Long and Frank Stephan. Springer, ISBN 3-540-46649-5. Actas de ALT 06.

A.8

` : “Towards Feasible PAC-Learning of ProbJorge Castro y Ricard Gavalda abilistic Deterministic Finite Automata” Lecture Notes in Computer Science 5278 (2008), 163-174. Editado por Alexander Clark, Fran¸cois Coste and Laurent Miclet Springer, ISBN 3-540-88008-9. Actas de ICGI 2008

A.9

` : “A Lower Bound for LearnBorja Balle, Jorge Castro and Ricard Gavalda ing Distributions Generated by Probabilistic Automata” Lecture Notes in Computer Science 6331 (2010), 179-193. Editado por Marcus Hutter, Frank Stephan, Vladimir Vovk and Thomas Zeugmann. Springer, DOI: 10.1007/978-3-642-16108-7. Actas de ALT 2010

A.10

` : “Learning PDFA with Borja Balle, Jorge Castro and Ricard Gavalda Asynchronous Transitions” Lecture Notes in Computer Science 6339 (2010),271-275. Editado por Jos´e M. Sempere and Pedro Garc´ıa. Springer, DOI: 10.1007/978-3-64215488-1. Actas de ICGI 2010

A.11

` : “Bootstrapping and Borja Balle, Jorge Castro and Ricard Gavalda Learning PDFA in Data Streams” Journal of Machine Learning Research 21 (2012),3448. ISSN 1533-7928. Actas de ICGI 2012

A.12

Jorge Castro, Joaquim Gabarro, Maria Serna and Alan Stewart: “The Robustness of Periodic Orchestrations in Uncertain Evolving Environments” Lecture Notes in Computer Science 9161 (2015), 129-140. Editado por S´ebastien Destercke and Thierry Denoeux. Springer, DOI:10.1007/978-3-319-20807-7 12. Actas de ECSQARU 2015

5. Art´ıculos en Revistas Electr´ onicas E.1.

Jorge Castro: “On the Query Complexity of Quantum Learners”. Electronic 7

Colloquium on Computational Complexity TR05-082 (2005).

8

Comunicaciones y Ponencias en Congresos 1. Comunicaciones en congresos cient´ıficos con referees C.1.

Jorge Castro y Felipe Cucker: “On the degree of some problems over infinite words”. Fifth International Symposium on Computer and Information Sciences, Nevsehir (Turqu´ıa), 1990. Actas publicadas por la Istambul Technical University, p´aginas 289–298.

C.2

Jorge Castro y Carlos Seara: “Characterizations of some complexity classes between Θp2 and ∆p2 ”. Ninth Annual Symposium on Theoretical Aspects of Computer Science (STACS’92), Cachan (Francia), 1992. Actas publicadas por SpringerVerlag, Lecture Notes in Computer Science 577, p´aginas 305-317. Est´a tambi´en referenciado en la secci´on anterior.

C.3

´ Luis Balca ´ zar: “Simple PAC learning of simple decision Jorge Castro y Jose lists”. Sixth International Workshop on Algorithmic Learning Theory (ALT’95), Fukuoka (Jap´ on), 1995. Actas publicadas por Springer-Verlag, Lecture Notes in Computer Science 997, p´aginas 239-248. Est´a tambi´en referenciado en la secci´on anterior.

C.4

Jorge Castro, David Guijarro y V´ıctor Lav´ın: “Learning nearly monotone k-term DNF”. Third European Conference on Computational Learning Theory (EuroCOLT’97), Haifa (Israel), 1997. Actas publicadas por Springer-Verlag, Lecture Notes in Computer Science 1208, p´aginas 162-170. Est´a tambi´en referenciado en la secci´on anterior.

C.5

´ Luis Balca ´ zar, Jorge Castro, David Guijarro y Hans-Ulrich Simon: Jose “The Consistency Dimension and Distribution-Dependent Learning from Queries.” Tenth International Workshop on Algorithmic Learning Theory (ALT’99), Tokyo (Jap´ on), 1999. Actas publicadas por Springer-Verlag, Lecture Notes in Computer Science 1720, p´aginas 77-92. Est´a tambi´en referenciado en la secci´on anterior.

C.6

´ Luis Balca ´ zar, Jorge Castro y David Guijarro: “A new abstract comJose binatorial dimension for exact learning via queries.” 13th Computational Learning Theory (COLT’00), Palo Alto (California), 2000. Actas publicadas por Morgan Kaufmann Publishers, p´aginas 248-254. Est´a tambi´en referenciado en la secci´on anterior.

C.7

´ Luis Balca ´ zar, Jorge Castro y David Guijarro: “A General Dimension Jose for Exact Learning.” 14th Computational Learning Theory (COLT’01), Amsterdam (Holanda), 2001. Actas publicadas por Springer-Verlag, Lecture Notes in Computer 9

Science 2111, p´aginas 354-367. Est´a tambi´en referenciado en la secci´on anterior. C.8

Jorge Castro: “How Many Query Superpositions Are Needed to Learn?” 17th International Conference on Algorithmic Learning Theory (Alt’06), Barcelona 2006. Actas publicadas por Springer, Lecture Notes in Computer Science 4264 , p´aginas 78-92. Est´a tambi´en referenciado en la secci´on anterior.

C.9

` : “Towards Feasible PAC-Learning of ProbJorge Castro y Ricard Gavalda abilistic Deterministic Finite Automata” 9th International Colloquium on Grammatical Inference (ICGI 2008),Saint-Malo, France. Actas publicadas por Springer, Lecture Notes in Computer Science 5278, p´aginas 163-174. Est´a tambi´en referenciado en la secci´on anterior.

C.10

` : “A Lower Bound for Borja Balle, Jorge Castro and Ricard Gavalda Learning Distributions Generated by Probabilistic Automata” 21st International Conference on Algorithmic Learning Theory (Alt’2010), Canberra, Australia 2010. Actas publicadas por Springer, Lecture Notes in Computer Science 6331, p´aginas 179-193. Est´a tambi´en referenciado en la secci´on anterior.

C.11

` : “Learning PDFA with Borja Balle, Jorge Castro and Ricard Gavalda Asynchronous Transitions” 10th International Colloquium on Grammatical Inference (ICGI 2010),Valencia, Spain. Actas publicadas por Springer, Lecture Notes in Computer Science 6339, p´aginas 271-275. Est´a tambi´en referenciado en la secci´on anterior

C.12

` : “Learning Markovian Borja Balle, Jorge Castro and Ricard Gavalda Models from Time-Evolving Data Streams” From Data to Knowledge. MachineLearning with Real-time and Streaming Applications , University of California, Berkeley, May 2012.

C.13

` : “Bootstrapping and Borja Balle, Jorge Castro and Ricard Gavalda Learning PDFA in Data Streams” 11th International Colloquium on Grammatical Inference (ICGI 2010),Washington, DC, USA. Actas publicadas en Journal of Machine Learning Research 21 (2012), 34-48. Est´a tambi´en referenciado en la secci´on anterior

C.14

Jorge Castro, Joaquim Gabarro, Maria Serna and Alan Stewart: “The Robustness of Periodic Orchestrations in Uncertain Evolving Environments” 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainity (ECSQARU 2015), Compi`egne, France. Actas publicadas en Lecture Notes in Computer Science 9161 (2015), 129-140. Est´a tambi´en referenciado en la secci´on anterior

10

2. Comunicaciones en congresos sin referees C.14

Jorge Castro y Carlos Seara: “The Θ-operator and the low hierarchy.” Fourth Barcelona-Ulm Workshop on Probabilistic Complexity Classes and Nonuniform Computational, Barcelona, 1993. Actas publicadas como Informe de Investigaci´ on 93-24-R del Departamento Lenguajes y Sistemas Inform´aticos, UPC, p´aginas 10-15.

C.15

´ Luis Balca ´ zar y Jorge Castro: “Equivalence queries under probaJose bility distributions.” American Association for Artificial Intelligence AAAI Fall Symposium on Active Learning, Massachussets Institute of Thecnology, Cambridge (Massachusetts), 1995. Actas del workshop, p´agina 8.

C.17

Jorge Castro: “Query learning models as a design tool for PAC models.” Fourth French Workshop on Algorithmic Theory of Information, Lille (Francia),2000. Sin actas.

C.18

Jorge Castro: “Support Vector Machines: Bioinformatic Applications”. Primera Reuni´ o de la Xarxa Catalana de Bioinform` atica, Balaguer (Lleida), 2002. Sin actas.

11

Otros M´ eritos M.1

Referee de art´ıculos en varias ocasiones para las siguientes revistas y congresos: Informatique Th´eorique et Applications, Machine Learning, Journal of Machine Learning Research, Symposium on Theoretical Aspects of Computer Science (STACS), IEEE Symposium on Foundations of Computer Science (FOCS), Algorithmic Learning Theory (ALT), Computational Learning Theory (COLT) y European Conference on Machine Learning (ECML).

M.2 Reconocidos tres sexenios de investigaci´ on. M.3 Desarrollo de software: Dise˜ no y programaci´ on de una aplicaci´ on para resolver puzzles tipo cubo Rubik. Volzaper 1998. M.4 Co-direcci´ on de la tesis doctoral de Borja Balle Pigem. Direcci´on de una tesis doctoral en curso finaciada por la Generalitat de Catalunya dentro del programa de doctorados industriales. Direcci´on de varios proyectos de fin de carrera. M.5 Coordinaci´ on durante varios cursos de la asignatura de Programaci´on 1 en la Facultat d’Inform`atica de Barcelona con alrededor de 500 estudiantes matriculados. M.6 Otras publicaciones docentes.

12