Anh Tuan Le is an Associate Professor at the Department of Electrical Engineering, Chalmers University of Technology. He holds a PhD in Power Systems from Chalmers (2004) and a Master's in Energy Economics from the Asian Institute of Technology (1997). Specializes in power grid planning, electricity market modeling, and renewable energy integration Active in electric vehicle-grid interaction and battery storage systems Develops voltage stability solutions and decentralized control strategies His recent research focuses on: Flexibility markets for congestion management Machine learning applications in load forecasting Real-time security margin control using AI Key projects include: DigiRES (2024-2027): Digital integration of multi-energy flexibility POTENT-X (2024-2027): Port energy transition hubs FLEXIGRID (2019-2023): Distribution grid flexibility solutions
Aman Arora is an Assistant Professor at Arizona State University's Ira A. Fulton Schools of Engineering, specializing in the School of Computing and Augmented Intelligence. His research focuses on reconfigurable computing, hardware acceleration of machine learning, and non-traditional computing paradigms like Processing-In-Memory. With over a decade of semiconductor industry experience, he bridges academic research and industrial applications. PhD in Computer Science from The University of Texas at Austin Research interests emphasize domain-specific acceleration through FPGA optimization , compute-in-memory architectures , and machine learning for CAD/EDA . His work addresses critical challenges in energy efficiency and throughput for AI workloads. Recent publications demonstrate trends toward compute-in-memory systems , FPGA-based deep learning acceleration , and sustainable hardware design . Key contributions include frameworks like SAF, CSR, and GAMA for dynamic hardware optimization. Laboratory Website: ADVENT Lab Teaching includes courses on digital hardware design (CSE 320) and advanced topics in machine learning acceleration (CEN 524/CSE 524). Industry experience informs his practical approach to research and education.
Wes Hartmann is the John G. McCoy-Banc One Professor of Marketing at the Stanford Graduate School of Business. His research focuses on the intersection of marketing, economics, and policy, with emphasis on pricing strategies, brand advertising, social interactions, and conservation. He has advised numerous PhD students who have secured academic and industry positions globally. Key research interests include understanding frequency in brand advertising, preference externality estimators, and the economics of harm reduction through conservation experiments. Hartmann’s work bridges theoretical econometric models with real-world applications, such as dynamic pricing in retail and the impact of digital cinema on market dynamics. His publications have been recognized with prestigious awards, including finalist nominations for the John D.C. Little Award and the Paul Green Award. Notable contributions include groundbreaking studies on Super Bowl advertising effectiveness and the implications of social networks on consumer behavior. Hartmann’s advising record spans over 15 students, many of whom have secured tenured positions or roles at top institutions like Harvard, Columbia, and NYU. His research collaborations include projects on conservation field experiments, internet vs. TV advertising efficacy, and the role of social interactions in targeted marketing.
Talia Ringer is an Assistant Professor in the Department of Computer Science at the University of Illinois, where she is a member of the PL/FM/SE (Programming Languages/Formal Methods/Software Engineering) research group. She leads the Illinois Theorem Provers (ITP) lab, which focuses on advancing proof engineering technologies to make formal verification accessible to programmers of all skill levels across all domains. Research Interests Dr. Ringer's research spans multiple aspects of proof engineering with a strong focus on integrating techniques from dependent type theory, program transformations, and neural proof synthesis to solve real-world verification challenges. Her work addresses how to build systems that allow programmers to prove the absence of costly or dangerous bugs in software. She is particularly interested in proof repair, machine learning for proofs, and developing new methodologies that can drive the creation of large, secure, and robust verified software and hardware systems. Research Trends Dr. Ringer's recent publications demonstrate a strong shift toward integrating machine learning with formal verification, particularly in proof repair and synthesis. Her work explores how large language models can assist with theorem proving, how reinforcement learning can automate verification processes, and how to make proof engineering more practical for real humans. Many publications involve collaborations with students and researchers from multiple institutions, reflecting her commitment to interdisciplinary research. Awards and Recognition Distinguished Paper Award at ESEC/FSE 2023 for "Baldur: Whole-Proof Generation and Repair with Large Language Models" ACM SIGPLAN Distinguished Service Award in 2023 Mentoring and Service Dr. Ringer is a dedicated mentor who has advised numerous undergraduate and graduate students. She is the founder and president of the Computing Connections Fellowship, which provides transitional funding for computer science PhD students needing to escape unhealthy environments. She is also the founder and previous chair of the SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), which connects more than 200 mentors and 300 mentees across more than 44 countries. Her service work was formally recognized with the 2023 ACM SIGPLAN Distinguished Service Award. Laboratory and Collaborations Dr. Ringer leads the Illinois Theorem Provers (ITP) lab with current members including postdocs, PhD students, masters students, and undergraduates. She collaborates extensively with researchers at the University of Washington, UMass Amherst, Google Research, Galois, and other institutions on various proof engineering projects.
Yuan Tian is an Assistant Professor in the School of Computing at Queen's University, Faculty of Arts and Science. She holds a PhD in Information Systems from Singapore Management University (2017) and a B.Sc. in Computer Science from Zhejiang University (2012). Her research focuses on integrating heterogeneous data sources to enhance software engineering practices, including data mining, recommender systems, and social network analysis. Prior to Queen's, she was a data scientist at Living Analytics Research Centre (LARC), SMU. She has held visiting positions at Carnegie Mellon University, INRIA Paris, and SAIL Canada. Research Interests: Data Mining Software Engineering Social Network Analysis Information Retrieval Recommender Systems Computer Security Recent Research Trends: Her work emphasizes AI-driven solutions for software bug management, code translation, vulnerability detection, and developer behavior analysis. Notable contributions include leveraging LLMs for technical debt repayment and enhancing code vulnerability detection via Graph Neural Networks. Awards: SMU Presidential Doctoral Fellowship (2015-2016) Best Paper Award at SANER 2017 Grants & Advising: No formal advisees listed, but active in collaborative projects with industry and academic partners. Labs/Teams: Previously associated with SOAR Group at SMU and currently leads research in Queen's School of Computing.
Jerry Zeyu Gao is a Professor in the Department of Computer Engineering at San Jose State University, part of the Charles W. Davidson College of Engineering. He maintains active office hours and has a strong presence in both academic and industry domains, combining over 15 years of academic experience with more than 10 years in software engineering and IT development management. His research spans a wide range of cutting-edge areas in computing, including: Cloud Computing and Services Software as a Service (SaaS) and Testing as a Service (TaaS) Test Automation Mobile Computing and Mobile Cloud Technologies Software and Service Engineering Mobile Sensor Technologies Smart Cities infrastructure Dr. Gao has published over 180 papers in top-tier IEEE and ACM journals and conferences, and has co-authored three technical books while editing several others in software engineering and mobile computing. His scholarly output reflects a strong focus on practical, scalable solutions in cloud, mobile, and service-oriented systems. The publications show consistent themes in automation, service delivery, distributed architectures, and real-world software validation. He has played a leadership role in the international research community, having served as conference chair, program co-chair, and workshop co-chair for numerous prestigious events such as IEEE MobileCloud, IEEE SOSE, SEKE, and others between 2004 and 2015. These roles highlight his influence and recognition in the software engineering and cloud computing communities. Dr. Gao advises students and contributes to graduate and undergraduate education, although specific advisees are not listed. He is involved in research projects and likely secures external funding given his publication and conference leadership activities, though specific grants are not mentioned. He is associated with research initiatives related to mobile systems, cloud services, and smart city technologies.
JuHyun Lee is an Associate Professor of Architecture and Computational Design in the School of Built Environment at the Faculty of Arts, Design and Architecture (ADA), University of New South Wales (UNSW) Sydney, where they also hold the prestigious title of Scientia Academic. With a professional background in architecture and construction (1998-2002), they have held academic positions across Australia including a five-year post-doctoral fellowship at the University of Newcastle (2012-2017) and a senior research fellowship at the University of South Australia (2018), following earlier research and teaching roles in South Korea (2003-2011). Lee specializes in architectural design computing, design cognition, and urban complexity, integrating computational methods, cognitive science, and architectural theory to advance architectural intelligence and human-centered design. Their research spans architectural visualization, analysis and design methods, algorithm/protocol design, and data visualization with computational approaches. They have established a strong research program examining the intersection of language, culture, and design cognition, particularly focusing on cross-cultural design communication between Australia and Korea. Lee's recent publications demonstrate a clear trajectory toward increasingly sophisticated integration of computational methods with architectural design theory, particularly in the areas of shape grammar, space syntax, and machine learning applications. Their work shows consistent focus on practical applications of computational design methods to real-world architectural problems, with growing emphasis on cross-cultural collaboration and intelligent design systems. The research portfolio reveals a deepening engagement with AI and machine learning techniques applied to architectural design assessment and generation. Scientia Academic at UNSW Sydney Associate Fellow of the Higher Education Academy (AFHEA, 2020) As an educator, Lee develops cutting-edge courses in computational design and Building Information Modeling (BIM), integrating experiential learning and industry engagement. They have secured over $11 million in research funding, including multiple ARC Discovery Projects and an Australia-Korea Foundation grant. Lee co-directs the Advanced Architectural Analytics Laboratory (A 3 LAB), leading interdisciplinary research on design automation, spatial analysis, and machine learning applications in architecture, while also leading cross-cultural initiatives like the Australia-Korea Architects' Network (AKAN). Lee supervises multiple HDR students working on culturally sustainable urban design, socio-spatial patterns in public housing, and computational layout generation. Their research has significant implications for improving design communication across cultural boundaries and developing more coherent, clear, and accessible built environments through computational design approaches.
Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.
Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.
Professor Markus Helfert is a leading academic in Digital Service Innovation and Digital Transformation at Maynooth University's School of Business . He serves as Director of the Innovation Value Institute , Hub for Data and Digital Research, and holds Science Foundation Ireland Principal Investigator roles at Lero – The Irish Software Research Centre and Adapt Research Centre. His research spans Service Innovation , Artificial Intelligence , Intelligent Transportation Systems , FinTech , and Enterprise Architecture , with active involvement in European Standardisation initiatives.
Dr. Yelda Turkan is an Associate Professor in the School of Civil and Construction Engineering at Oregon State University, where she leads research in automation, computer vision, and machine learning for sustainable infrastructure. She holds a PhD from the University of Waterloo and dual BS degrees in Civil Engineering and Geomatics Engineering from Istanbul Technical University. Her work focuses on leveraging lidar, digital twins, and BIM to improve construction operations and decision-making in the built environment. She has secured over $4M in grants from NSF, FHWA, and other agencies, and currently leads the NSF Convergence Accelerator-funded 'Deep Reality' project for AI-driven infrastructure management. Education: Ph.D., Civil Engineering, University of Waterloo, 2012 M.S., Engineering Informatics & Remote Sensing, Istanbul Technical University, 2006 B.S., Civil Engineering (double major in Geomatics Engineering), Istanbul Technical University, 2005/2003 Professional Roles: Vice President, International Association for Automation and Robotics in Construction (IAARC) Chair, ASCE Computing Division Education Committee Associate Editor, ASCE OPEN Journal Her research emphasizes automation in construction quality control, infrastructure inspection via drones and lidar, and immersive education tools using VR/AR. Recent projects include automated curb ramp compliance analysis, wildfire impact modeling, and digital twin development for timber structures. She has published over 80 peer-reviewed articles and actively promotes computing integration in civil engineering education and professional practice.
Dr. Nilanjan Banerjee is a Professor in the Department of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC). He leads the Mobile, Pervasive, and Sensor System Lab, focusing on embedded and distributed systems for mobile, pervasive, and sustainability-based computing. His research spans renewable energy-driven systems, health diagnostics, mobile usability, and experimental testbed design. He holds a Ph.D. in Computer Science from the University of Massachusetts (2009), an M.S. from the same institution (2007), and a B.Tech. (Hons) from the Indian Institute of Technology (2004). Dr. Banerjee's work emphasizes interdisciplinary innovation, including low-power wearable devices for health monitoring (e.g., RestEaZe), cybersecurity frameworks for embedded systems (e.g., CARE), and sensor-based solutions for environmental sustainability. His contributions address challenges in mobility, energy efficiency, and accessibility, such as the Presight sidewalk localization system for visually impaired riders and the Inviz gesture-recognition textile sensors. His recent publications (2018–2021) reflect a focus on health technology, cybersecurity, and sustainable systems. Notable trends include: Integration of machine learning with sensor data for medical applications (e.g., sleep analysis, infection detection) Development of lightweight security protocols for embedded devices Exploration of renewable energy solutions for mobile and sensor networks No scientific awards are explicitly listed in the provided text. His academic advising and grant activities are not detailed here, but his lab's active research suggests significant collaborative projects. The lab also pioneers educational strategies in mobile app development and inclusive faculty recruitment through peer education programs like STRIDE.
Dongming Xu is an Associate Professor in Business Information Systems at the University of Queensland Business School. She holds a PhD from the City University of Hong Kong in Information Systems and has established herself as a prominent researcher in the field of information systems with over 100 publications in top-tier journals and conference proceedings. Her educational background includes a PhD from City University of Hong Kong in Information Systems, though specific details about earlier degrees are not provided in the available text. Dr. Xu's research focuses on the confluence of information technology use and innovation, with particular emphasis on IT entrepreneurship, social media applications in business contexts, and business intelligence systems. Her work explores how information systems influence society and business performance, with applications spanning disaster management, eFinance, eHealth, and knowledge management. She combines theoretical model building with laboratory and field experiments, often developing prototype systems to validate her research. Her publication record demonstrates consistent high-quality output across multiple domains of information systems research, with recent work emphasizing digital disruption, platform ecosystems, social media in disasters, healthcare technology, and micro-learning applications. Her research shows a clear trajectory from foundational work on intelligent agents and decision support systems toward contemporary topics in digital transformation and platform-based innovation. Associate Editor, Information & Management Associate Editor, Journal of Electronic Commerce Research Associate Editor, Australasian Journal of Information Systems Dr. Xu has supervised numerous PhD students to completion, with research topics spanning digital disruption, IT startup development, social media in disasters, conceptual modeling, and environmental management. She has received multiple research grants, including current funding for 'Empowering Australia's Visual Arts via Creative Blockchain Opportunities' (2023-2026) and past projects on 'Smart micro learning with open education resources' (2018-2022). Her research has been supported by various agencies including the Hong Kong Government Research Grant Council, The National Natural Science Foundation of China, The University of Queensland, and City University of Hong Kong. She leads research in several key areas including IT entrepreneurship, business intelligence systems, and social media applications across multiple domains. Her work often involves developing innovative systems such as web-service-agent-based family wealth management systems, decision support systems for securities exception management, and knowledge management systems for disaster management.
Xiaowen Zhang is a Professor of Computer Science at the College of Staten Island (CSI), City University of New York (CUNY), and a Doctoral Faculty Member at the CUNY Graduate Center. His academic work bridges theoretical and applied research in cybersecurity, information systems, and network technologies. Dr. Zhang holds a Ph.D. in Computer Science from the CUNY Graduate Center (2007) and a Ph.D. in Electrical Engineering from Northern Jiaotong University (1999), along with an M.A. from CUNY Queens College, an M.S. from Northern Jiaotong University, and a B.S. from Shanxi University. His research focuses on Cryptography, Information Security, Cybersecurity, Secure Biometrics, RFID Security & Privacy, Information Retrieval, and Wireless Sensor Networks . He explores both foundational cryptographic methods—such as secret sharing schemes and hash functions—and their practical implementations in secure systems, including RFID authentication protocols and data visualization platforms for sensor networks. The analysis of his recent publications reveals a consistent focus on security mechanisms in distributed and wireless environments . His work frequently combines cryptographic theory with system-level implementations, particularly in RFID and sensor networks. There is a strong trend toward privacy-preserving protocols, efficient data retrieval, and secure information sharing , often leveraging mathematical structures like Latin squares and Bloom filters. Dr. Zhang has been actively involved in mentoring students, as evidenced by numerous co-authored publications with graduate and undergraduate researchers. His contributions span journals such as Security and Communication Networks , Journal of Applied Security Research , and International Journal of Security and Networks , as well as major conferences including IEEE LISAT, ACM CODASPY, and IEEE Sarnoff Symposium.
Dr. Jose Luis SANCHEZ LOPEZ is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) of the University of Luxembourg, leading the Aerial Robotics Lab (AeRoLab) within the Automation & Robotics Research Group (ARG). He joined SnT in 2017 as a Postdoc Research Associate, promoted to Research Scientist in 2021. His research focuses on autonomous robotics, particularly aerial systems, emphasizing situational awareness, SLAM, and trajectory planning. Education: Ph.D. in Robotics (2017), M.Sc. in Automation & Robotics (2012), and Engineering degree in Industrial Engineering (2010), all from the Technical University of Madrid. Visiting Research: Arizona State University (2012), LAAS-CNRS (2014–2016). Research Interests: Multi-agent robotic systems, sensor fusion, localization/mapping, computer vision, machine learning, and trajectory control. He has authored over 56 peer-reviewed publications, with an h-index of 18. Projects: Leads projects like DEUS (PI), NEDA, ÄerdFly (PI), and RoboSAUR. Contributions span European, Luxembourg, and Spain-funded initiatives, focusing on autonomous systems, 5G integration, and construction-site robotics. Teaching: Lectured in MICS, BiCS, BING (Uni.lu) and GITI (UPM). Actively involved in academic service as a reviewer, editor, and competition participant (e.g., IMAV, IARC). Outreach: National Coordinator for Luxembourg’s Robotics European Week, promotes robotics education in schools and public events.
