Alexander Pretschner - Technische Universität Munchen [website]
Alexander Pretschner is a full professor of Computer Science at Technische Universität Munchen, Germany. Prior appointments include a professorship at Karlsruhe Institute of Technology, where he headed the Trustworthy Certifiable Computer Systems Group; a professorship at Kaiserslautern University of Technology; a research group leadership position at the Fraunhofer Institute for Experimental Software Engineering in Kaiserslautern; guest professorships at the universities of Rennes, Trento, and Innsbruck; and a post doc position at ETH Zurich. PhD from Munich University of Technology; Master's degrees in computer science from the University of Kansas and from RWTH Aachen.
His main research interests are information security, specifically distributed data usage control; and software engineering, specifically testing. He has published 65 papers; organized 25 symposia, including general chairmanships of the 4th International Conference on Software Testing, Verification, and Validation (2011) and the 6th International Workshop on Security and Trust Management (2010). He has served on the program committees of 60 international conferences and workshops.
[See talk]
Haitao Dan - University of Brunel [website]
Haitao Dan received the BA degree in Electronics Engineering from Sichuan University, China. He worked as a software engineer and then a group manager in networking industry for 6 years in China. He received the PhD degree in computer science from Brunel University, UK where he has also worked as a research fellow from 2009. His research interests are scenario-based models, distributed testing and semantic mutation testing.
[See talk]
Thierry Jéron - IRISA Rennes, France [website]
Thierry Jéron is Inria Research Director in the INRIA Rennes - Bretagne Atlantique research center where, for more than ten years, he leads the VerTeCs team whose work focuses on Verification techniques applied to the Testing and Control of reactive systems. He received his PhD in computer science in 1991, and, after one year in Alcatel, joined Inria as a research scientist in 1993. His research interests are in formal techniques, in particular in verification, diagnosis and automatic test generation based of models with control, data, time, communication, recursion... He was in particular the main contributor of the TGV tool for test generation from transition systems in the ioco theory. He published more tha 60 papers in conferences and journals, mainly in the domains of testing and verification.
[See talk]
Pedro Reales - University of Castilla-La Mancha [website]
Pedro Reales Mateo is a research member of Alarcos reseach group at the University of Castilla-La Mancha. He has an MSc degree from the University of Castilla-La Mancha. His research areas include the automation of software processes, especially model-driven architecture, software product lines and testing and mutation testing. Currently, his research work focuses on design and validation techniques to improve the mutation testing process.
[See talk]
Cristian Cadar - Imperial College London [website]
Cristian Cadar is a Lecturer in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. His research interests span the areas of software engineering, computer security and program testing, with an emphasis on building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology.
[See talk]
Lars Ebrecht - German Space Center
Lars Ebrecht studied computer science at the Technical University of Braunschweig. Since 2002 he works as scientific employee for the German Aerospace Center at the Institute of Transportation Systems in Braunschweig. Since 2009 he leads the group "Rail Technology - Validation and Testing". From the beginning he worked in the field of testing Train Control Systems, especially creating, maintaining and applying the Conformity and Interoperability Testing Standard for ETCS onboard units as well as operational Test for European Railways. Thereby the improvement of the test process and test methodology is a permanent topic. He established the laboratory RailSiTe(R) - Railway Simulation and Testing which he directs. His points of interest are Test Creation, Test Automation, Modeling, Modeling Languages, Model Validation and Verification, real-time systems, distributed systems, Hardware/Software in the loop and Black-box-tests.
[See talk]
Christophe Gaston - CEA LIST
Christophe Gaston is a researcher at CEA-LIST. He obtained a PhD in 2002, at the University of Evry in France. His research interest concerns formal treatment of complex systems, using algebraic or symbolic approaches. In particular he works on the subject of conformance model based testing and simulation for reactive communicating systems. In this field of research, he mainly works on symbolic based approach whose central motivation is to reduce state explosion problems when analysing models.
[See talk]
Pascale Le Gall - Centrale Paris [website]
Pascale Le Gall is Professor in Computer sciences at Ecole Centrale Paris (France). She is member of the MAS laboratory and of the Epigenomics Project of Genopole Evry (France). Her research interests concern formal methods for software engineering and their applications. She is interested in geometric modeling, telecommunication services, conformance testing, systems biology.
[See talk]
Yves Le Traon - University of Luxembourg [website]
Yves Le Traon is professor at Faculty of Science, Technology and Communication at University of Luxembourg, Campus Kirchberg, in the domain of software engineering, reliability, validation and security. He is also a member of the Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the joint (with Telecom Bretagne) research group SERVAL (SEcuRity and VALidation of services and networks).
His research interests also include Object-Oriented testing, design for testability, model-driven validation, model based testing, evolutionary algorithms and software measurement. Currently, he his focusing on two main appliocation domains: web-systems and SOA, adaptive and ambient systems.
He is author of more than 90 publications in international journals and conferences.
[See talk]
Nina Yevtushenko - Tomsk State University
Nina Yevtushenko received her Ph.D. degree in Computer Science from Saratov State University in 1983. She received "Doctor of Technical Sciences" degree and a professorship title from the Supreme Attestation Committee in Moscow. Up to 1991 she worked as a researcher with the Siberian Scientific Institute of Physics and Technology. From 1991 she has joined Tomsk State University as a professor and presently she is a leader of a research team working on the synthesis and analysis of discrete event systems. She stayed as a visiting researcher/professor in Moscow State University, Université de Montréal (Canada), University of Ottawa (Canada) and Institut National des Télécommunications d'Evry (France). She published around 100 research papers. She currently serves as a program committee member for a number of international workshops and conferences. Her research interests include formal methods, automata theory, distributed systems, protocol and software testing.
[See talk]
Sigrid Eldh - Karlstad University/Ericsson Sweden [website]
Sigrid Eldh is a well known leader in the software testing field. With a M.Sc. in Computer Science from Uppsala University, and a PhD from Mälardalen University "On Test Design", she has more than 25 years of practice in industry. Sigrid also holds a diploma as an Organization/ Psychotherapy consultant. Having held many positions at Ericsson, HP, Governance and other type of companies, she is now working at Ericsson AB at Radio System & Technology with test strategies and research, an adjunct lecturer at Karlstad University and is also associated as an expert at Mälardalen University. She was the co-founder of SAST, ASTA, ISTQB and SSTB. Through her work she has helped organizations, test managers and testers around the world to reach better quality.
[See talk]
Nicky Williams - CEA - LIST [website]
Nicky Williams got an Engineering degree at Cambridge University in 1981 and worked in control engineering and artificial intelligence in England and France until doing a DEA in computer science at the University of Paris 6 in 1996. She obtained a PhD in computer science from the Ecole Normale Supérieure in 2000 and in the same year joined the French research institute CEA List, as a research engineer. Since then, she has been a member of the LSL laboratory which develops prototype tools for software validation in order to transfer the lastest technological innovations to industry. Nicky has participated in the development of static analysis and automatic test-case generation tools and in particular the PathCrawler structural test case generation tool, which she initiated. She has published several papers on PathCrawler, which is presented in her tutorial.
[See talk]
Henry Muccini - University of L'Aquila [website]
Henry Muccini received his PhD degree in Computer Science from the University of Rome - La Sapienza - in 2002. He is currently an Assistant Professor at the University of L'Aquila since 2002 and he has been visiting professor at Information & Computer Science, University of California, Irvine. His research interests are on software architecture descriptions and analysis, architecture-based analysis, testing, and monitoring, architectures and fault tolerance, and global software engineering. He has published over 80 conference and journal articles on these topics, and co-edited two books. Besides, Henry will be the organizer of the 2013 edition of the TAROT summer school.
[See talk]