Keynote Speakers
Michael Böhlen
Michael Böhlen is currently the the head of the database technology group at the Department of Informatics at the University of Zürich. His research interests include various aspects of data management, and have focused on time-varying information, data warehousing, similarity search in databases, and data analysis. His work has technological focus and includes the construction of data-centric systems, query processing, data modeling and query languages, and systems architectures. Before joining the University of Zürich, he was employed at the computer science departments of the Free University of Bozen-Bolzano, Aalborg University, University of Arizona, and ETH Zürich. He partecipates in numerous research projects, among which MEDAN, Timecenter, 3DVDM, and COSPA.
Estela Saquete Boró
Dr. Estela Saquete Boró obtained her PhD in Computer Science from the University of Alicante (2005). Her teaching and research activity started in 2002 in the Department of Software and Computing Science (Language Processing and Information Systems research Group - GPLSI) at the same university. Her research interests are focused on Computational Linguistics and Natural Language Processing. She contributed to more than 80 publications in high impact journals and prestigious international conferences in the field of natural language processing. She participated as a researcher in 41 projects financed with European, national and regional public funds (3 of them as Project Manager), and 5 research contracts with private entities (1 of them as Project Manager). She contributed as author of 3 developments that have been registered in the Registry of Intellectual Property as software registration. It also highlights the completion of two stays in international research centers (UK and US).
Patricia Bouyer
Patricia Bouyer holds a Ph.D. in Computer Science from ENS Cachan (2002). She has been a CNRS researcher since 2002 at Laboratoire Spécificaton et Vérification (LSV, CNRS & ENS Paris-Saclay, France). She has held post-doc and visiting positions at Aalborg University (Denmark) in 2002 and Oxford University (UK) in 2007. Patricia Bouyer-Decitre has been the principal investigator of ERC Starting Grant project EQualIS, whose aim is to enhance the design and verification of interacting systems, by providing quantitative analysis methods for such systems. Her main research topics are timed systems, model checking, games for synthesis and quantitative aspects of verification. She has been the recipient of a Marie Curie fellowship in 2006, of the Bronze medal of CNRS in 2007 and of the Presburger Award given by the EATCS in 2011.