Keynotes

Keynote 1: Armando Fox (Univ. Berkeley, EEUU)


	El Dr. Armando Fox, profesor de la Universidad de Berkeley, estará en Almería los próximos días 17, 18 y 19 de Septiembre, para participar en las jornadas Sistedes 2012, donde ofrecerá una charla concertada por JISBD y JCIS. [ Resumen de la charla ] (Español) [ Resumen de la charla ] (Inglés)

Bio: Armando Fox (fox@cs.berkeley.edu) is an Adjunct Associate Professor at UC Berkeley, a co-founder of the Berkeley RAD Lab and Academic Director for Online Education at Berkeley. Prior to that he was an Assistant Professor of Computer Science at Stanford, and received his PhD, MS and BS degrees at Berkeley, Illinois at MIT respectively. His current research interests include applied statistical machine learning and cloud computing; he is a co-author of the recently released position paper “Above the Clouds: A Berkeley View of Cloud Computing” and has frequently lectured on this topic. He has published several papers in collaboration with top machine learning researchers on the application of machine learning to diagnosing, characterizing and identifying operational problems in datacenter-scale and cloud computing installations. His 2003 collaboration with David Patterson on Recovery-Oriented Computing earned him the distinction of being included in the “Scientific American 50″ top researchers. He has received teaching awards from the Associated Students of Stanford University, the Society of Women Engineers, and Tau Beta Pi Engineering Honor Society. In previous lives he helped design the Intel Pentium Pro microprocessor and founded a company to commercialize his UC Berkeley dissertation research on mobile computing.

Keynote 2: Maribel Fernández (King’s College London)


	La Dra. Maribel Fernandez, Professor of Computer Science at King's College London, estará en Almería para participar en las jornadas Sistedes 2012, donde ofrecerá una charla concertada por PROLE. [ Resumen de la charla ]

Bio: Maribel Fernandez is Professor of Computer Science at King's College London. She obtained her PhD in 1993 from the University of Paris-Sud, and her Habilitation in 2000 while she was a Maitre de conferences at the Ecole Normale Superieure in Paris. Her research interests include computation models, specification and programming languages, and the development of tools for the analysis and verification of complex systems. Her expertise is in type systems, semantics and foundations of security, using rewrite-based techniques (term and graph rewriting, and lambda-calculus).