Sebastian Dalleiger is an Assistant Professor at the Division of Theoretical Computer Science, Kungliga Tekniska Högskolan (KTH Royal Institute of Technology). His research focuses on theoretical foundations of machine learning, data mining, and graph theory, with particular expertise in matrix factorization, pattern discovery, and hypergraph analysis. Current affiliation: KTH Royal Institute of Technology Department: Theoretical Computer Science Email: sdall@kth.se His recent work explores federated learning architectures, non-negative matrix factorization, and structural analysis of stochastic block models across multiple graphs. He develops algorithms combining proximal optimization with privacy-preserving techniques, addressing challenges in distributed data analysis. Publications demonstrate interdisciplinary applications in network science, information theory, and computational geometry. Key contributions include novel frameworks for Ollivier-Ricci curvature in hypergraphs and sequential false discovery control for pattern mining.
Carsten Lutz is a Professor at the University of Leipzig, Faculty of Mathematics and Informatics, Institute of Informatics, where he leads the Department of Foundations of Knowledge Representation. He joined the university in April 2022 after previously holding positions at other institutions. His extensive service to the academic community includes numerous roles as Program Committee Chair, Area Chair, and Senior PC Member for major conferences in artificial intelligence, database theory, and knowledge representation. Professor Lutz's research focuses on the theoretical foundations of knowledge representation, with particular emphasis on description logics, ontology-mediated querying, and the intersection of database theory with artificial intelligence. His work bridges formal logic with practical applications in semantic technologies. His research has led to significant contributions in understanding the computational properties of knowledge representation formalisms and developing efficient query processing techniques. His recent publications demonstrate a continued focus on the theoretical aspects of knowledge representation, with increasing attention to connections with machine learning, particularly in areas like graph neural networks and PAC learning of logical concepts. The research trends show a consistent thread of applying logical methods to analyze and improve modern AI systems while maintaining strong theoretical foundations. Scientific Awards: Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA) 2022 EurAI (formerly ECCAI) fellow 2016 IJCAI2023 distinguished paper award PODS2023 Best Paper Award PODS2023 Test of Time Award for PODS2013 paper on Ontology-Mediated Querying "AI Ten to Watch" award of IEEE Intelligent Systems Magazine Professor Lutz has been highly active in academic service, serving as PC Co-Chair for IJCAR2026, Area Chair for KR2025 and IJCAI2025, and PC Member for numerous prestigious conferences including ICDT2026, PODS2025, and DL2025. His commitment to reducing academic carbon footprint through reduced conference travel is noteworthy. He has also developed several software systems including Grind, Combo, and Spell that implement theoretical advances in ontology-mediated querying and concept learning.
Roles and Affiliation: Emelie Shanks is a Senior Lecturer and Associate Professor at Stockholm University , affiliated with the Department of Social Work . She serves as Vice Head of Department and co-leads the research group on Marketisation and Competitive Tendering for Social Work . Research Interests: Her work focuses on the implications of marketisation and privatisation for social work, including: Marketisation of municipal social services Workforce management and agency workers in public social services Residential care for children and youth Workplace violence in home-based and non-institutional social work Organisational conditions for social work managers Publication Trends: Recent articles examine client-initiated violence in home care, privatisation of child residential care, and the role of market logic in therapeutic content decisions. Her work spans both empirical studies and theoretical analyses of professional identity under managerialism. Leadership and Collaborations: Dr. Shanks collaborates with researchers like Tommy Lundström and David Pålsson. She contributes to interdisciplinary projects such as Social services as an arena for crime prevention , which involves the Department of Criminology and the Social Affairs Administration of Stockholm.
Christin Schulze is a Lecturer in Computational Cognitive Science at the School of Psychology, University of New South Wales (UNSW Sydney) . Her research investigates cognitive processes underlying adaptive behavior in uncertain environments, focusing on three core areas: (1) development of decision-making strategies in childhood, (2) influence of firsthand probabilistic experience on judgments, and (3) differences between individual and group strategies for handling uncertainty. Key real-world applications include avalanche risk navigation and educational decision-making Collaborations span institutions like University of Basel, University of Potsdam, and University of Melbourne Recent work explores cognitive cost timelines, adaptivity in probability learning, and social sampling mechanisms. Publications emphasize computational modeling, experimental validation, and cross-species comparisons (humans/chimps). She teaches in UNSW’s Psychology School and contributes to international handbooks and journals.
Katarína Kozlíková serves as an Associate Professor at the Faculty of Medicine, Comenius University in Bratislava, affiliated with the Institute of Medical Physics, Biophysics, Informatics and Telemedicine. Her academic credentials include RNDr. (natural sciences specialist) and Mgr. (Master's degree) qualifications. Her research interests span multiple domains of medical physics: Medical Physics and Radiation Applications Biophysics and Molecular Structures Ultrasound Imaging Technology Medical Statistics and Data Analysis Radioactivity and Nuclear Medicine Applications Dr. Kozlíková has developed comprehensive educational materials across these domains, many created during the coronavirus pandemic to support remote medical education. Her publications demonstrate expertise in translating complex physics concepts into medical applications, with particular focus on radiation physics and biophysical principles relevant to clinical practice. Her teaching materials are designed for broad applicability across medical disciplines, frequently noted as being 'suitable for all study programmes.' This interdisciplinary approach reflects her commitment to creating accessible physics education for diverse medical students.
Cordian Benedikt Riener is a Professor in Mathematics at UiT The Arctic University of Norway, Tromsø, and serves as Pro-Dean for PhD education at the Faculty of Science and Technology. He leads the Algebra group and is a co-director of the Lie-Størmer Center for Fundamental Structures in Computational and Pure Mathematics. His academic roles include chairing the Norwegian Mathematics Council and serving on the Abel Prize board. Habilitation in Mathematics (2018, University of Konstanz) Magister Artium in Philosophy (2013, Goethe University Frankfurt) PhD in Mathematics (2011, Goethe University Frankfurt) Master in Pure Mathematics (2005, Université de Bordeaux 1) Diplom in Mathematical Economics (2006, Universität Ulm) Riener’s research bridges mathematics and theoretical computer science, focusing on computational complexity, real algebraic geometry, and polynomial optimization. His work includes characterizing positive polynomials via sums of squares, studying moment problems, and developing semidefinite relaxation methods. He explores symmetry in algebraic structures, such as Specht ideals and Weyl group orbits, with applications in discrete geometry and spectral graph theory. His recent publications emphasize symmetric semi-algebraic sets, trigonometric polynomial optimization, and tropical geometry. The 15 most recent articles span 2023-2025, addressing topics like symmetric nonnegative forms, orbit space descriptions, and algorithmic symmetry reduction. Keywords include Real Algebraic Geometry, Optimization, and Computational Complexity, with subfields such as Sums of Squares, Spectral Bounds, and Tropical Geometry. Aalto Science Institute Fellow (2012-2016) Zukunftskolleg Associate Fellow (2011-2012) Riener contributes to academic service as chair of the Norwegian Mathematics Council and Abel Prize board member. He has organized conferences like ISSAC 2023 and Nordic Combinatorial Conference 2022. His projects include POEMA (Horizon 2020) and SymRAG, with leadership in the Lie-Størmer Center and MASCOT collaborations.
Professor Tamara Grava is affiliated with the School of Mathematics at the University of Bristol . Her research focuses on mathematical physics, particularly integrable systems and nonlinear partial differential equations. PhD (SISSA, Italy), MSci (Trieste) Active in dispersive equations and random matrices Recipient of the Wolfson Visiting Fellowship Research Interests: Tamara studies exactly solvable systems, emphasizing statistical descriptions of soliton behavior in nonlinear Schrödinger equations and eigenvalue distributions in non-Hermitian random matrices. Her work bridges asymptotic analysis, probability, and integrable systems. Scientific Awards: Wolfson Visiting Fellowship Projects: Wolfson Visiting Fellowship (2024–2026): Orthogonality, Riemann surfaces, and asymptotics Sogano (2025): Soliton gas and nonlinear dispersive equations Asymptotic analysis in integrable nonlinear waves (2021–2023)
Mathieu Hoyrup is a permanent researcher (Chargé de Recherche) at Inria , affiliated with the Mocqua team at the LORIA research center in Nancy, France. His research bridges mathematical logic, computability theory, and dynamical systems through the lens of computable analysis and algorithmic randomness. Research Interests : Recursion theory, computable analysis, algorithmic randomness, ergodic theory, and dynamical systems. Advising : Supervised PhD students Hugo Férée, Djamel Eddine Amir, Alexis Terrassin, and Rémi Pallen. Academic Service : Organized the Computability and Complexity in Analysis conferences (2013–2022) and the Continuity, Computability, Constructivity (CCC 2017). Education : PhD in Mathematics from Université Paris Diderot (2008); Habilitation à diriger des recherches (2021) on topological aspects of representations in computable analysis.
Ville Salo is an Associate Professor at the University of Turku's Department of Mathematics and Statistics. His research spans dynamical systems (especially symbolic dynamics, subshifts, and cellular automata), group theory (automorphism groups, geometric group theory), automata theory, and topology (including algebraic and general topology). He maintains a comprehensive list of open problems in symbolic dynamics, reflecting his deep engagement with foundational questions in these areas. Teaching Activity (2017–2025): Logiikka (Logic), spring 2025 & 2023 Lebesguen mitta ja integraali (Lebesgue measure and integral), fall 2023 Topologian perusteet (Basic topology), fall 2022 & 2019 Cellular automata, spring 2022 & 2018 Symbolic dynamics II, spring 2019 Johdatus automaattien teoriaan (Introduction to automata theory), spring 2018 & 2017 Algoritminen matematiikka (Algorithmic mathematics), spring 2017 He is fluent in Finnish and English, with proficiency in several other languages. Outside academia, he maintains math blogs, creates programming projects (including esoteric languages), and runs competitively.
Clélia de Mulatier is an Assistant Professor at the University of Amsterdam , affiliated with both the Institute for Theoretical Physics and the Informatics Institute . She leads research at the intersection of statistical physics, information theory, and computer science , focusing on theoretical and numerical methods for complex systems . Her work spans collaborations with experimentalists in neuroscience and biology , and she actively participates in educational programs across multiple Dutch universities. Research Labs : Computational Soft Matter Lab, Computational Science Lab Affiliations : Dutch Institute for Emergent Phenomena (DIEP), Netherlands Platform Complex Systems (NPCS) Her research develops minimally complex spin models for high-order data analysis , applying exact Bayesian model selection to uncover hidden variable communities in binary datasets. This work has produced open-source tools like MinCompSpin and MinCompSpin_Greedy for different system sizes. Publications demonstrate expertise in tensor networks for dimensional reduction , epidemic modeling , and branching random walks in confined environments . Teaching includes Python programming , complex systems theory , and statistical inference for physics students across multiple institutions. She serves as program committee member for International Conference on Computational Science and organizes academic discussions through initiatives like Behind the CV: story from a Physicist .
Fungisai Gwanzura Ottemöller serves as an Associate Professor at the Institute for Health, Environment and Equality (HEMIL) within the Faculty of Medicine at the University of Bergen. Her work focuses on refugee health and adaptation, particularly among children and youth, with significant contributions to understanding the intersection of migration, health promotion, and equity. Dr. Ottemöller's research interests center on refugee health and adaptation, salutogenesis (the study of factors that support human health and well-being), migration and health, mental health among immigrants, HIV-related issues, and anti-racist approaches to health promotion. She examines how refugees navigate health systems, build resilience, and adapt to new cultural environments, with particular attention to gender perspectives and intergenerational dynamics. Her publication record demonstrates a consistent focus on refugee health and adaptation, with increasing emphasis on salutogenic approaches and anti-racist scholarship in recent years. The trend shows movement from descriptive studies of refugee experiences toward more theoretical and critical examinations of health promotion frameworks, with publications increasingly addressing structural inequalities and calling for transformative approaches to health equity. Dr. Ottemöller leads the Refugee Resilience Project, a transdisciplinary initiative examining resilience factors among refugee children and youth in Norway, and the PIISTON network, which promotes refugee inclusion through knowledge consolidation and cross-sector collaboration. Her research methodology primarily employs qualitative and participatory approaches, often working directly with refugee communities. She frequently collaborates across disciplines including health promotion, social work, child welfare, cross-cultural psychology, development studies, anthropology, and geography, reflecting the complex nature of refugee health issues. Through the PIISTON network and Refugee Resilience Project, Dr. Ottemöller has established significant international collaborations with institutions in Africa, North America, and Europe, creating a robust platform for knowledge exchange and comparative research on refugee health and integration.
Yamama Naciri is a Full Professor at the University of Geneva and Head Curator at the Conservatoire et Jardin botaniques de la Ville de Genève. She specializes in plant systematics, evolutionary biology, and conservation genetics, with a focus on Malagasy flora (Sapotaceae family) and invasive species dynamics in Trachycarpus fortunei. Her research integrates molecular techniques (NGS, DNA barcoding) and phylogenetic analyses to resolve taxonomic uncertainties and inform conservation strategies. Education: PhD in Quantitative Genetics & Plant Improvement from University of Paris-Sud, and Institut National Agronomique de Paris-Grignon. Current Roles: Adjunct Professor at University of Geneva (since 2024), Head Curator at Conservatoire et Jardin botaniques de la Ville de Genève. Her research spans evolutionary radiations, species delimitation, and the conservation genetics of endangered lineages. Key projects include genomic studies of Capurodendron (Sapotaceae) in Madagascar and invasion dynamics of Trachycarpus in Europe. She also contributes to science communication through educational initiatives like The Grand Bazaar of Evolution booklet. Recent publications highlight her work in resolving complex taxonomies (e.g., Usnea flavocardia, Mimusops) and developing molecular markers for Sapotaceae. Collaborations with institutions across Switzerland, Madagascar, and Asia underscore her interdisciplinary approach. She advises PhD students like A. Randririsoa and leads the Yamama Naciri Lab at the Conservatoire et Jardin botaniques de la Ville de Genève.
Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.
Denis Kuperberg is a CNRS researcher at LIP (Laboratoire de l'Informatique du Parallélisme), ENS Lyon, where he is part of the Plume research team. His work bridges theoretical computer science with interdisciplinary applications, particularly in systems biology. His primary research interests include automata theory, synthesis, verification, games, logics, decidability procedures, complexity, and proof theory. Kuperberg's work often explores the connections between formal methods and practical applications, as evidenced by his recent interdisciplinary publications on thermodynamic consistency of autocatalytic cycles. His research demonstrates a strong focus on both theoretical foundations and practical implementations, with several software tools developed for research purposes. Kuperberg's publication record shows a clear evolution from purely theoretical work in automata and logic toward more interdisciplinary research. His recent papers (2022-2025) demonstrate increasing engagement with biological applications while maintaining strong theoretical foundations. Key themes across his publications include history-determinism in automata, cyclic proof systems, positive fragments of logic, and applications to verification problems. Best Paper Award at ICALP 2025 (with Thomas Colcombet and Amina Doumane) Kuperberg actively supervises multiple students at various levels, including PhD candidates (Iris Magniez–Papillon, Émile Hazard, Laureline Pinault), postdoctorates (Thomas Kosc, Marc Bagnol), and numerous interns. His teaching portfolio includes advanced courses on Graphs, Machines and Logics at ENS Lyon Master 2 program, Theory of Regular Languages at EPITA Lyon, and specialized topics like Mathematical Aspects of Automata Theory. He leads the development of research software including EmergeNS (for simulating chemical reaction networks and tracking autocatalytic dynamics), Stamina and Acme (for solving decision problems from automata theory), and Electrum (a specification language analyzer). These tools demonstrate his commitment to bridging theoretical computer science with practical implementations.
Julie Scholler serves as an Associate Professor of Mathematics at the University of Tours, working within the Economic Sciences Section of the UFR of Law, Economics and Social Sciences. She holds the position of Head of the first year of the MÉcEn (Master's in Business Economist) program and has been actively teaching since at least 2013 across various levels of the economics curriculum. Her research interests focus on advanced statistical methodologies and data science applications, particularly in exploratory data analysis, factor analysis, unsupervised classification, and machine learning techniques. She specializes in applying these methods using R programming, with expertise in RMarkdown, RShiny, and data visualization techniques. Her work spans from fundamental statistical theory to practical Big Data solutions with R optimization. Analysis of her recent publications reveals a strong emphasis on classification methods, particularly boosting algorithms, random forests, and ensemble methods. Her work demonstrates expertise in prediction error estimation, with applications across various domains including economics, social sciences, and business analytics. She maintains a consistent focus on practical implementation of statistical methods using R, with particular attention to reproducible research practices through RMarkdown. Professor Scholler has developed extensive teaching materials covering statistics, data analysis, and R programming across multiple academic levels. Her courses include Descriptive Statistics, Inferential Statistics, Bayesian Statistics, Dynamical Systems, and specialized topics in Data Mining and Big Data. She appears to be actively involved in student projects and practical applications of statistical methods, as evidenced by student-produced dashboards on topics ranging from world happiness to Covid vaccination data.
