Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.
Dr. Hongtu Zhu is the Kenan Distinguished Professor of Biostatistics, Statistics, Radiology, Computer Science, and Genetics at the University of North Carolina at Chapel Hill (UNC). He holds affiliations with the Gillings School of Global Public Health and leads the Biostatistics and Imaging Genomics Analysis Lab. His expertise spans statistical learning, medical imaging, AI, and big data integration, with a focus on precision medicine and biomedicine. Dr. Zhu earned his PhD in Statistics from The Chinese University of Hong Kong (2000) and has held prior roles including DiDi Fellow/Chief Scientist (2018-2020) and Bao-Shan Jing Endowed Professor at MD Anderson Cancer Center (2016-2018). He has published over 345 peer-reviewed articles in top-tier journals like Nature, Science, and JASA, and actively contributes to editorial roles including Coordinating Editor of JASA. His research interests include neuroimaging analysis, knowledge graphs, and AI applications in healthcare. Notable awards include the COPSS Snedecor Award (2025), IEEE Fellowship (2025), and IMS Medallion (2027). He has mentored over 80 PhD students/postdoctoral fellows and serves on NIH grant review panels and professional organizations like the ASA's Section on Statistics in Imaging. Key Contributions: Imaging genomics, brain connectivity studies, ridesharing market optimization, medical AI frameworks Lab Innovations: Brain Imaging Genetics Knowledge Portal, Biomedical Knowledge Graph Interface Teaching: Advanced biostatistics courses (Generalized Linear Models, Deep Learning in Biomedicine) Recent work explores causal inference in healthcare, X chromosome's role in neurobiology, and AI ethics in medical vision-language models. His interdisciplinary projects bridge statistics, computer science, and clinical practice to address complex biomedical challenges.
Mark Steedman is Professor of Cognitive Science at the University of Edinburgh's School of Informatics, with adjunct appointment at University of Pennsylvania. His research spans computational linguistics, AI, and cognitive science, focusing on Combinatory Categorial Grammar (CCG) and its applications. His research examines: Combinatory Categorial Grammar parsing and semantics Language model capabilities and limitations Cross-linguistic semantic inference Brain modeling of language processing Recent publications analyze hallucination sources in large language models, cross-linguistic entailment graphs, and brain-computer parallels in structure-building. He develops computational models integrating symbolic and distributional approaches to semantics. Honors include ACL Lifetime Achievement Award (2018) and George E. Davis Medal (2001). He serves on editorial boards of major linguistics journals and has authored influential books including 'The Syntactic Process' and 'Taking Scope'.
Rui Soares Barbosa is a Staff Researcher at the Quantum and Linear-Optical Computation group at the International Iberian Nanotechnology Laboratory (INL). He holds a BSc in Computer Science from Universidade do Minho (2009), an MSc in Mathematics and Foundations of Computer Science from the University of Oxford (2010), and a DPhil in Computer Science from Oxford (2015) with a thesis on Contextuality in quantum mechanics and beyond. Prior to joining INL, he held post-doctoral positions at Oxford (2015–2019) and the University of Edinburgh (2019–2020), and a Research Fellowship at the Simons Institute for the Theory of Computing, UC Berkeley (2017). Barbosa's research lies at the intersection of Computer Science, Physics, and Mathematics, focusing on quantum foundations, quantum computer science, and the mathematics of quantum theory. His work emphasizes logical, structural, and compositional aspects, particularly investigating non-locality and contextuality - phenomena that distinguish quantum theory from classical physics and have been linked to quantum informatic advantage. He employs mathematical tools from category theory, logic, probability, algebraic topology, and operator algebras to achieve a structural understanding of quantum systems' non-classical features. His recent publications demonstrate a strong focus on contextuality as a quantum resource, exploring its connections to causality, computational advantage, and logical structures. The research spans theoretical foundations to practical quantum computing applications, with particular attention to mathematical frameworks like sheaf theory that elegantly express quantum contextuality. His work often involves collaborations with leading researchers in quantum foundations and theoretical computer science. Barbosa actively advises multiple PhD and MSc students including Angelos Bampounis, Rafael Wagner, Nico Witrock, and others. His research group at INL, the Quantum and Linear-Optical Computation group, conducts cutting-edge research at the intersection of quantum theory and computer science, regularly presenting findings at major conferences like the International Conference on Quantum Physics and Logic (QPL).
Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.
Ke Wang is a Professor in the School of Computing Science at Simon Fraser University . His research focuses on Data Mining , Database Systems , Data Privacy , and Graph and Network Data . He holds a Ph.D. and M.Sc. from the Georgia Institute of Technology (1986 and 1984, respectively). Teaching includes courses like Database Systems II , Introduction to Data Mining , and Special Topics in Databases . He has advised numerous students and alumni, many of whom now work in tech, academia, and industry. Notable awards include the 2013 Faculty of Applied Sciences Research Excellence Award and the ECIR 2019 Best System Paper . His work emphasizes privacy-preserving techniques and has led to contributions like the Introduction to Privacy-Preserving Data Publishing textbook. He has served as a conference chair for major data mining events like SDM 2015/2016 and holds editorial roles in journals like ACM TKDD. His lab, the Database and Data Mining Laboratory , focuses on actionable solutions for real-world data challenges.
Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.
Andrew Yonelinas is a Professor in the Department of Psychology at the University of California, Davis, where he directs the Human Memory Lab. He holds additional leadership roles as Associate Director of the Center for Mind and Brain and is an affiliated faculty member with the UC Davis Center for Neuroscience. His research bridges cognitive psychology and neuroscience to investigate fundamental memory mechanisms and their neural substrates. His educational background includes a Ph.D. in Experimental Psychology from McMaster University (1995) and a B.S. in Cognitive Science from the University of Toronto (1990). These foundational studies established his expertise in experimental methodologies and cognitive theory. Yonelinas specializes in dual-process models of memory, distinguishing between recollection (detailed contextual retrieval) and familiarity (vague recognition). His lab employs process dissociation, remember/know procedures, and ROC modeling alongside neuroimaging (fMRI, ERP) and clinical studies with amnesic and Alzheimer's patients. Recent work expands into auditory working memory, multisensory integration, and the impact of mental illness on cognitive processes, revealing hippocampal roles across memory systems. His research consistently addresses how memory fails in clinical conditions while developing unified theoretical frameworks. Analysis of his 2024-2025 publications shows a strong focus on memory mechanisms across sensory modalities, with increasing emphasis on clinical applications. Key trends include hippocampal contributions to visual/auditory working memory, EEG-based biomarkers for mental illness, and the interplay between schema knowledge and memory distortion in aging populations. His work demonstrates methodological innovation through model-based EEG phenotyping and multisite clinical collaborations. His scientific recognition includes: American Psychological Society’s Shahin Hashtroudi Memorial Award University of California Chancellor’s Fellow Award European Brain and Behavior Society International Lecture Award Yonelinas actively shapes his field through editorial roles at top journals including Proceedings of the National Academy of Sciences and Journal of Experimental Psychology, while serving as a grant reviewer for NIH, NSF, and international funding bodies. His Human Memory Lab trains next-generation researchers in memory theory and methodology, with recent projects examining stress effects on memory precision and neural mechanisms of action slips. The Human Memory Lab operates within UC Davis's neuroscience ecosystem, collaborating closely with the Center for Mind and Brain on projects involving clinical populations and neuroimaging. Current initiatives include the CNTRACS Consortium for EEG standardization in mental illness and investigations into how stress modulates memory binding through hippocampal mechanisms.
Prof. Dr. Raphael Sznitman serves as Director of the ARTORG Center for Biomedical Engineering Research and Head of the Artificial Intelligence in Medical Imaging group at the University of Bern, Switzerland, holding a Full Professor position in AI for Medical Imaging since 2015. Education: PhD in Computer Science, Johns Hopkins University (2011) MSc in Computer Science, Johns Hopkins University (2009) BSc in Cognitive Systems, University of British Columbia (2007) Research Interests: Sznitman's work centers on computational vision , probabilistic methods , and statistical learning applied to medical imaging challenges. His group develops AI algorithms for ophthalmic diagnostics, surgical robotics, and medical image analysis, with emphasis on OCT, surgical phase recognition, and domain adaptation techniques. Key application areas include retinal disease detection and cataract surgery automation. Publication Trends: His 2021-2025 publications reveal concentrated efforts in deep learning for medical imaging , particularly in ophthalmology (OCT analysis) and surgical video understanding. Emerging themes include LLM applications for clinical monitoring, unsupervised out-of-distribution detection for surgical safety, and physics-informed AI for multimodal medical data fusion. Research Leadership: As ARTORG Center Director, Sznitman oversees interdisciplinary research bridging computer science and clinical medicine. His group collaborates extensively with Bern University Hospital clinicians on translational projects, securing funding for AI-driven diagnostic tools and surgical assistance systems. Current initiatives focus on real-time intraoperative guidance and spaceflight ophthalmology applications. Laboratory: The Artificial Intelligence in Medical Imaging group operates within ARTORG's dedicated facilities, maintaining partnerships with surgical robotics labs and ophthalmology departments for clinical validation of AI systems. Their work integrates multimodal data streams including OCT, VR perimetry, and surgical video feeds.
Mohammad Mohammadi Amiri serves as an Assistant Professor in the Department of Computer Science at Rensselaer Polytechnic Institute (RPI), appointed in Fall 2023. His research focuses on advancing artificial intelligence through strategic data utilization, with emphasis on large language models, data valuation, federated learning, and deep learning. Previously, he held postdoctoral appointments at Princeton University and MIT Media Lab, building on his strong educational foundation from Imperial College London, University of Tehran, and Iran University of Science and Technology. Education: Ph.D. in Electrical and Electronic Engineering, Imperial College London (2019) - Best Ph.D. Thesis Award recipient M.Sc. in Electrical and Computer Engineering, University of Tehran (2014) - Ranked 1st among all M.Sc. students B.Sc. in Electrical Engineering, Iran University of Science and Technology (2011) - Ranked 1st among all B.Sc. students Dr. Amiri's research centers on optimizing artificial intelligence systems through innovative data strategies. His work addresses critical challenges in large language models including efficiency, memory usage, alignment, and reasoning capabilities. In data valuation, he develops principled methods to quantify data worth for fair trading platforms. His federated learning research tackles privacy concerns, heterogeneous data distribution, and communication overhead in decentralized environments. The deep learning component explores theoretical foundations to improve model interpretability and robustness. Analysis of his recent publications reveals a strong focus on making AI systems more efficient and accessible, with particular emphasis on large language model optimization, federated learning advancements, and data valuation frameworks. His work bridges theoretical foundations with practical applications in wireless communications and distributed computing environments. Scientific Awards: IEEE Communications Society Young Author Best Paper Award (2022) Best PhD Thesis Award from IEEE Information Theory Chapter of UK and Ireland (2019) Eryl Cadwallader Davies Prize for Outstanding PhD Thesis (2019) EEE Departmental Scholarship at Imperial College London (2015-2019) Ranked 1st among M.Sc. students at University of Tehran (2014) Ranked 1st among B.Sc. students at Iran University of Science and Technology (2011) Dr. Amiri actively mentors graduate students, currently supervising five Ph.D. candidates and one M.Sc. student working on efficient LLM fine-tuning, inference, and storage. His research has attracted significant attention, evidenced by numerous keynote invitations at prestigious institutions including Bell Labs, MIT, King's College London, and various IEEE conferences. He serves on program committees for major conferences including IEEE Globecom and ICC, demonstrating his growing influence in the academic community. His research group operates at the intersection of machine learning and wireless communications, developing innovative solutions for resource-constrained environments while addressing fundamental theoretical challenges in AI systems. Current projects focus on making advanced AI more scalable and accessible through efficiency improvements in model training and inference.
Dr. Jia Zhang is the Inaugural Robert H. Dedman Jr. Endowed Department Chair and Professor of Computer Science at Southern Methodist University (SMU Lyle School of Engineering). She holds the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering and has a courtesy appointment in the Department of Operations Research and Engineering Management. Her research focuses on applying machine learning, natural language processing, and information retrieval to data science infrastructure, particularly scientific workflows, provenance mining, software discovery, knowledge graphs, cloud computing, immune AI, and applications in earth science and healthcare. Education: Ph.D. in Computer Science, University of Illinois at Chicago M.S. in Computer Science, Nanjing University B.S. in Computer Science, Nanjing University Dr. Zhang's work emphasizes data science infrastructure and machine learning for scientific workflows and knowledge graphs. Her recent publications highlight deep learning , graph neural networks , and optimization algorithms in cloud computing, cybersecurity, and environmental applications. Key trends include spatiotemporal modeling , hybrid neural architectures , and AI-driven service ecosystems . Scientific Awards: Best Paper Awards IEEE SCC (2011, 2017) Best Student Paper Awards IEEE ICWS (2014, 2018), IEEE ICCC (2018) Distinguished Paper Award ICSOC (2023) First Outstanding Service Award IEEE Technical Committee on Services Computing (2016) She has secured over $5 million in federal grants (as PI) and $11 million as PI/Co-PI from NSF, NASA, NIH, UTSW, Ericsson, SAP, and Google. Her lab (Caruth Hall 308) actively recruits research assistants. She previously served as a faculty member at Carnegie Mellon University, Northern Illinois University, and Nanjing University, and worked in industry as a software architect.
Dr. Karim El-Basyouny is a Killam Laureate Professor and City of Edmonton Urban Traffic Safety Research Chair at the University of Alberta's Faculty of Engineering, where he serves as Associate Dean (Research Infrastructure and Innovation) in the Civil and Environmental Engineering Department. A licensed Professional Engineer in Alberta, he holds advanced degrees in Transportation Engineering from the University of British Columbia and has dedicated his career to advancing road safety through data-driven management frameworks. His academic credentials include: Doctor of Philosophy, Civil Engineering, University of British Columbia, 2011 Engineering Management Sub-specialization, Civil Engineering, University of British Columbia, 2010 Master of Applied Science, Civil Engineering, University of British Columbia, 2006 Bachelor's degree (ABET Equivalent), Civil & Environmental Engineering, United Arab Emirates University, 2003 El-Basyouny's research pioneers the integration of remote sensing, machine learning, and statistical modeling to enhance transportation safety. His work develops automated tools for infrastructure digitization, collision prediction, and speed management, treating safety as a systemic product requiring management frameworks. Key contributions include LiDAR-based road feature extraction, network-level safety evaluations, and frameworks for vision-zero outcomes that address both human-driven and autonomous vehicle contexts. His recent publications demonstrate a cohesive research trajectory centered on leveraging point cloud data and computational intelligence for safety management. Over 15 major publications since 2021 focus on automated infrastructure assessment (light pole detection, clear zone mapping, vertical clearance evaluation), weather-impact modeling, and enforcement resource optimization. This body of work bridges transportation engineering with computer vision and operations research to create scalable safety solutions. His scientific contributions have been recognized with prestigious honors including: 2024 Killam Annual Professorship Award 2024 Road Safety Achievement Award from TAC 2023 Donald Stanley Award for environmental engineering 2022 Faculty of Engineering Graduate Teaching Award 2021 Daniel B. Fambro Student Paper Award As an academic leader, El-Basyouny actively mentors graduate students and secures significant research funding through his endowed chair position. He currently recruits fully-funded PhD and postdoctoral candidates specializing in remote sensing applications, machine learning, and geomatics for road digitization projects. His research group collaborates with national safety committees and municipal agencies to translate findings into policy, while he serves on editorial boards for Transportation Research Record and Analytic Methods in Accident Research. The research group operates at the intersection of transportation engineering and computational science, developing automated frameworks that merge sensor technologies with data processing tools. Current projects focus on semantic segmentation of 3D point clouds, safety implications of infrastructure digitization, and machine learning applications for road feature extraction in both urban and rural environments.
Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.
Dr. Kamran Sedig serves as a Professor in the Department of Computer Science and the Faculty of Information and Media Studies at Western University, where he directs the Insight Lab. His research focuses on designing interactive technologies to enhance human cognitive activities involving data and information, including decision making, problem solving, and learning across domains like healthcare, finance, and scientific discovery. His academic credentials include: Ph.D. in Computer Science (Human-Computer Interaction) from The University of British Columbia under Prof. Maria Klawe, with dissertation nominated for the Governor General’s Gold Medal M.Sc. in Computer Science (Artificial Intelligence) from McGill University under Prof. Renato De Mori B.Sc. in Computer Engineering and Science from Concordia University as Valedictorian with The Most Great Distinction Sedig’s research synthesizes computer science, information science, cognition theory, and game studies to develop frameworks for interactive visual tools (IVTs). He investigates human-data interaction, visual reasoning, and interactivity design to support complex cognitive tasks like medical diagnosis, financial analysis, and scientific exploration. His human-centered approach emphasizes how computational tools and humans form coordinated cognitive systems for optimal task execution. Analysis of his recent publications reveals dominant trends in health informatics applications (drug safety analytics, electronic health records) and foundational work on human-information interaction frameworks. His visual analytics systems consistently bridge theoretical models with practical tools for ontology exploration, document triage, and explainable AI, demonstrating strong interdisciplinary collaboration across medical and computational domains. Key recognitions include: Governor General’s Gold Medal nomination for doctoral research Valedictorian honors at Concordia University As Insight Lab director, Sedig mentors graduate students through courses like Human-Computer Interaction, Information Visualization, and Design of Digital Cognitive Games. His teaching philosophy emphasizes how cognitive technologies mediate human thinking processes in professional and private contexts. While specific grant details aren’t provided, his lab’s sustained output in health analytics and visual interfaces indicates robust research funding. The Insight Lab operates as a collaborative hub for developing and evaluating IVTs, with current projects including VICTORIOUS for document scoping reviews and VISEMURE for multimorbidity analysis. Sedig’s team prioritizes empirical validation of how interaction design affects cognitive load and task efficiency in real-world data-intensive environments.
Ellie Pavlick is an Assistant Professor of Computer Science and Linguistics at Brown University, where she leads the Language Understanding and Representation (LUNAR) Lab . Her work bridges computational linguistics and cognitive science, focusing on grounded language learning and the structural dynamics of neural language models. PhD from University of Pennsylvania (2017), specializing in paraphrasing and lexical semantics Collaborates with Brown's Robotics, Visual Computing labs, and Cognitive, Linguistic, and Psychological Sciences department Research interests center on cognitively-inspired approaches to language acquisition, analyzing how LLMs and humans encode abstract reasoning and compositional structures. Her lab explores: Grounded language learning in multimodal systems Emergence of compositional behavior in neural networks Interpretability frameworks for black-box AI Key publication areas include: Transformer mechanisms and cognitive modeling Formality and complexity in language systems Relational reasoning and multimodal integration Ellie teaches courses on computational linguistics and human-machine language processing, with a focus on synergies between AI and psychological science.
