Raj Rajkumar is the George Westinghouse Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Robotics Institute. He holds leadership roles as Director of the USDOT Mobility21 and Safety21 National University Transportation Centers, and Director of the Metro21: Smart Cities Institute. His work focuses on cyber-physical systems, autonomous driving, and vehicular networking. Education: Ph.D. in Electrical and Computer Engineering from CMU (1989). Research interests include connected/autonomous vehicles, cyber-physical systems, embedded systems, and vehicular networking. Key projects include the General Motors-CMU Collaborative Research Lab and the development of autonomous vehicle protocols like Ballroom Intersection Protocol. Notable awards include the 2016 National Academy of Inventors Fellowship and the 2017 Pittsburgh Business Times Innovation Award. His publications span real-time systems, sensor networks, and automotive cyber-physical frameworks. Rajkumar advises on autonomous vehicle safety, energy efficiency, and societal impacts, with frequent media engagements on self-driving technologies.
Ahmed Elbanna is an Associate Professor at the University of Illinois Urbana-Champaign (UIUC), affiliated with the Grainger College of Engineering and the Department of Civil and Environmental Engineering. He holds a Ph.D. from Caltech (2011) and has been on UIUC faculty since 2013. His research focuses on mechanics of complex systems, including earthquake dynamics, metamaterials, and biomaterials. He has received prestigious awards such as the NSF CAREER Award (2018) and the Donald Biggar Willett Faculty Fellowship (2020). Education: Ph.D. Civil Engineering, California Institute of Technology (2011) M.S. Applied Mechanics, California Institute of Technology (2006) M.S. Structural Engineering, Cairo University (2005) B.S. Civil Engineering, Cairo University (2003) Research Interests: Elbanna’s work spans theoretical and applied mechanics, with emphasis on fracture, wave propagation, and critical phenomena in geophysical and biological systems. Key areas include: Earthquake mechanics and granular matter dynamics Mechanical metamaterials for wave control Networked biological materials (e.g., bone, hydrogels) Modeling epidemic dynamics during the COVID-19 pandemic Awards & Recognition: National Science Foundation CAREER Award (2018) Donald Biggar Willett Faculty Fellow (2020) Journal of Applied Mechanics Award (2019) UIUC Teaching Excellence Awards (2018–2024) Service & Leadership: Member of the UIUC Faculty Senate (2020–present) Co-Chair, Computational Mechanics Committee (ASCE EMI, 2024–present) Leader, Computational Science Group at Southern California Earthquake Center (2019–present) Labs & Groups: Leads the Mechanics of Complex Systems Lab at UIUC, focusing on interdisciplinary research in geophysics, materials science, and computational modeling.
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Westley Weimer is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at the University of Michigan, College of Engineering. He teaches advanced courses such as EECS 590 (Advanced Programming Languages) and EECS 481 (Software Engineering), and has previously taught at the University of Virginia. His research integrates software engineering, programming languages, and cognitive science, focusing on automated program repair, program analysis, and the neuroscience of code comprehension. University: University of Michigan School: College of Engineering Department: Department of Electrical Engineering and Computer Science Academic Rank: Professor His research interests include automated program repair (e.g., GenProg), software quality, cognitive modeling of programming, neuroimaging studies of code review, and the application of medical imaging to software engineering. He explores deep questions at the intersection of consciousness, time, and computation, advocating for interdisciplinary approaches to understanding the mind through programming behavior. The most recent publications reflect a trend toward empirical and cognitive studies in software engineering, combining automated repair with human factors, neuroimaging (fMRI, TMS), and real-world software challenges. Themes include bias in code review, programming under cognitive influences, and the neurological basis of code comprehension. His work increasingly bridges computer science with psychology, neuroscience, and social science. Scientific awards include multiple Distinguished Paper Awards at ICSE, FSE, and ESEC/FSE, Best Paper and Runner-up awards, and several 10-Year Most Influential Paper Awards from ASE, GECCO, POPL, and ASPLOS, recognizing the lasting impact of his contributions to automated software repair and program analysis. He has advised numerous PhD and Master’s students, many of whom have gone on to faculty positions or industry research roles. He contributes to academic service through organizing diversity and inclusion initiatives, maintaining graduate career resources, and promoting ethical and inclusive practices in computing. He leads a vibrant research group focused on improving software quality through both technical and human-centered innovations, with ongoing projects in automated repair, cognitive modeling, and secure systems.
Gunnar Kusch is a Senior Research Associate at the Department of Materials Science & Metallurgy, University of Cambridge. His research focuses on defects in semiconductors, porous AlGaN materials, and advanced characterization techniques like cathodoluminescence (CL) and atom probe tomography (APT). He holds a PhD from the University of Strathclyde and leads projects on UV-B LED optimization, nanoscale defect behavior analysis, and semiconductor device design. His work bridges materials synthesis, characterization, and device performance, with applications in energy-efficient lighting and solar cell technology. Key research areas include: Defect engineering in III-nitride semiconductors Porous AlGaN templates for high-efficiency UV emitters Correlative microscopy techniques (CL, EBSD, APT) Composition-structure-property relationships in photovoltaic materials Notable contributions include developing CL-based methods for nanoscale defect analysis and demonstrating improved Cu(In,Ga)S₂ solar cell efficiencies through compositional engineering. His laboratory focuses on translating microscopic insights into macroscopic device improvements.
Paolo Tonella is a Full Professor and Director of the Software Institute at the Faculty of Informatics, Università della Svizzera italiana (USI) in Lugano, Switzerland. He also holds an Honorary Professorship at University College London (UK) and previously led the Software Engineering group at Fondazione Bruno Kessler (Italy). His research focuses on software testing, analysis, and AI-driven systems. He has authored over 200 peer-reviewed papers and 100 journal articles, with an H-index of 72. He teaches courses in Data and Software Engineering and Informatics, including Information Modeling, Probability & Statistics, and Knowledge Search. Key contributions include foundational work on web application testing (ICSE MIP award), evolutionary testing techniques (eToc/EvoSuite tools), and reverse engineering of object-oriented systems. He led the ERC-funded PRECRIME project on anticipatory testing. His recent work addresses AI dependability, autonomous systems testing, and deep learning fault analysis. Scientific awards include the ICSE MIP Award (2001) and ERC Advanced Grant (2018). He has served on editorial boards for major journals like IEEE Transactions on Software Engineering and ACM TOSEM. Current roles include leadership in the Software Institute and organizing the SIESTA summer school.
About Marin Litoiu is a Professor at York University, holding dual affiliations in the Department of Electrical Engineering and Computer Science at the Lassonde School of Engineering and the School of Information Technology in the Faculty of Liberal Arts and Professional Studies. He is a Fellow of the Canadian Academy of Engineering and a recipient of the 2020 IBM Faculty of the Year Award. His research focuses on cloud computing, self-adaptive systems, DevOps, IoT, and machine learning-driven performance engineering. Research & Awards Litoiu leads the Dependable Internet-of-Things Applications (DITA) program, funded by NSERC, and co-founded Bitnobi Inc., acquired by Myant. His notable awards include the CASCON 2019 Most Influential Paper Award and Best Paper Awards at multiple conferences. His work emphasizes practical applications of adaptive systems, cybersecurity, and smart infrastructure integration. Grants & Projects NSERC CREATE Program: $1.65M for the DITA program (2018) York Innovation, TIAP, NSERC, and OCI-funded Bitnobi incubation Leadership in multiple CASCON workshops on cloud computing and AIOps Labs & Teams Litoiu’s lab has produced impactful startups like Bitnobi and pioneered research in self-driving systems, edge computing, and AI-driven operations. His team collaborates with industry partners like IBM and explores cutting-edge topics such as LLMs in performance optimization and fault detection.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
John C. Doyle is the Jean-Lou Chameau Professor of Control and Dynamical Systems, Electrical Engineering, and BioEngineering at the California Institute of Technology (Caltech), where he holds appointments in the Division of Engineering and Applied Science with primary affiliation in the Control and Dynamical Systems Department. His research bridges theoretical foundations with applications across biological, technological, medical, and ecological networks. He earned a BS and MS in Electrical Engineering from MIT (1977) and a PhD in Mathematics from UC Berkeley (1984), followed by consultancy at Honeywell Systems and Research Center (1976-1990). MIT: BS & MS in Electrical Engineering (1977) UC Berkeley: PhD in Mathematics (1984) Doyle's research centers on universal laws and architectures in complex systems, emphasizing robustness-efficiency tradeoffs, speed-accuracy tradeoffs (SATs), diversity-enabled sweet spots (DeSS), bowtie/hourglass structures, and evolvability. His work pioneers System Level Synthesis (SLS) for control systems with sparse, local, saturating, delayed, noisy, quantized, and distributed (SLSDNQD) components, integrating control theory, computation, communication, and machine learning to address challenges from neural networks to infrastructure resilience. Key concepts include virtualization, horizontal transfer, and virality in multiscale systems. Analysis of his publication trends reveals consistent interdisciplinary impact across neuroscience (brain connectivity modeling), systems biology (metabolic oscillations), network science (internet topology), and physics (turbulence, earthquakes), with recurring themes of robust-efficiency limits and architectural principles governing complex networks. His work demonstrates exceptional translation from abstract theory to practical tools like the Matlab Robust Control Toolbox and Systems Biology Markup Language (SBML). His scientific recognition includes: 1990 IEEE Baker Prize (ranked among top 10 most important mathematics papers 1981-1993) Three IEEE Automatic Control Transactions Awards (1998, 1999, 2021) ACM Sigcomm Paper Prize (2004) and Test of Time Award (2016) IEEE Control Systems Field Award (2004) Multiple early-career honors including IEEE Centennial Outstanding Young Engineer (1984) Doyle has mentored generations of students whose contributions include foundational software tools adopted globally. His research has secured sustained funding from NSF, NIH, and other agencies supporting theoretical advances in control frameworks and their applications to biomedical systems, network infrastructure, and environmental modeling. The SBML initiative exemplifies his group's impact in standardizing computational biology research. He leads a highly collaborative research ecosystem at Caltech that integrates engineers, biologists, neuroscientists, and computer scientists to develop universal principles for complex networks. Current efforts focus on translating theoretical insights into health technologies, resilient infrastructure, and climate-responsive systems through the application of robust-efficiency frameworks to emerging challenges in cyber-physical and biological domains.
Stephanie Gil is an Assistant Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences. Her research focuses on artificial intelligence, robotics, and distributed systems, particularly addressing challenges in multi-agent coordination, resilience to adversarial attacks, and wireless communication for autonomous systems. She leads the REACT Lab, advancing research in resilient multi-robot networks and cyber-physical systems. Her work integrates machine learning, control theory, and wireless sensing to solve problems such as whale tracking via autonomous robots, proactive multi-robot routing, and decentralized exploration without explicit information exchange. She has received prestigious awards, including the DARPA Young Faculty Award (2024) and the Amazon Research Award (2021). Key research areas include resilient distributed optimization, trust-centered coordination in multi-agent systems, and leveraging wireless signals (e.g., WiFi-CSI) for sensing and bearing estimation. Her contributions span both theoretical frameworks and practical implementations, with a focus on real-world applications like autonomous rideshare routing and environmental monitoring. Dr. Gil’s research also explores trust and cybersecurity in dynamic networks, with publications on crowd vetting, malicious robot detection, and adaptive communication strategies. She collaborates on interdisciplinary projects, such as Project CETI, combining AI and robotics for ecological studies.
Chang Lou is an Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on distributed systems, operating systems, and cloud computing, emphasizing runtime assurance and failure detection. He leads LiftLab, a reading group exploring cutting-edge system research. Education : Ph.D., Computer Science, Johns Hopkins University (2023); B.S., Computer Science, Shanghai Jiao Tong University (2016). Research : Develops techniques to improve system reliability, including silent failure detection, memory leak mitigation, and formal verification. His work has been deployed at Microsoft Azure and recognized with awards like NSDI Best Paper (2020). Teaching : Offers courses like CS4740 (Cloud Computing) and CS6501 (Cloud System Reliability). Awards : NSF CAREER Award (2024), ACM SIGOPS Dissertation Honorable Mention (2023), Google Cloud Grant (2023). Service : Serves on program committees for NSDI, EuroSys, and SOSP. Co-organizes workshops like SIGCOMM Formal Methods x Networks.
Dr. Ernst Willingshofer is an Associate Professor of Tectonics in the Department of Earth Sciences at Utrecht University's Faculty of Geosciences. His research focuses on the coupling of deep crustal and upper mantle processes with surface deformation, particularly in collision zones and rift systems. He employs field studies and physical analogue modelling to investigate lithospheric rheology, strain localization, and tectonic evolution. Research Interests: Willingshofer's work spans tectonics, lithosphere deformation, and structural geology. Key themes include the influence of rheological stratification on strain partitioning, analogue modelling of orogenic systems, and dynamics of basins and orogens. His research has applications in understanding Alpine, Mediterranean, and global tectonic processes. Articles Trend: Recent publications (2021–2024) emphasize analogue modelling innovations, strain partitioning mechanisms, and tectonic evolution of collision zones. Subduction initiation, passive margin dynamics, and intracontinental deformation are recurring themes, with strong focus on Mediterranean and Alpine geology. Teaching & Advising: Coordinates BSc courses ( Deformation and Metamorphism of the Crust , Pyrenean Fieldwork ) and MSc courses ( Modelling Crust and Lithosphere Deformation , Dynamics of Basins and Orogens ). Supervises MSc, BSc, and guided research projects. Laboratory: Leads the Earth Simulation Lab, specializing in analogue modelling of tectonic processes.
Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.
Dorte Hammershøi is a Professor in the Department of Electronic Systems at The Technical Faculty of IT and Design, Aalborg University, Denmark. Her research focuses on acoustics, sound engineering, and hearing science with significant contributions to human hearing, ear canal acoustics, and audio technology applications. Her research interests include: Temporary Threshold Shift and frequency resolution in human hearing Ear canal acoustics and sound pressure level measurement Distortion Product Otoacoustic Emission (DPOAE) analysis Impulse response and acoustic impedance studies Hearing aid technology and rehabilitation methodologies Virtual reality audio interfaces and accessibility applications Professor Hammershøi's recent publications demonstrate a strong clinical-engineering interdisciplinary approach, bridging theoretical acoustics with practical hearing rehabilitation applications. Her work on hearing aid fitting methodologies, occupational noise exposure effects, and virtual reality audio interfaces shows consistent innovation in translating engineering principles to clinical practice. The research shows particular attention to individualized hearing solutions and accessibility technologies. Her scientific contributions have been recognized with: Dansk Lydpris 2020 (awarded November 17, 2021) Ambassadør for Aalborg (awarded September 15, 2004) Professor Hammershøi has supervised 5 PhD students and led numerous research projects including the ongoing "Audio Only VR for Blind Gamers" project (2024-2028) funded by the Independent Research Foundation of Denmark, and the completed "BEAR: Better Hearing Rehabilitation" project (2016-2022). Her research has attracted significant media attention with 110 press/media appearances discussing hearing damage prevention, tinnitus, and public health implications of noise exposure. She maintains active professional engagement through committee memberships (46 documented activities), international collaborations, and contributions to clinical practice guidelines. Her work continues to influence both academic research and practical applications in hearing science and audio engineering.
Shiqing Ma is an Assistant Professor in the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst. Previously, he held a faculty position at Rutgers University from 2019 to 2023. He earned his Ph.D. in Computer Science from Purdue University (2019) and B.E. from Shanghai Jiao Tong University (2013). His research focuses on secure, intelligent, and transparent computing systems, particularly at the intersection of security, AI, and software systems. Key areas include integrating machine learning into software systems, ensuring algorithmic security through program analysis, and developing novel system architectures. Professor Ma's work has been recognized with prestigious awards, including the NSF CAREER Award (2023), and distinguished paper awards at USENIX Security (2017) and NDSS (2016). He actively contributes to the academic community through editorial roles and program committees in security, privacy, and software engineering. His research explores topics like backdoor attacks, AI safety, and bias mitigation in large language models. Recent articles emphasize defense mechanisms against adversarial attacks, watermarking techniques, and automated debugging systems for machine learning pipelines.
