Track: Quality in the age of AI
Chairs: Grace A. Lewis (Carnegie Mellon Software Engineering Institute, United States) and Domenico Bianculli (University of Luxembourg, Luxembourg)
Grace Lewis is a Principal Researcher at the Carnegie Mellon Software Engineering Institute (SEI) where she conducts applied research on how software engineering and software architecture principles, practices and tools need to evolve in the face of emerging technologies. She is the principal investigator for the Automating Mismatch Detection and Testing in Machine Learning Systems project that is developing toolsets to support these two activities, in addition to other projects that are advancing the state of the practice in software engineering for machine learning (SE4ML). Grace is also the lead for the Tactical and AI-Enabled Systems (TAS) applied research and development team at the SEI that is creating and transitioning innovative solutions, principles, and best practices for (1) architecting and developing systems to support teams operating at the tactical edge in resource-constrained environments, (2) engineering AI software systems, and (3) using AI/ML at the edge for improved capabilities and mission support. She is currently First Vice President of the IEEE Computer Society. Grace holds a B.Sc. in Software Systems Engineering and a Post-Graduate Specialization in Business Administration from Icesi University in Cali, Colombia; a Master in Software Engineering from Carnegie Mellon University; and a Ph.D. in Computer Science from Vrije Universiteit Amsterdam..
Domenico Bianculli is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, where he leads the Software Verification and Validation (SVV) research group. He holds a PhD degree from Università della Svizzera italiana (Lugano, Switzerland), a MSc in Computing Systems Engineering and a BSc in Computer Engineering, both from Politecnico di Milano (Milan, Italy). His research career has mainly focused on different aspects of run-time verification for dependable, secure, and compliant software, conducting research and technology transfer with industrial partners in the financial, eGovernment, satellite, and mission-critical systems domains. Current research interests include: run-time verification and monitoring, specification languages, verification and validation for cyber-physical systems, log analysis and AIOps, program analysis, data quality, and regulatory compliance.