Aydin Aysu is an Associate Professor at the Department of Electrical and Computer Engineering, College of Engineering, North Carolina State University. His research focuses on hardware-based security , applied cryptography , and computer architecture , with an emphasis on secure systems to counter advanced cyber threats. Ph.D. in Computer Engineering, Virginia Tech (2016) M.S. in Electrical Engineering, Sabanci University, Turkey (2010) B.S. in Microelectronics Engineering, Sabanci University, Turkey (2008) Aysu’s work addresses hardware vulnerabilities through secure design automation, side-channel attack mitigation, and next-generation cryptographic systems. His research extends to AI/ML security , FPGA security , and quantum-resistant cryptography . Notable scientific awards include: NSF CAREER Award (2020) University Faculty Scholars (2024) Bennett Faculty Fellow Award (2020) Best Paper Awards at DATE Conference (2020), ACM GLSVLSI (2019), and others Aysu leads the Hardware Cybersecurity Research Lab (HECTOR) , focusing on pre-silicon security analysis, secure accelerator sharing, and societal impacts of cybersecurity. He actively mentors Ph.D. students and collaborates on funded research projects like the SATC: CORE: SMALL grant.
Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.
Joseph Ramsey is a Researcher in the Department of Philosophy at Carnegie Mellon University , affiliated with the Dietrich College of Humanities and Social Sciences . He serves as Director of Research Computing and has been instrumental in developing computational infrastructure and algorithms for causal inference. Core projects: Tetrad (causal search algorithms), AProS (proof generator for logic), Causality Lab , and Laboratory for Symbolic and Educational Computing . His research spans causal modeling, algorithm design, and applications in neuroscience, bioinformatics, and education. He has contributed to software tools like Causal-learn and Py-Tetrad , enabling scalable causal discovery in high-dimensional datasets. He has received funding from NASA, NSF, and the University of Pittsburgh for projects ranging from Martian rover software to glaucoma detection models. His work integrates philosophy, computer science, and applied statistics.
Alfried Vogler is a Professor of Molecular Systematics with a joint appointment at Imperial College London's Department of Life Sciences (Silwood Park) and the Natural History Museum, London. His research focuses on the evolutionary and genetic mechanisms underlying insect biodiversity, particularly in beetles (Coleoptera), using advanced genomic techniques like metagenomics and environmental DNA (eDNA). He has held academic positions since 1995, becoming a Full Professor in 2006. Vogler is affiliated with the Georgina Mace Centre for the Living Planet, the Grantham Institute, and the Microbiome Network, contributing to interdisciplinary projects in ecology and conservation. Education: PhD in Bacterial Genetics (1988), University of Osnabrück, Germany MSc in Taxonomy and Biodiversity Biology degree (1984), University of Regensburg, Germany Research Interests: Vogler combines phylogenetics, population genomics, and bioinformatics to study species diversity across hierarchical levels (populations to insect orders). He explores community dynamics in complex environments, including tropical rainforests and soil ecosystems, using cutting-edge methods like metabarcoding and qPCR. His work emphasizes understanding trait evolution, dispersal constraints, and ecological interactions in biodiversity hotspots. Recent projects investigate the role of mitochondrial metagenomics in reconstructing evolutionary histories and predicting climate change impacts on communities. Academic Leadership: Since 1996, Vogler has directed the MSc in Taxonomy and Biodiversity and the MRes in Biosystematics programs, overseeing academic content and student research supervision. He also contributes to the Biodiversity, Evolution and Conservation MRes (UCL/NHM) and has been a module organizer for courses like Tree-of-Life and molecular systematics. Labs & Collaborations: Vogler leads the Molecular Systematics research group at the Natural History Museum, collaborating with Imperial College's Silwood Park campus. His work integrates with the SITE-100 project, aiming to build a global genomic framework for biodiversity synthesis. He also participates in DNAqua-Net, advancing genetic tools for aquatic ecosystem assessment.
Yu Huang is an Assistant Professor of Computer Science at Vanderbilt University with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her research focuses on human-centered AI for software engineering, combining human cognition with machine intelligence to enhance software development processes. Educated at the University of Michigan (PhD, 2021), University of Virginia (MS, 2015), and Harbin Institute of Technology (BS, 2011), her work spans software engineering, human factors, AI, and medical imaging. Key projects include the MIND Lab, studying programmer expertise and cognitive processes, and the HumanAISE workshop on Human-Centered AI for Software Engineering. Huang has received significant recognition, including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards. Her research is supported by NSF, GitHub, and Vanderbilt initiatives. She advises numerous graduate and undergraduate students, emphasizing diversity and innovation in programming education.
Paris Avgeriou is a Professor of Software Engineering at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute. He leads the Software Engineering and Architecture research group and serves as Editor-in-Chief of the Journal of Systems and Software . His expertise spans technical debt management, software architecture, self-adaptive systems, and embedded systems design. Avgeriou holds an office at Nijenborgh 9, Groningen, and actively advises academic institutions and funding bodies globally. Research Interests: Avgeriou's work focuses on advancing software architecture principles, technical debt lifecycle management, and the integration of AI in software engineering. His research emphasizes practical solutions for improving software quality, maintainability, and system dependability, particularly in embedded and self-adaptive contexts. Recent Contributions: Recent studies include frameworks for benefit-cost-risk decision-making in self-adaptive systems, automated technical debt management using ML, and tools for tracing architecture-related debt. He collaborates internationally, contributing to standards like the Copenhagen Manifesto for human-centered AI in software engineering. Grants & Awards: While no specific awards are listed, his editorial role and frequent conference contributions reflect recognition in the field. He chairs conference tracks and oversees workshops, fostering early-career researchers and artifact evaluation. Labs & Teams: His group is part of the Bernoulli Institute, working on platforms like SDK4ED for embedded systems and tools such as DebtViz for technical debt monitoring. The team explores intersections between systems engineering and software architecture in complex systems-of-systems.
Siddharth Garg is the Institute Associate Professor of Electrical and Computer Engineering at NYU Tandon School of Engineering, leading the EnSuRe Research Group. He holds a Ph.D. from Carnegie Mellon University (2009) and a B.Tech. from IIT Madras. His research focuses on secure and energy-efficient computing systems, integrating machine learning, cybersecurity, and hardware design. He previously held roles as Assistant Professor at NYU Tandon (2014-2020) and the University of Waterloo (2010-2014). Key affiliations include NYU Center for Cybersecurity (CCS), NYU Wireless, and the Center for Advanced Technology in Telecommunications. His work has been recognized with prestigious awards like the NSF CAREER Award (2015) and inclusion in Popular Science’s 'Brilliant 10' (2016). Notable research includes private inference optimization, secure hardware IP protection, and adversarial machine learning defenses. Publications highlight advancements in zero-knowledge proofs, AI-driven chip design, and mitigating backdoor attacks in neural networks. His grants include funding from NYU Wireless and NSF initiatives like the Chips4All project. The EnSuRe group emphasizes bridging software and hardware design gaps using AI and fostering cybersecurity education.
Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.
Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.
Niina Zuber is a Research Coordinator at the Bavarian Institute for Digital Transformation (bidt), focusing on ethical software design, agile development processes, and the intersection of digital technologies with democratic systems. Her work emphasizes integrating ethical principles into technical systems through frameworks like EDAP (Ethical Deliberation for Agile Processes). PhD in Ethics and Software Development (LMU Munich) Former roles: Research Consultant (Cognostics AG), LMU Munich, Center for Digitalization Bavaria (ZD.B) Key projects: EDAP, ReCREATIV, AI Gender Bias Dialogue Her research spans: ethical requirements management, value-sensitive design, AI's impact on creativity, facial recognition regulation, and digital responsibility frameworks. She regularly contributes to academic publications and public discourse on digital ethics. Scientific Contributions: Co-developed EDAP framework for ethical agile software processes Investigated ethical challenges in large language models (Vox ChatGPT) Explored gender bias in AI systems Studied generative AI's impact on creative industries Contributed to regulatory discussions on facial recognition Zuber collaborates across disciplines, connecting philosophy with technical implementation through projects like EDAP and publications in journals such as Philosophy & Technology and Informatics Spectrum.
Dr. Huadong Mo is a Senior Lecturer at the School of Systems and Computing, University of New South Wales (UNSW) Canberra, Australia. He holds a B.E. degree in automation from the University of Science and Technology of China (2012) and a Ph.D. in systems engineering and engineering management from the City University of Hong Kong (2016). Prior to his current position, he was a research associate at ETH Zurich's Reliability and Risk Engineering Lab (2016-2019) and a Lecturer at UNSW Canberra (2019-2021). Dr. Mo's educational background includes a strong foundation in systems engineering with international experience across China, Switzerland, and Australia. His career trajectory demonstrates a progression from academic research to faculty positions with increasing responsibilities in teaching and research leadership. His research focuses on enhancing the resilience, performance, and security of complex systems using learning-based algorithms, primarily in power and energy systems, cyber-physical systems, and manufacturing systems. He applies data analytics to understand system evolution under uncertainties, with particular emphasis on prognostics and health management, sustainable transportation, robust operation of power systems under extreme events, and reinforcement learning-based asset management. His work bridges theoretical advances with practical applications in critical infrastructure. Analysis of Dr. Mo's recent publications reveals a strong focus on energy systems, particularly in the integration of machine learning with power grid management, battery storage systems, and resilience against cyber threats. His research shows a clear trajectory toward increasingly complex system integration, with growing emphasis on multi-vector energy communities, cross-domain prediction, and uncertainty-aware energy management. The interdisciplinary nature of his work spans electrical engineering, computer science, and operations research. 2024 IEEE SMC Early Career Award 2023 Visiting Research Fellowship (Jean d'Alembert Pour Fellowship) Gold Medal in 2024 China International College Student Innovation Competition (as supervisor) Arc PGC Supervisor Award (2021) IEEE SMC Outstanding Chapter Award (2021) Alumni Achievement Award from City University of Hong Kong (2019) Dr. Mo actively supervises numerous HDR students working on cutting-edge research topics including battery health monitoring, quantum control, reinforcement learning for power systems, and explainable AI for energy management. He leads multiple significant research grants totaling over 3 million AUD, including projects funded by ARC, Energy Innovation Fund, and international collaborations with institutions like ETH Zurich, Cambridge, and Tsinghua University. His research group maintains strong international connections, facilitating student exchanges and collaborative research. As Postgraduate Course Coordinator of Systems Engineering and Chair of IEEE SMC ACT Chapter, Dr. Mo plays a significant role in academic leadership and professional community building. His research team collaborates with industry partners on practical implementations of their theoretical work, particularly in the energy sector.
Haoyi Xiong is an active academic researcher in artificial intelligence, machine learning, and data science, with extensive publications in top-tier journals and conferences including IEEE TPAMI, NeurIPS, ICML, KDD, and AAAI. His work spans explainable AI, graph neural networks, diffusion models, remote sensing, and large language models. Research Interests: Explainable AI (XAI) and model interpretability Graph Neural Networks and contrastive learning Diffusion models and generative AI Medical and remote sensing image analysis Large language models and autonomous agents Learning to rank and web search His recent publications (2023–2025) show a strong trend toward self-supervised learning , model robustness , and integration of LLMs with structured data and knowledge graphs . He frequently collaborates with researchers from major tech and academic institutions. Scientific Awards: No explicit awards mentioned in the provided text. Advising and Grants: While no direct mention of students or grants, his role as a senior author on numerous papers suggests he advises graduate students and likely leads funded research projects in machine learning and AI. His work on frameworks like COLTR , GS2P , and MUSCLE indicates leadership in developing scalable AI systems. Labs and Teams: Though not explicitly stated, his frequent collaboration with Jiang Bian, Dejing Dou, and Dawei Yin suggests affiliation with a well-established AI research lab or industry-academia partnership focused on data mining, intelligent systems, and large-scale learning.
Lukasz Szpruch serves as Professor at the University of Edinburgh's School of Mathematics and Programme Director for Finance and Economics at The Alan Turing Institute. He leads the FAIR research programme on responsible AI adoption in financial services and co-investigates the UK Centre for Greening Finance & Investment (CGFI), directing partnerships with the National Office for Statistics, Accenture, Bill & Melinda Gates Foundation, and HSBC. He maintains affiliations with the Oxford-Man Institute for Quantitative Finance. His research focuses on probability theory , stochastic analysis , and theoretical machine learning , with current investigations into deep learning foundations, mean-field models, reinforcement learning, game theory, multiagent systems, and computational optimal transport. These theoretical frameworks are rigorously applied to financial economics problems including market dynamics, risk modeling, and regulatory compliance, emphasizing mathematical precision in AI system design. Recent publications reveal a strategic shift toward responsible AI deployment in finance , addressing large language model governance, synthetic data privacy, and non-asymptotic sampling theory. His work consistently bridges abstract mathematics with financial sector applications, particularly through the FAIR programme's industry collaborations that translate theoretical advances into practical frameworks for trustworthy AI adoption. As Principal Investigator of FAIR and CGFI co-Investigator, Szpruch manages significant research funding streams focused on AI ethics in financial services and sustainable finance. His academic leadership drives cross-sector initiatives where theoretical research directly informs regulatory policy development and industry best practices, though specific student mentoring details remain unspecified in source materials. Szpruch operates at the nexus of three critical research ecosystems: the FAIR programme's industry partnerships, CGFI's sustainability-focused finance research, and the Oxford-Man Institute's quantitative finance initiatives. These interconnected teams combine mathematical rigor with real-world financial applications, developing frameworks for AI assurance, green finance metrics, and synthetic data validation that address systemic challenges in modern financial systems.
Daniel Cardoso Llach is an Associate Professor at Carnegie Mellon University's School of Architecture , where he chairs the Master of Science in Computational Design program and co-directs the CoDe Lab . His scholarship merges history, science and technology studies (STS), and computational design , focusing on the cultural and socio-technical dimensions of design automation. Education: PhD and MS in Architecture: Design and Computation from MIT , BArch from Universidad de los Andes Research Grants: Supported by the Graham Foundation for historical CAD exhibitions and by the Alexander Von Humboldt Foundation for postwar computational design research in Germany His work interrogates the politics of software, the materiality of computational systems , and the ethical implications of AI/robotics in architectural practice. Recent projects include reconstructing early CAD systems and analyzing data-driven urban technologies. Scientific awards include: Alexander Von Humboldt Fellowship (2024–2025) ACM CSCW Methods Mention for emulation-based software research (2021)
David A. Plaisted is a Research Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He joined UNC-Chapel Hill as a full professor after serving on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984. His academic career spans several decades with significant contributions to automated reasoning and computational logic. Bachelor's degree in Mathematics from the University of Chicago (1970) Ph.D. in Computer Science from Stanford University (1976) Professor Plaisted's research focuses on mechanical theorem proving, term rewriting systems, logic programming, and algorithms. His work in term-rewriting systems investigates methods of combining them with first-order theorem provers, including techniques for applying efficient permutation group algorithms to equational theorem proving. In mechanical theorem proving, he has developed a sequence of methods including clause linking with semantics and ordered semantic hyper-linking. His research in logic programming includes developing tests to eliminate the occurrence check in Prolog while maintaining semantics. His work spans theoretical foundations to practical applications in program verification and generation. His recent publications demonstrate continued innovation in automated reasoning, particularly in semantic guidance for theorem proving. His work shows a consistent focus on improving the efficiency and effectiveness of automated deduction systems, with recent contributions to SGGS (Semantically-Guided Goal-Sensitive) theorem proving and analysis of the relationship between semantics and unification in proof systems. Professor Plaisted has served on numerous program committees and editorial boards including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. He is currently on the editorial board of ACM Transactions on Computational Logic and the electronic Journal of Functional and Logic Programming. He has organized significant conferences including serving as co-chair of the Second International Conference on Rewriting Techniques and Applications in 1987. He has spent several sabbaticals at prestigious institutions including SRI in Menlo Park (1982-1983), the Max-Planck Institute and University of Kaiserslautern in Germany (1993-1994), and research visits to groups in Grenoble and Nancy, France (1998).
