Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)
Shiva Nejati is a Professor at the University of Ottawa 's School of Electrical Engineering and Computer Science . He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory. Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024) His work combines formal methods , empirical software engineering , and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling . Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors. Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.
Ziran Wang is an Assistant Professor in the Department of Civil Engineering at Purdue University's College of Engineering, appointed as new faculty in 2022. His research bridges digital twin technologies, autonomous driving systems, and human-machine interaction to advance intelligent transportation solutions. Ph.D. in Mechanical Engineering, University of California, Riverside Prior role: Principal Researcher at Toyota North America His work focuses on creating personalized autonomous driving experiences through machine learning, emphasizing safety and efficiency in real-world applications. Key areas include multimodal large language model integration, federated learning for privacy-preserving data sharing, and cooperative perception frameworks. He develops novel approaches for digital twin-based traffic simulation, medical emergency detection in vehicles, and human behavior modeling in complex urban environments. Analysis of his 2024-2025 publications reveals a dominant trend toward generative AI applications in autonomous driving, particularly for perception-prediction-planning integration and real-world validation. His research increasingly incorporates digital twins for safety-critical testing and explores medical applications through in-vehicle health monitoring systems. Dr. Wang advises graduate students including Wenhui Huang and leads the Purdue Digital Twin Lab, which develops advanced simulation and testing platforms for autonomous systems. His lab maintains strong industry partnerships with Toyota for real-world deployment and validation of research成果.
Sherry Tongshuang Wu is an Assistant Professor at Carnegie Mellon University's School of Computer Science, with primary appointments in the Human-Computer Interaction Institute (HCII) and secondary affiliation with the Language Technology Institute (LTI) . Trained at the University of Washington under Jeffrey Heer and Dan Weld, she bridges HCI and NLP to study human interactions with AI systems across diverse user groups. Her educational background includes a Ph.D. (2016-22) and M.S. (2016-18) in Computer Science and Engineering from the University of Washington, and a B.Eng. (2012-16) from Hong Kong University of Science and Technology. Industry experience includes research internships at Google Brain, Microsoft Research, and Apple. Wu's research focuses on three interconnected pillars: Real-world AI Evaluation (developing frameworks like SPHERE for systematic assessment), Task-specific AI Test & Distill (optimizing general-purpose models for specific use cases), and Human-AI Task Delegation (designing optimal collaboration between humans and AI). Her work emphasizes practical deployment, user-specific net gains, and error recovery mechanisms. Analysis of her 15 most recent publications reveals a strong trend toward evaluation frameworks (35%), human-AI collaboration systems (30%), and specialized model distillation (25%), with growing emphasis on educational applications (10%). Key methodological themes include checklist-based evaluation, perspective-aware retrieval, and structural analysis of AI outputs. Google Academic Research Award (2024) Amazon Research Awards (2024) AIED 2024 Best Paper Award ACL 2020 Best Paper Award Rising Stars in EECS Workshop (2020) Wu actively mentors 19 students across PhD, Master's, and undergraduate levels, with notable projects including synthetic data generation, LLM literacy tools, and retrieval system optimization. She leads significant grant-funded work through Amazon Research Awards and Google Academic Research Awards, focusing on deployable model generation and human-AI collaboration frameworks. Her lab develops practical tools like Promp2Model and SPHERE that bridge theoretical research with industry applications.
Dr. John Hastings is a Professor in the Department of Computer Science at Dakota State University, part of the Beacom College of Computer & Cyber Sciences. With nearly 35 years of experience, he specializes in teaching and curriculum development in computer science, combining academic rigor with industry insights from his roles as an AI/ML engineer, team leader, and business owner. Education: Ph.D., Computer Science, University of Wyoming M.S., Computer Science, University of Wyoming B.S., Computer Science, University of Wyoming Research interests include machine learning, AI applications in natural language processing (LLMs), generative AI, computer vision, ecological/environmental AI, AI in games, and gamification in education. Recent publications focus on cybersecurity challenges, AI ethics, and insider threat detection. His work has been recognized with awards such as the AAAI’s Innovative Applications of Artificial Intelligence (IAAI) Award and an International IPM Award for Excellence related to the CARMA AI tool. Teaching emphasizes active learning and practical skills, including courses on programming, data structures, AI, and cybersecurity. He advocates for gamification in education to enhance student engagement and success.
Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University since 2005. He received his PhD in Information & Computer Science from the Georgia Institute of Technology in 1988. His research spans software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has led significant projects such as the NSF-funded integration of CS into K-5 classrooms and the Google-funded SPARC project for scalable CS1/CS2 instruction. The 15 most recent articles reflect a continued focus on mutation testing cost reduction, model-based testing oracles, educational innovations, and security aspects of web applications. Trends include empirical validation, industrial applicability, and bridging theory with practice in software testing and engineering education. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University’s Alumni Association Faculty Member of the Year (2020) Outstanding Faculty Award from the State Council of Higher Education for Virginia (2019) Best Paper Award at ICST 2021 10-Year Most Influential Paper Award at MODELS 2020 George Mason University Teaching Excellence Award (2013) ACM Notable Article Award (2013) Jeff Offutt has mentored numerous graduate students including Upsorn Praphamontripong, Nan Li, and Yu-Seung Ma, and has led major grant-funded projects such as the SPARC educational model and NSF initiatives on K-5 CS integration. His textbook Introduction to Software Testing (with Paul Ammann) is widely adopted globally. He led the MS in Software Engineering program at GMU and developed several new courses in software testing, web engineering, and usability. He pioneered innovative teaching methods using web technologies and asynchronous learning models. He also co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST) and served as Editor-in-Chief of Software Testing, Verification and Reliability from 2007 to 2019.
Stefano Grivet-Talocia is a Full Professor at the Department of Electronics and Telecommunications at the Polytechnic University of Turin, where he also serves as Director of the Doctoral School and President of the Doctoral School Council. He is a member of the Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory, the University Committee for Research, Technology Transfer and Services to the Territory, and the Commission for the Promotion of Library, Archive and Museum Heritage. His academic career spans over two decades at Politecnico di Torino, where he has established himself as a leading researcher in electromagnetic modeling and signal integrity. Grivet-Talocia earned his Laurea degree (summa cum laude) in Electronic Engineering in 1994 and his Ph.D. in Electronic and Communication Engineering in 1998, both from the Polytechnic University of Turin. Between 1994 and 1996, he conducted research at NASA/Goddard Space Flight Center in Greenbelt, Maryland. His educational background laid the foundation for his expertise in electromagnetic modeling, wavelet analysis, and signal processing. His research focuses on behavioral modeling, electromagnetic compatibility, macromodeling, model order reduction, numerical modeling, passivity, power integrity, signal integrity, transmission lines, and wavelets . Grivet-Talocia is particularly renowned for his work on passive macromodeling of interconnect structures, development of the TOPLine technique for transmission line simulation, and pioneering contributions to passivity enforcement algorithms. He has co-authored the first book entirely dedicated to Macromodeling (2016) and developed innovative approaches to waveform relaxation and wavelet-based signal processing. His recent publications (2024-2025) demonstrate continued leadership in model order reduction, with significant contributions to data-driven modeling of linear and nonlinear systems, power integrity analysis, and electromagnetic compatibility. His work spans both theoretical advances in numerical methods and practical applications in circuit design, with strong industry relevance particularly for semiconductor and electronic design automation companies. IEEE Fellow (2018-present) Three Intel SRS Grants (2022-2024) Three IBM SUR Grant Awards (2007-2009) Best Associate Editor Award - IEEE Transactions on Components, Packaging and Manufacturing Technology (2020) Multiple Best Conference Paper Awards (2006-2020) URSI Young Scientist Awards (1999) Ranked among the "top 2% worldwide researchers" (Stanford) since 2019 Grivet-Talocia actively supervises doctoral students including Michele Cusano, Sara Paknezhad Panahi, Antonio Carlucci, and Kun Zhao. He has secured numerous research grants from competitive national calls (PRIN) and commercial contracts with industry partners including Intel, IBM, Nokia, Hitachi, Infineon, and Cadence. His technology transfer activities include co-founding the spin-off IdemWorks (2007-2016), which was acquired by CST in 2016. He also developed the autoCircuits web service for automated circuit problem generation, widely used in electrical engineering education. He leads the EMC Group (Electromagnetic Compatibility) at DET and has been instrumental in establishing the Compact Dynamical Modeling research area. His work has practical applications in high-speed electronics design, with algorithms embedded in commercial tools like IBM PowerSPICE. Grivet-Talocia maintains strong industry connections through his research projects and serves as Associate Editor for IEEE Transactions on Components, Packaging and Manufacturing Technology.
Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.
Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.
Chester Rebeiro is an Associate Professor at the Department of Computer Science and Engineering within the Indian Institute of Technology Madras . His work spans hardware and software security with a focus on cryptographic implementations and microarchitectural vulnerabilities. Research interests include hardware security, applied cryptography, side channel analysis, and operating system security. He develops frameworks for automatic vulnerability detection and mitigation in cryptographic systems. Editorial Board: Associate Editor at Journal of Hardware and Systems Security (Springer, 2021-2024) Conference Leadership: General Co-Chair for SPACE 2024, Program Co-Chair for ATS 2024, and Program Co-Chair for INDOCRYPT 2023 Professional Activities: Organizer of e-CTF Embedded Capture The Flag and contributor to cybersecurity workshops across India and abroad Scientific contributions highlight two major awards: a Distinguished Paper Award at USENIX Security 2024 and a Best Paper Award at IEEE HOST 2020. His research focuses on practical security solutions for processors and cryptographic systems. Advising includes mentoring 11 PhD students and 7 MS by Research candidates, with notable co-guided projects in fault attack detection and side-channel mitigation. He actively contributes to educational initiatives through courses on Secure Processor Microarchitecture and Operating Systems.
Shaukat Ali serves as Research Professor and Head of the Department of Engineering Complex Software Systems at Simula Research Laboratory, concurrently holding the title of Chief Research Scientist. His academic leadership drives innovation at the critical nexus of quantum computing, artificial intelligence, and software engineering, with concentrated expertise in verification, validation, and testing methodologies for complex systems including cyber-physical infrastructures and autonomous robotics. His primary research domains encompass: Verification and Validation Search-Based Software Engineering Autonomous Driving Systems Cyber-Physical Systems Engineering Digital Twin Technologies Quantum Software Engineering Analysis of recent publications (2024-2025) reveals a decisive trend toward quantum-AI convergence in software engineering, particularly through quantum software testing frameworks and AI foundation models applied to cyber-physical systems. His work systematically addresses noise mitigation in quantum hardware, uncertainty quantification in adaptive robotics, and novel testing paradigms using vision-language models for industrial robotics—demonstrating both theoretical rigor and industrial applicability. As department head, Ali spearheads strategic research directions in complex software systems, fostering cross-disciplinary collaboration while actively shaping quantum software engineering through workshops like QAI2024 and Q-SANER 2024. His invited presentations at venues including JYU Quantum Electronics and EU-Korea Quantum Forums underscore his influence in defining emerging research landscapes.
Christine Cheng serves as Assistant Professor of Accountancy at the University of Mississippi's Patterson School of Accountancy, specializing in Tax and Data Analytics. She previously held a visiting scholar position at the Securities and Exchange Commission Division of Economic and Risk Analysis (2020-2022) and currently contributes to the Financial Accounting Standards Board Taxonomy Advisory Group. Her academic credentials include: Ph.D. in Business Administration from Pennsylvania State University (2011) M.B.A. in Business Administration from Pennsylvania State University Harrisburg (2003) Dr. Cheng's research examines machine-readable financial reporting determinants, tax-influenced decision making, and the intersection of tax analytics with corporate strategy. Her work bridges theoretical accounting frameworks with practical data science applications, particularly in post-Wayfair e-commerce taxation and marriage tax policy analysis. She employs advanced tools like Alteryx and robotic process automation to model complex tax scenarios. Publication trends reveal a strategic shift toward data-driven tax education and regulatory compliance, with 60% of recent work integrating analytics into financial reporting. Her articles frequently address real-world policy impacts, such as same-sex marriage tax implications and hail damage fraud detection, demonstrating applied relevance to both academic and practitioner audiences. Major recognitions include: 2023 Public Interest Section Best Paper Award (American Taxation Association) 2023 Graduate Teacher Award (American Accounting Association) Three ATA/Deloitte Teaching Innovation Awards (2019-2022) 2019 Best Article Award from The Tax Adviser As an educator, she pioneered Ole Miss's Master's of Taxation and Data Analytics program and maintains a YouTube channel with 200+ instructional videos. Her advising includes master's student Taylor, J. (lead author on a 2015 publication), and she has secured multiple curriculum development grants through Deloitte partnerships. Current projects focus on SEC disclosure analytics and blockchain-based tax compliance systems.
Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.
Dr. Michael Stevens is a Senior Lecturer at University of New South Wales (UNSW) Canberra , where he focuses on advanced manufacturing and biomedical device control systems . His work bridges digital manufacturing for SMEs with smart artificial heart technologies , emphasizing industry collaboration and translational research. Specializes in physiological control systems for rotary blood pumps Develops unobtrusive fall detection systems for dementia patients Leads international projects on total artificial heart development Education : B.Eng (Medical - First Class Honours), Queensland University of Technology (2010) PhD in Physiological Control for Biventricular Assist Devices, University of Queensland (2014) Research Trends show consistent focus on: Machine learning for biomedical diagnostics (2018–2025) mmWave radar and thermal sensors in patient monitoring (2021–2024) Computational fluid dynamics in artificial heart modeling (2016–2024) Physiological control algorithms for rotary blood pumps (2011–2025) Scientific Awards : UNSW Scientia Education Award (2021) for contextual teaching Heart Foundation Runner-up for "Smart Artificial Hearts" pitch (2021) ARC PGC Supervisor Award (2017) for mentoring Grants & Supervision : Holds over $6 million in competitive funding including MRFF and ARC grants. Currently supervises 4 PhD students while maintaining industry partnerships with VitalCare and BiVACOR. Labs & Facilities : Works across UNSW Engineering labs and Graduate School of Biomedical Engineering platforms, including mock circulation loops and high-performance computing clusters for CFD simulations.
Yuqing Wang is a Postdoctoral Researcher in the Department of Computer Science at the University of Helsinki, Finland, actively contributing to software engineering research with expertise in anomaly detection for microservices and test automation maturity. Contactable via yuqing.wang@helsinki.fi and phone +358505934630/+358294151310, Wang participates in major EU and Academy of Finland projects including LUMI AI Factory (2025-2028) and MuFAno (2023-2026). Research focuses on two interconnected domains: anomaly detection in cloud-native systems using meta-learning for cross-system log analysis and trace categorization, and test automation maturity assessment frameworks. Recent work pioneers datasets like LO2 for microservice API anomalies and tools like LogLead for integrated log processing, while earlier studies establish quantitative links between test automation maturity and product quality in open-source ecosystems. Publications reveal an evolving trajectory from foundational test automation maturity models (2018-2020) toward advanced AI-driven anomaly detection (2024-2025), with 2022-2023 bridging both domains through empirical studies on agile practices and maturity impacts. Current work emphasizes cross-system generalization and multimodal fusion for microservice reliability. No scientific awards are documented in available sources. Wang contributes to two significant grants: the EU Horizon Europe LUMI AI Factory developing AI service infrastructure (2025-2028), and the Academy of Finland MuFAno project advancing multimodal anomaly detection for microservices (2023-2026). These projects drive collaboration with industry partners on real-world system reliability challenges.
