(under construction)
Ana Paiva (published as Ana C. R. Paiva). Ana Paiva is an Assistant Professor in the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto (FEUP). She is a researcher at INESC TEC and coordinator of the Software Engineering research area. She got a PhD with a thesis titled "Automated Testing of Graphical User Interfaces Specification" in 2007 and Habilitation in Computer Science in 2018, both by the University of Porto. Her expertise is in the implementation and automation of the model-based testing process. She has several articles published in international scientific journals and conferences. She also participates in the program and in the organizing committees of several international conferences. She is a member of the PSTQB (Software Testing Qualification Board), and member of several ISTQB (International Software Testing Qualification Board) working groups.
BS in Mathematics from the University of Wisconsin, Madison. PhD in Computer Science from Cornell University. Previous experience includes teaching at UNICAMP in Brazil and more than a dozen years in industry at Bell Laboratories, AT&T Research, and Intel Labs. Joined the Computer Lab on January 1, 2005.
Francisco Palomo-Lozano has been with the Department of Computer Science and Engineering of the University of Cádiz (Spain) since 1994. He has been a member of the Association for Automated Reasoning (AAR) since 2001. Francisco enjoyed research stays at the USA (University of Texas at Austin) and the UK (King's College). A member of the UCASE Software Engineering Research Group and the Spanish Excellence Network on Search-Based Software Engineering (SBSE), his research interests include Software Verification and Validation, Algorithms, Optimization, and Search-Based Software Engineering.
Dr. Wissam Mallouli (M) received his Master from Evry Val d’Essonne University in 2005 and his PhD in computer science from Telecom SudParis in 2008. He is currently a research engineer at Montimage France. His topics of interest cover formal testing and monitoring of functional and security behaviour of distributed systems and networks. He is one of the main contributors in the Montimage monitoring solution and he applied it to different fields related to high bandwidth networks, cloud, IoT, ad hoc networks etc. He is working in several European and French research projects. He also participates to the program/organizing committees of numerous national and international conferences.
Yliès Falcone received the Master degree (2006) and Ph.D. (2009) in computer science from the University of Grenoble at Verimag Laboratory. His research interests are in formal methods and software engineering in general, and runtime verification and enforcement in particular (i.e. techniques for checking and ensuring that a system meets its requirements at runtime). Since September 2011, he is associate Professor at University of Grenoble Alpes and a researcher at Inria and Laboratory of Informatics Grenoble.
Pascal Lafourcade obtained his Phd laboratory LSV at ENS Cachan on verification of cryptographic protocols in presence of algebraic properties. Then he spent one year at the ETH Zurich in David Basin group, working on WSN. After he was during seven years Maitre de conference at Verimag developing automatic technique for verifying cryptographic primitives, and analyzing security protocols. Between 2013 and 2016 he held an industrial chair on Digital Trust at Clermont Ferrand at Laboratory LIMOS. Now he is an associate professor at the University Clermont Auvergne (Clermont-Ferrand, France). He is a member of the Networks and Protocols Team of the LIMOS Laboratory.
Laurent Mounier is Maître de Conférences at Université Grenoble-Alpes, and member the PACSS team of Verimag. His research interests include code analysis
techniques for security.
Héctor Menéndez is Research Associate at University College London, working on applications of information theory to software testing. He has a BSc in Computer Science, a BSc in Mathematics, a MSc in Computer Science a MSc in Mathematics and a PhD in Computer Science by the Universidad Autónoma de Madrid, Spain. He has focused his research on cybersecurity since he started at UCL in 2014. During his career, he has achieved an 13-H index with more than 440 citations (according to Google Scholar) and published 13 journal papers (8 of them are Q1 top journals according to Journal Citation and Report) and 27 international conferences. Originally, he worked designing machine learning algorithms based on graph structures and search based optimization. He has applied these ideas to several different fields, where the most relevant are malware analysis, unmanned air vehicles and, currently, software testing. During his current project, InfoTestSS, he has investigated different testing strategies to reach specific sections of programs. These strategies includes fuzzy testing and trigger activation. Currently, he is also co-supervising a thesis with Dr. David Clark and Dr. Earl Barr at UCL on malware trigger identification, funded by GCHQ.
Sébastien Bardin joined CEA LIST, France, in 2006 as a full-time researcher, with research activities centered on program analysis and automatic software verification. For a few years now, Sébastien has been interested in automating software-level security analysis by lifting formal methods developed for the safety-critical industry. More especially, he focuses on binary-level formal methods, vulnerability detection & assessment, and malware deobfuscation. He leads the "binary-level security" group at CEA LIST as well as several related research projects, and he is one of the main designers of the (open-source) BINSEC platform for binary-level code analysis. Sébastien Bardin obtained his PhD in 2005 at ENS Cachan, France, in the field of formal methods.