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.
Dr. Chenming Zhang is an Advanced Queensland Industry Research Fellow at the School of Civil Engineering, The University of Queensland. His research focuses on hydrological processes in coastal and terrestrial groundwater systems, with particular emphasis on evaporation-driven mass and heat transport in soils and tailings, and hydrogeochemical dynamics in aquifers and mine waste systems. Specializes in IoT-based environmental monitoring Develops numerical models for coastal aquifer dynamics Conducts field and laboratory experiments on tailings behavior Research interests span coastal hydrology, groundwater modeling, mine waste management, and environmental monitoring. He works on contamination transport, aquifer protection, and climate impacts on water systems. Recent publications analyze: Iron curtain formation in subterranean estuaries Sea water intrusion mechanisms Salinity dynamics in tidal wetlands Smart sewer monitoring systems Scientific awards include the prestigious Advanced Queensland Industry Research Fellowship. He supervises multiple PhD projects on mine waste hydrology and coastal aquifer management, with notable collaboration on: Evolution Mining's gold tailings projects ARC Discovery Projects on coastal processes Grange Resources' PAF cell instrumentation His work combines field measurements, laboratory testing, and computational modeling to address critical environmental challenges in mining and coastal zones.
Yi Ding is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University, where they lead the STYLE (Sustainable computing Systems and LEarning) Lab. Dr. Ding joined Purdue in August 2023 after completing a postdoctoral fellowship at MIT CSAIL as an NSF Computing Innovation Fellow, mentored by Michael Carbin. During their postdoc, they also held a visiting position at Meta Infra Data Center to improve server maintenance efficiency in hyperscale datacenters. They received their Ph.D. in Computer Science from the University of Chicago, advised by Henry Hoffmann. Dr. Ding's research focuses on computer systems, computer architecture, and AI/ML, with strong emphasis on applications in sustainability and healthcare. Their work spans sustainable computing, including energy efficiency in datacenters and LLM serving, as well as healthcare applications such as mental health prediction and EEG analysis. Their recent publications demonstrate a strong trend toward addressing environmental impacts of computing, particularly in datacenters and AI systems, while also exploring innovative healthcare applications. Their research bridges systems, sustainability, and health domains, creating novel solutions for pressing societal challenges. Dr. Ding has received notable recognition including the Seed Funding for High-Impact Review Papers (2024), the Meta Research Award (2021), and was selected as a Computing Innovation Fellow by CRA/CCC (2020). Seed Funding for High-Impact Review Papers (2024) with Inez Hua 1st Place in Research Talk in CoE at Fall 2024 Undergrad Research Expo (awarded to Gavin Fortwendel) 2020 Computing Innovation Fellow by CRA/CCC Meta Research Award on Statistics for Improving Insights, Models, and Decisions (2021) Dr. Ding is actively recruiting self-motivated Ph.D. students interested in AI/ML systems research. They have secured funding for undergraduate research projects through DUIRI, focusing on sustainable AI computing and energy use in training autonomous vehicles. Their lab collaborates with various institutions including MIT, Meta, and interdisciplinary partners at Purdue. The STYLE Lab under Dr. Ding's leadership is actively engaged in multiple research initiatives addressing sustainable computing and healthcare applications, with strong industry connections and funding support from both internal university sources and external partners.
Rosemary Monahan is a Professor in the Department of Computer Science at Maynooth University and an affiliate of the Hamilton Institute. She holds BSc and MSc degrees from University College Dublin and a PhD from Dublin City University. As Maynooth University's institutional lead for ADAPT (SFI Research Centre for AI-Driven Digital Content Technology), she focuses on advancing software dependability through formal methods and AI integration. Her research interests include safety-critical systems, dependable software, formal verification, and computational thinking education. She co-founded the VerifyThis competition series and leads projects such as MAIVV (Modular AI Verification and Visualisation) funded by SFI, and VALU3S (Verification and Validation of Automated Systems) funded by Horizon 2020. She has secured over €2.5M in EU funding for the Erasmus Mundus programs in dependable software systems. Monahan’s educational contributions include pioneering computational thinking resources (CoCoA and InSPECT projects) and teaching modules on software verification and rigorous software processes. She supervises PhD students in data science and advanced networks and collaborates with institutions like INRIA, Microsoft Research, and Amazon Web Services. Her professional roles include editorships in journals like Science of Computer Programming and leadership in conferences like iFM and FMICS. She actively promotes gender equality in computing through initiatives like INGENIC and TechMate toolkits.
Elsayed Issa is an Assistant Professor in the School of Languages and Cultures at Purdue University. Specializing in Computational Linguistics and Arabic, his interdisciplinary research bridges Natural Language Processing (NLP) with Second Language Acquisition (SLA), focusing on conversational AI and speech technology for under-resourced languages. Ph.D. in Linguistics from the University of Arizona (2023) Research integrates NLP, conversational AI, and SLA methodologies Develops tools for computer-assisted pronunciation training (CAPT) Focuses on Arabic dialectology and large language models (LLMs) His work employs Transformer architectures and end-to-end machine learning to enhance language learning systems. Recent projects include ArabiBot development and dialect identification models. He specializes in speech-to-text systems , prosody modeling , and emotional speech analysis for Arabic language learning applications.
Zohreh Sharafi is an Assistant Professor of Software Engineering in the Department of Computer and Software Engineering (GIGL) at Polytechnique Montréal. Previously, she served as a Senior Research Fellow in the Department of Electrical and Computer Engineering at the University of Michigan, Ann Arbor, where she worked with Dr. Westley Weimer and was awarded the prestigious NSERC Postdoctoral Fellowship. Prior to her academic career, she worked as a software engineer at Morgan Stanley, contributing to the firm's electronic trading platform and serving as principal architect of SURF, a market data simulator. Her educational background includes a Ph.D. in Computer Engineering from École polytechnique de Montréal under the supervision of Dr. Giuliano Antoniol and Dr. Yann-Gaël Guéhéneuc, a Master of Applied Science in Software Engineering from Concordia University, and a Bachelor of Computer Engineering from the University of Tehran. Dr. Sharafi leads the SENSE Lab, a multidisciplinary software engineering research laboratory focused on understanding problem-solving strategies developers use during software development, with particular attention to human factors such as gender and native language. Her research combines human-centric design with experimental methodologies, investigating cognitive processes involved in software development using biometric measures including eye tracking and neuroimaging. Current active projects include evaluating trustworthiness perceptions of software artifacts and studying the role of creativity in software engineering tasks. She has made significant contributions to understanding how gender influences program comprehension and code review processes. Her publication record demonstrates a strong focus on empirical methods in software engineering, particularly eye tracking and neuroimaging techniques to study developer cognition. Her work spans program comprehension, code review, requirements engineering, and the impact of human factors on software development processes. She has developed methodological frameworks for conducting eye tracking studies in software engineering and has made notable contributions to understanding how visualization techniques affect software development tasks. NSERC Postdoctoral Fellowship NSERC Discovery Grant Program and Launch Supplements (Sep 2024-Sep 2029) IVADO Startup & Operation Fund (Jan 2022-Jan 2023) Scholarship for Doctoral Studies from Fonds de Recherche du Quebec Distinguished Reviewer Awards from IEEE ICPC 2020 and ACM FSE 2024 Dr. Sharafi actively mentors students including Mahta Amini (PhD Candidate, IVADO Scientifique en résidence 2024 Laureate), Cameron Cherif (PhD Candidate), Sara Yabesi (Master's Student), and Anthonia Njoku (Graduate research intern). She serves on numerous conference organizing committees including as Local Arrangement Chair for SANER 2025, Program Co-chair for SEMLA 2024, and as a reviewer for top-tier journals including IEEE Transactions on Software Engineering and ACM Computing Surveys. Her research is supported by multiple grants focused on understanding human factors in software engineering through empirical methods. At Polytechnique Montréal, Dr. Sharafi directs the SENSE Lab which brings together computer scientists, cognitive scientists, and software engineering researchers to investigate the cognitive aspects of software development. The lab employs advanced methodologies including eye tracking, functional near-infrared spectroscopy (fNIRS), and functional magnetic resonance imaging (fMRI) to study how developers comprehend, navigate, and modify software systems. Current projects examine trustworthiness perceptions in code review, the role of creativity in software engineering tasks, and gender differences in software development processes.
Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.
Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.
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.
Chanchal K. Roy is Professor of Software Engineering/Computer Science at the University of Saskatchewan and Co-Director of the Software Research Lab. He leads an NSERC CREATE graduate program on Software Analytics Research and co-leads the Data Management group for an NSERC CFREF project on Food Security, with over 170 publications cited 6,000+ times. His research centers on software clone detection using the widely adopted NICAD system, software evolution, empirical studies, and AI-driven software analytics. Recent work integrates large language models for code generation, clone detection in the AI era, and developer interactions with tools like ChatGPT, emphasizing practical applications in maintenance and analytics. Analysis of his 15 most recent publications reveals a strong trend toward AI/ML integration in software engineering: 12 of 15 articles (2025) explore LLMs, quantum computing, or deep learning for tasks like bug localization, code snippet generation, and feature-toggle analysis. Key themes include empirical validation of AI tools, Stack Overflow data mining, and cross-domain frameworks for Society 5.0. His scientific awards include: Most Influential Paper Awards (SANER 2018, ICPC 2018) Outstanding Young Computer Science Researcher Award (CS-Can/Info-Can, 2018) New Researcher Award (University of Saskatchewan, 2019) New Scientist Research Award (College of Arts and Science, 2019) As lead of the NSERC CREATE program and CFREF data group, he mentors graduate students in software analytics while securing major grants. He actively serves on program committees for ASE, ICSE, and FSE, reviewing journals and organizing workshops on clone detection and empirical methods. His lab focuses on real-world applications in food security data management and software evolution. The Software Research Lab, co-directed by Roy, drives projects like NICAD and the NSERC CREATE initiative, emphasizing open-source contributions and industry collaboration. Current efforts include quantum-SE integration and AI-augmented maintenance tools under the CFREF food security mandate.
David Lillis is an Associate Professor in the School of Computer Science at University College Dublin (UCD). His research focuses on Natural Language Processing (NLP), Artificial Intelligence (AI), and their applications in legal and forensic contexts. He leads projects like CeADAR (Ireland’s Applied AI Center) and the Transpire project, collaborating with organizations such as Corlytics and the Department of Enterprise, Trade and Employment. He holds adjunct roles as a Guest Professor at Beijing University of Technology’s Data Mining and Security Lab and has been a Fulbright Scholar at the University of New Haven’s Cyber Forensics Research and Education Group. Education: B.A. (Hons) in Law and Accounting, University of Limerick Higher Diploma in Computer Science, UCD M.Sc., Ph.D. in Computer Science, UCD Professional Certificate in University Teaching & Learning, UCD Research Interests: Legal AI, digital forensics, machine learning, multi-agent systems, and information retrieval. Recent work includes NLP for regulatory analysis, crop yield prediction via neural networks, and AR-driven decision support systems. Grants & Projects: Principal Investigator: Transpire (AI Platform for Regulation) SFI Funded Investigator: CONSUS (Crop Optimization) PI: CeADAR Technology Centre Teaching roles include Deputy Programme Director for Software Engineering at Beijing-Dublin International College (BDIC) since 2014. Labs & Groups: UCD Forensics and Security Research Group, ML-Labs (SFI Centre for ML Training), and the Data Mining and Security Lab (BJUT).
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .
Suliana Manley is a Full Professor at the École Polytechnique Fédérale de Lausanne (EPFL) , affiliated with the School of Basic Sciences and the Laboratory of Experimental Biophysics . She also holds teaching and research roles in EPFL's School of Life Sciences and Swiss Plasma Center , focusing on interdisciplinary biophysical studies. Education : PhD in Physics (2004), Harvard University Bachelor's in Physics & Mathematics (1997), Rice University Manley's research centers on super-resolution fluorescence imaging , single-molecule tracking , and quantitative biophysics . Key themes include: Understanding protein assembly dynamics at cellular membranes Elucidating viral assembly mechanisms (e.g., HIV-Gag) Developing 3D imaging algorithms and high-density data reconstruction tools like PALMsiever and FALCON Quantifying nanoscale organization in systems like telomeres and centrioles Her work bridges optical physics , computational image analysis , and cellular biology , with notable Nature and PNAS publications. Collaborations span bioengineering , genetics , and medical research . Scientific Awards : Featured in Nature Methods Research Highlights (3x) Very Important Paper and Cover Article (ChemBioChem, 2012) Postdoctoral Fellow, NIH and MIT Advising & Collaborations : Current PhD students in biophysics, cellular biology, and bioengineering Former students: Anna Archetti, Aleksandr Benke, Andrea Callegari, and others Co-founder of tools for high-density super-resolution microscopy and live-cell imaging Labs & Teams : Leads the Laboratory of Experimental Biophysics at EPFL, integrating physics-based methods into biological questions. The lab focuses on quantitative imaging , computational modeling , and software development for nanoscale analysis.
Morgan G. Ames is an Assistant Adjunct Professor at the UC Berkeley School of Information and serves as Associate Director of Research for the Center for Science, Technology, Medicine & Society. She chairs the Designated Emphasis in Science and Technology Studies and is affiliated with multiple research centers including the Algorithmic Fairness and Opacity Working Group, the Center for Science, Technology, Society and Policy, and the Berkeley Institute of Data Science. Her educational background includes a Ph.D. in Communication with a minor in Anthropology from Stanford University (2013), an M.S. in Information Management and Systems from UC Berkeley (2006), and a B.A. in Computer Science from UC Berkeley (2004). Prior to her academic career, she worked as a researcher at Google, Yahoo!, Nokia, and Intel. Ames researches the ideological origins of inequality in the technology world, with a focus on utopianism, childhood, and learning. Her work critically examines how technology design practices shape identities and social structures. Current projects include 'Seeing Like a Valley: the Moral Visions of Silicon Valley,' 'Algorithms in Culture,' and 'Countercultures of Technology Use.' She has published extensively on One Laptop per Child, Minecraft, and the social implications of algorithmic systems. Her publication record shows a consistent focus on the cultural dimensions of technology, particularly examining how utopian visions shape technology design and implementation. Recent work increasingly addresses algorithmic systems and their cultural impacts, while maintaining her longstanding interest in educational technology and youth technology practices. Ames has received significant recognition for her scholarship, including: 2020 Best Information Science Book Award 2020 Sally Hacker Prize 2021 Computer History Museum Prize She advises students on interpretive research methods, particularly ethnography, and serves on doctoral committees though cannot be a primary advisor for PhD students. Her research has been supported by multiple interdisciplinary collaborations, including the 'Algorithms in Culture' conference series she co-organized through the Center for Science, Technology, Medicine & Society. Ames leads the 'Seeing Like a Valley' research collective that brings together scholars from across UC Berkeley and Silicon Valley to examine how the region's industrial practices shape moral visions that influence global technological development and social values.
Jacob Krüger is an Assistant Professor at Eindhoven University of Technology , specializing in the development and evolution of variant-rich software systems. He holds a PhD from Otto-von-Guericke University Magdeburg (2021) and has held academic and research positions at institutions including Ruhr-University Bochum, Chalmers University of Technology, and the University of Toronto. His research focuses on the interplay between human cognition and software quality, particularly in complex systems requiring frequent adaptation. Education: PhD in Computer Science, Otto-von-Guericke University Magdeburg (2021) MSc Business Informatics, Otto-von-Guericke University Magdeburg (2016) Research Interests: Variant-Rich Systems Program Comprehension Software Product Lines Human Factors in Software Engineering Architecture Smells and Quality Assurance Articles Trends: Recent work emphasizes fork ecosystem visualization (VisFork tool), the impact of AI on scientific practices, and crisis-driven software development (e.g., Corona-Warn-App). Key themes include empirical studies, tool development, and industry collaboration. Awards: Best Dissertation Award (2022) Frank Anger Memorial Award (2019) Multiple conference best-paper and review awards Advising & Grants: Supervises 12+ PhD students across multiple institutions. Active in funding projects like INKleSS (German Research Foundation) and FOSD Meeting 2024 (NWO). Leads collaborations with ASML, Danfoss, and Axis AB. Labs/Teams: Member of the Software Engineering and Technology (SET) group at TU Eindhoven, focusing on industrial-strength software systems and cognitive aspects of development.