Dr. Ali Arya is an Associate Professor at the School of Information Technology , Carleton University, Canada. His work bridges Human-Computer Interaction , Educational Technologies , and Virtual/Augmented Reality systems. Funded by NSERC, SSHRC, and OCE, he has designed graduate programs in Digital Media and organized the Global Game Jam since 2009. Education: B.Eng. Electrical Engineering, Tehran Polytechnic Ph.D. Computer Engineering, University of British Columbia Research Interests: Immersive VR/AR for education and health Affective and social computing Personalized learning systems Wearable interaction technologies Game design and development 3D virtual environments Research Trends: Recent publications focus on inclusive VR design, educational applications of immersive environments, anxiety-reduction technologies, and culturally responsive systems. His work combines machine learning, multimodal interaction, and pedagogical innovation across STEM and social contexts. Scientific Awards: OCUFA Teaching Award (2023) Carleton Provost's Fellowship (2020) Faculty Teaching Excellence Award (2019) Graduate Mentorship Award (2019) Professional Service: Associate Dean (2018-2022), Program Chair FDG (2021), IEEE/ACM conference committees. He maintains the Interactive Media Group (iMG) research lab and contributes to open-access educational resources including his "Anyone Can Code" book series.
Amanda Watson is an Assistant Professor in Electrical and Computer Engineering at the University of Virginia, with joint appointments in Computer Science. She leads the Watson Research Lab within the UVA Link Lab, a multidisciplinary center for Cyber-Physical Systems (CPS) and Internet of Medical Things (IoMT) research. Her work bridges wearable technology with healthcare and athletic performance applications, focusing on noninvasive monitoring, physiological signal analysis, and safety-critical medical devices. She is also the cofounder and CEO of Luminosity Wearables, commercializing a noninvasive continuous glucose monitor. Education: PhD in Computer Science (2020) - College of William & Mary MSc in Computer Science (2016) - College of William & Mary Bachelors in Computer Science and Mathematics (2014) - Drury University Her research spans multiple domains including: Wearable spectroscopy for nutrition and skin health Machine learning for drug overdose and fall risk detection Biomechanical monitoring in sports medicine Wearable support for visual and neurological impairments IoMT device integration and analytics Recent publications (2024-2025) show strong emphasis on calibration-free physiological monitoring systems, with technical contributions in spectral analysis , multi-wavelength sensing , and rapid prototyping for healthcare wearables. Applications range from maternal health to gerontological social isolation detection. Lab and Team: The Watson Research Lab at UVA develops wearable solutions for clinical and athletic contexts, with ongoing collaborations in the PRECISE Center at University of Pennsylvania and LENS lab at William & Mary alumni network. She works with multidisciplinary teams including engineers, clinicians, and data scientists.
Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he leads the Programming Languages & Software Engineering Group (PLSE) and the SAMPL Group. His research spans programming languages, formal verification, compilers, and computational fabrication. He is also an Amazon Scholar with AWS's Automated Reasoning Group and previously advised OctoML. Tatlock's work bridges theoretical foundations with practical systems, focusing on making it easier to write tricky code while ensuring correctness through rigorous proofs and measurements. PhD in Computer Science & Engineering, University of California, San Diego (2014) Thesis: Reducing the Costs of Proof Assistant Based Formal Verification Advisor: Sorin Lerner BS in Computer Science (Honors) and Mathematics, Purdue University (2007) Professor Tatlock's research focuses on the intersection of programming languages, formal methods, and systems. His work in compilers and formal verification aims to make it easier to write tricky code while ensuring correctness through rigorous proofs. He explores computational fabrication techniques that bridge digital design with physical manufacturing. His recent work on equality saturation (via the egg framework) has transformed program optimization and synthesis. Tatlock also investigates floating-point numerics, distributed systems verification, and hardware/software co-design, always seeking to balance theoretical rigor with practical implementation. Tatlock's recent publications demonstrate a strong focus on equality saturation techniques (egg framework), computational fabrication, and verified systems. His work increasingly integrates machine learning with program analysis and synthesis. There's a clear trajectory toward more practical applications of formal methods in real-world systems, particularly in numerical computing and fabrication. His research group has made significant contributions to e-graph technology, floating-point accuracy, and the verification of distributed systems. Distinguished Paper Award for Rewrite Rule Inference Using Equality Saturation (OOPSLA 2021) Spotlight Paper Award for Dynamic Tensor Rematerialization (ICLR 2021) Distinguished Paper Award for egg: Fast and Extensible Equality Saturation (POPL 2021) Faculty Appreciation for Career Education & Training (FACET) Award (2020) NSF CAREER Award: Verifying Distributed System Implementations (2017) Distinguished Paper Award for Automatically Improving Accuracy for Floating Point Expressions (PLDI 2015) Distinguished Teaching Award Nomination (2015) Professor Tatlock has advised numerous doctoral, master's, and undergraduate students who have gone on to prominent positions in academia and industry, including faculty positions at the University of Utah and Brown University, and leadership roles at companies like OctoML and Certora. His research is supported by significant funding from NSF, DARPA, DOE, and industry partners, totaling millions of dollars. Current grants include projects on computer-aided reasoning, formal verification, computational fabrication, and machine learning systems. He has served on numerous program committees and organized workshops including FPTalks, EGRAPHS, and PNW PLSE. As co-leader of the Programming Languages & Software Engineering (PLSE) research group and affiliate of the SAMPL Group at the University of Washington, Tatlock has developed influential tools including egg (an equality saturation toolkit), Carpentry Compiler, and Odyssey. His group actively collaborates with industry partners including Amazon Web Services, where he serves as an Amazon Scholar. The group has made significant contributions to equality saturation, floating-point accuracy, program synthesis, and computational fabrication, with applications ranging from compiler optimization to 3D printing.
Dr. Summer Han serves as Associate Professor of Medicine, Neurosurgery, and Epidemiology at Stanford University School of Medicine. She leads research through the Quantitative Sciences Unit (QSU) in the Biomedical Informatics Research Division of the Department of Medicine and maintains joint appointments in the Department of Neurosurgery. Her work bridges statistical methodology development with clinical applications in cancer screening and neuroscience. Her research program focuses on statistical genetics, molecular epidemiology, and risk prediction modeling for complex diseases. Key areas include developing novel methods for analyzing high-dimensional genomic data, creating dynamic risk prediction models under competing risks, and establishing evidence-based cancer screening strategies. Her team integrates genetic, environmental, and clinical factors to improve early detection of lung cancer and second primary malignancies, with particular attention to reducing racial disparities in screening outcomes. Dr. Han's scientific contributions have been recognized through prestigious awards including the NCI R37 MERIT Award for Early-Stage Investigators and the Department of Medicine Teaching Award in Biomedical Informatics Research. Her team has developed impactful tools such as the SPLC-RAT for second primary lung cancer risk assessment and RAMBO for brain metastasis prediction in lung cancer patients. She actively mentors PhD students and postdoctoral fellows, with several former trainees securing faculty positions at institutions including Cornell University and IIT Roorkee. Current research initiatives include the Oncoshare-Lung database integrating EHRs from Stanford Health Care and 23+ Sutter Health sites across Northern California, and the Cancer Data Science Shared Resources Core which she co-directs at the Stanford Cancer Institute. NCI R37 MERIT Award (Early-Stage Investigator) 2022 Department of Medicine Teaching Award in Biomedical Informatics 2024 SCI Equity Impact Research Grant 2024 Neurosurgery Research Seed Grant Award Multiple NCI R01 grants (CA226081, CA282793) Her laboratory collaborates extensively across Stanford Medicine, working with thoracic oncologists, neurosurgeons, and epidemiologists to translate statistical innovations into clinical practice. Current projects address socioeconomic factors in cancer risk stratification, real-time physical activity monitoring in spine surgery recovery, and machine learning approaches for genomic data analysis.
Rafał Riedel serves as a Professor at the Institute of Political Science and Administration, University of Opole, dedicating his career to political science and public administration with exclusive focus on European integration and EU policy frameworks. His institutional affiliation centers on analyzing Poland's evolving role within continental governance structures. His scholarly pursuits emphasize: European Union institutional dynamics and integration processes Public and economic policy formulation in EU contexts Democratic resilience in Central and Eastern European states Interest group influence on transnational policymaking EU market regulatory mechanisms and national economic strategies Professor Riedel's research output comprises 115 publications with significant bibliometric validation—evidenced by a Web of Science h-index of 5, total impact factor of 12.862, and ministerial evaluation score of 3,529. His single documented research project reflects concentrated investigation into EU-Poland relations and regional governance models within Eastern Europe.
Dr. Jesse Vermaire is an Associate Professor in the Department of Geography and Environmental Studies at Carleton University . With a Ph.D. from McGill University and M.Sc. from the University of New Brunswick, his research focuses on the impacts of environmental change on freshwater ecosystems, particularly climate warming, nutrient enrichment, and extreme events like droughts and storm surges. His lab employs paleolimnological techniques and long-term datasets to study ecosystem resilience and recovery. Education: B.Sc. Honours (University of Guelph), M.Sc. (UNB), Ph.D. (McGill) His work spans multiple subfields, including microplastic pollution, metal contamination from historical mining, wildfire effects on lakes, and riparian development impacts. Recent publications highlight studies on plastic ingestion by Arctic seabirds, legacy arsenic pollution in Cobalt, Ontario, and critical thresholds for freshwater conservation. Collaborations with researchers like S.J. Cooke and J.P. Smol demonstrate his interdisciplinary approach. Key trends in his 15 most recent articles include: 1) Quantifying microplastic pollution in diverse ecosystems (Arctic, mangroves, agricultural soils); 2) Analyzing historical contamination impacts (arsenic, gold, lead mining); 3) Investigating climate-fire-sediment interactions; 4) Advancing monitoring methodologies (community science, multi-matrix sampling); 5) Critiquing environmental restoration practices; and 6) Developing evidence-based conservation frameworks.
Dr. Yanjie Fu is an Associate Professor in the School of Computing and AI at Arizona State University, part of the Ira A. Fulton Schools of Engineering. He maintains his office in BYENG 506 at the Tempe campus and can be reached at yanjie.fu@asu.edu. Dr. Fu received his Ph.D. from Rutgers University in 2016, the B.E. degree from the University of Science and Technology of China, and the M.E. degree from the Chinese Academy of Sciences. His industry research experience includes positions at Microsoft Research Asia and IBM Thomas J. Watson Research Center. His research focuses on developing disruption-robust machine intelligence that can handle imperfect and complex data. Dr. Fu's work spans two major efforts: Data for AI (D4AI), exploring how structure knowledge of data can guide AI, and AI for Data (AI4D), investigating how AI can augment, reprogram, and knowledgeize data. His current research interests include space-time intelligence, data-centric AI, sim2decision, multimodal reasoning, and LLM with agentic AI. His lab has contributed projects including D4AI-spatial, D4AI-timeseries, D4AI-causal outliers, AI4D-RL, AI4D-Gen, and AI4D-LLM. Dr. Fu's recent publications reveal a strong trend toward integrating causal reasoning with deep learning for robust anomaly detection, advancing time series forecasting with novel normalization techniques, and applying generative AI to urban planning. His work increasingly bridges traditional machine learning with large language models, particularly focusing on data-centric approaches for tabular data transformation and feature engineering. US NAE FOE early career engineer (2023) US NSF CAREER (2021) NSF CRII (2018) ACM KDD18 Best Student Paper Finalist IEEE ICDM Best Paper Finalist (2014, 2021, 2022) ACM SIGSpatial Best Paper Runner-up (2020) 2022 Baidu Scholar global top Chinese young scholars in AI 2021 Aminer.org AI 2000 Most Influential Scholar Award Honorable Mention Dr. Fu has successfully mentored multiple Ph.D. students who have secured tenure-track faculty positions at prestigious institutions including University of Kansas, Chinese Academy of Sciences, Great Bay University, Portland State University, and University of Macau. His research has been supported by significant grants including the NSF CAREER award, and he currently serves as Associate Editor of ACM Transactions on Knowledge Discovery from Data. He is also a senior member of both ACM and IEEE. Dr. Fu leads a research group focused on developing trusted and safe machine intelligence. The lab connects computing issues across representation learning, self-supervised learning, interactive learning, adaptive learning, and stream learning to build disruption-robust frameworks. The group executes two key steps: data representation construct (integrating structure knowledge, self-optimization, explainability) and learning strategy construct (integrating robust representations with adaptive and interactive learning).
Kaize Ding is an Assistant Professor in Statistics and Data Science at Northwestern University, leading the REAL Lab and affiliated with the IDEAL Institute. He holds a Ph.D. in Computer Science from Arizona State University (2023) under Prof. Huan Liu, with prior degrees from Beijing University of Posts and Telecommunications. His research focuses on reliable AI systems for autonomous decision-making, knowledge-guided algorithms using GNNs/LLMs, and applications in healthcare, environmental science, and cybersecurity. Collaborations include Google Brain, Microsoft Research, and Amazon Alexa AI. Education: Ph.D. in Computer Science, Arizona State University (2023) M.S. and B.S., Beijing University of Posts and Telecommunications Research Interests: Developing robust AI for decision-making under uncertainty Graph-based machine learning for anomaly detection and network analysis Large language models (LLMs) integrated with domain-specific knowledge Cross-domain applications in healthcare diagnostics, environmental monitoring, and cybersecurity Recent Activities: Received Amazon Research Award and Google Research Grant NeurIPS 2025 Area Chair and ARR Area Chair Postdoc opening in AI4Health for swallowing disorder research Recent publications at AAAI, NeurIPS, EMNLP, and KDD Lab & Team: The REAL Lab focuses on advancing AI through interdisciplinary projects. Current students include Ruiyao Xu (PhD), Qingcheng Zeng (co-advised), and over 10 master's/undergraduate researchers. Alumni have moved to top PhD programs at UVa, UIC, and JHU.
Martin Henz is an Associate Professor at the National University of Singapore , affiliated with the School of Computing and its Department of Computer Science . His academic journey includes an M.Sc. in Computer Science from Stony Brook University (1993) and a Dr.rer.nat. in Computer Science from Saarland University (1997). He has also worked as a Research Scientist at the German Research Centre for Artificial Intelligence. Research Focus : Scalable Experiential Learning, Systems for Teaching/Learning, AI in Education, Programming Languages, Algorithms, and Constraint Programming. Key Projects : Source Academy (immersive programming environment), Deep Teaching (LMS enhancements), and NUS Seafarers (maritime experiential learning). Publications span education technology, programming languages, and sustainable engineering, with recent works focusing on JavaScript-based pedagogy, automated question generation, and electric vehicle conversions. He supervised Rahul Singhal 's PhD, leading to the educational startup Cerebry, and co-founded Workforce Optimizer Pte Ltd with Alan Sevugan. Awards : NUS Annual Digital Education Award (2021) NUS Annual Teaching Excellence Award (2016/17) Fulbright Scholarship (1990) Startup @ Singapore Champion (2001)
Dr. Gavin McArdle is an Associate Professor at the University College Dublin (UCD) School of Computer Science, specializing in spatial data analysis and smart cities. He holds academic affiliations with the National Centre for Geocomputation (Maynooth University) and CeADAR (Data Analytics Centre). His research focuses on urban dynamics, geovisual analytics, smart transportation, and remote sensing applications. He has received a College of Science Teaching Excellence Award for his contributions to education. McArdle earned his BSc, PhD, and a Prof Dip in University Teaching & Learning from UCD. His work bridges academia and industry through collaborative grants, including those from Science Foundation Ireland and EU funding. Notable projects include the Dublin Dashboard (urban analytics platform) and DubSim (traffic simulation using digital footprints). His research outputs span over 147 publications, with recent work addressing Airbnb's impact on urban gentrification, sustainable mobility, and environmental monitoring via satellite data. He actively contributes to professional committees, including roles in the UCD Data Protection Impact Assessment Committee and international conferences like Web and Wireless GIS. McArdle coordinates courses such as Research Practicum and Computer Programming II, emphasizing practical research and technical skills. His interdisciplinary approach integrates machine learning, spatial statistics, and urban informatics to address real-world challenges in smart cities and environmental sustainability.
Andreas Maier is a Researcher at the University of Hamburg's Faculty of Mathematics, Informatics and Natural Sciences, affiliated with the Computational Systems Biology department. He began his PhD in May 2021 with Cosy.Bio (Center for Systems Biology) at UHH, focusing on drug repurposing projects such as REPO-TRIAL. Previously, he completed a Bioinformatics master's thesis at TUM (Technical University of Munich), developing a web application for analyzing molecular disease networks. His research interests emphasize network medicine, drug repurposing, and computational tools for biomedical discovery. He has contributed to platforms like NeDRex-Web, Drugst.One, and BioCypher, which democratize access to systems medicine workflows. His work bridges heterogeneous data integration, federated learning for rare diseases, and quantum computing applications in genetics. Maier's publications highlight innovations in knowledge graph-based drug discovery, privacy-preserving federated learning, and single-cell network analysis. He actively develops open-source bioinformatics tools to address challenges in disease module identification and patient stratification. His projects align with the REPO4EU consortium and other collaborative initiatives in translational bioinformatics.
Dr. Michael Gallaugher is an Assistant Professor of Statistical Science at Baylor University. He holds a Ph.D., M.S., and B.S. in Statistics from McMaster University. His research focuses on clustering and classification methodologies, particularly in matrix/tensor variate data, mixed-type data, clickstream analysis, and outlier detection. He has been recognized with prestigious awards including the Vanier Canada Graduate Scholarship and the Banting Postdoctoral Fellowship. Education: Ph.D., Statistics, McMaster University (2020) M.S., Statistics, McMaster University (2017) B.S., Statistics, McMaster University (2015) Research Interests: Dr. Gallaugher's work emphasizes advanced clustering techniques for complex data structures, including high-dimensional datasets, clickstream behavior analysis, and skewed distribution modeling. His contributions span statistical methodology development and applications in fields like bioinformatics and sports science. His recent work explores hidden Markov models for time series and robust co-clustering algorithms. Publications Trends: His publications reflect a strong focus on matrix-variate distributions, skewed data modeling, and algorithmic innovation in clustering. Recent work (2022-2025) highlights advancements in contaminated normal mixtures, co-clustering for high-dimensional data, and spatial regression models. Awards: Vanier Canada Graduate Scholarship Banting Postdoctoral Fellowship Advising & Grants: While no advisees are listed, his research has been supported by grants from the Natural Sciences and Engineering Research Council of Canada. He contributes to statistical consulting services at Baylor and collaborates internationally on methodological projects. Labs & Teams: He is affiliated with Baylor's Department of Statistical Science and collaborates with research groups focused on machine learning and statistical computing.
Dr Matthew Shardlow is a Reader in the Department of Computing and Mathematics at Manchester Metropolitan University . His career spans teaching and research, with a focus on Natural Language Processing (NLP) and its applications in Text Mining across disciplines like Neuroscience , Chemistry , Finance , and Journalism . He leads the Natural Language Processing Lab , which explores the use of Large Language Models (LLMs) in text-based applications. Key research areas include: Text Simplification : Developing methods to make complex texts accessible. Emoji Analysis : Understanding emoji usage in language and machine interpretation. Text Mining : Applying NLP to diverse fields like healthcare and education. Matthew’s recent publications highlight advancements in LLMs , lexical simplification , biomedical text processing , and AI ethics . He actively mentors BSc , Master’s , and PhD students aligned with his interests and maintains collaborations through the OpenMinTeD project and National Centre for Text Mining . Contact: m.shardlow@mmu.ac.uk .
Amanda N. Laubmeier is an Assistant Professor in the Department of Mathematics & Statistics at Texas Tech University. Her research integrates mathematical modeling with ecological systems, focusing on predator-prey dynamics, pest suppression, and biodiversity mechanisms. She holds a Ph.D. in Applied Mathematics from North Carolina State University (advised by H. T. Banks) and a B.S. in Mathematics from the University of Arizona. Her postdoctoral work at the University of Nebraska-Lincoln (under Richard Rebarber and Brigitte Tenhumberg) further developed her expertise in ecological modeling. Her research interests emphasize theoretical exploration and data-driven validation of ecological processes, particularly in agricultural and climate-sensitive contexts. Key areas include predator community dynamics, temperature effects on ecosystems, and the compatibility of biological control with pesticides. She actively engages in scientific outreach to promote inclusivity in academia and supports underserved communities in STEM. Her recent publications explore topics such as trap crop efficacy, predator-prey models under climate change, and parameter estimation in ecological systems. These studies highlight interdisciplinary approaches combining mathematical theory with empirical validation. She also contributes to educational initiatives like the Science Meets Popular Culture Speaker Series, bridging academic research with public engagement. Laubmeier advises students through her research group, which focuses on ecological modeling projects. While no named advisees are listed, her group’s work is detailed on her website. Her grants and funding history are not explicitly mentioned, but her CV (dated Jan. 2025) likely provides further details. She advocates for inclusive academic practices and integrates outreach into her professional activities.
Lianying Zhao is an Associate Professor in the School of Computer Science at Carleton University and serves as a Director of the Carleton Computer Security Lab (CCSL). His research focuses on low-level platform security, including hardware, firmware, hypervisor, and operating systems, with an emphasis on trusted computing, authentication, privacy preservation, and security metrics. He leads the CCSL research group, collaborating with interdisciplinary teams to address critical security challenges in IoT, cloud systems, and web applications. Education: Not explicitly listed in provided texts. Roles: CCSL Director, Research Supervisor, and Graduate Program Advisor. Dr. Zhao’s work spans hardware security improvements, firmware vulnerability analysis, and user-centric security metrics. Recent research highlights include studies on router configuration habits, tracker detection in web browsers, and CVSS score discrepancies. He has supervised numerous graduate students in cybersecurity domains, contributing to over 30 peer-reviewed publications since 2013. His lab affiliations include CCSL and CISL, where he collaborates on projects such as secure deletion frameworks, TLS validation vulnerabilities, and hybrid decision-making models for cloud security. Current research also explores cross-regional login throttling mechanisms and AI-driven vulnerability detection in embedded systems.
