Fabian Reiter is an Associate Professor at Gustave Eiffel University , specializing in Theoretical Computer Science within the DataBases, Automata, algorithm Analysis and Models (BAAM) team at the Gaspard Monge Laboratory of Computer Science (LIGM) . His research bridges logic and distributed computing , focusing on extending descriptive complexity theory to distributed systems. His work establishes equivalences between distributed algorithm classes and logical formula classes, mirroring classical results like Fagin’s theorem . This includes groundbreaking connections between asynchronous automata and least fixpoint logic . Academic appointments : 2019–now : Associate Professor at Gustave Eiffel University 2019-03–2019-07 : Postdoc at Technical University of Munich (funded by ERC project PaVeS ) 2018–2019 : Postdoc at University of Paris-Saclay (funded by ERC project EQualIS ) Education : PhD (2014–2017) under Olivier Carton at IRIF, Paris Diderot University Master’s (2013–2014) under Fabian Kuhn and Andreas Podelski at University of Freiburg
Thomas Place serves as a Lecturer at LaBRI (Laboratoire Bordelais de Recherche en Informatique) within the University of Bordeaux, France. His research focuses on theoretical foundations of computer science with emphasis on logical frameworks for language recognition. Education Background: PhD completed at LSV (Laboratoire Spécification et Vérification) under supervision of Luc Segoufin Research Focus: Place specializes in logic and automata theory , investigating the expressive power of monadic second-order logic fragments over word and tree structures. His work centers on quantifier alternation hierarchies , concatenation hierarchies , and fundamental problems in language separation and covering. He develops algebraic methods to characterize logical fragments and determine decidability boundaries for regular language classes. Publication Trends: His recent output (2022-2024) demonstrates sustained focus on extending separation theory to complex logical fragments, resolving open problems in dot-depth hierarchies, and establishing generic frameworks for polynomial closure. The work consistently appears in premier venues like LICS and CSL, with Marc Zeitoun as primary collaborator across 80% of recent publications. Research Environment: Place operates within LaBRI, a major CNRS-affiliated computer science laboratory at the University of Bordeaux that houses 350+ researchers. His work connects to broader European theoretical computer science networks through frequent collaborations with institutions like ENS Paris-Saclay (where he completed his doctorate at LSV).
Dr. Matthew Bacon serves as a Senior Lecturer in Criminology within the School of Law at the University of Sheffield, where he has been a faculty member since September 2012 following completion of his ESRC-funded PhD at the same institution. His academic career bridges criminology, sociology, and socio-legal studies with specialized expertise in policing practices, particularly drug enforcement and organizational dynamics. As institutional co-lead of the N8 Policing Research Partnership and founding member of the Sheffield University Policing Research Group, he actively shapes evidence-based policing through academic-practitioner collaboration with South Yorkshire Police and the Police and Crime Commissioner's office. His educational background includes: PhD in Criminology, University of Sheffield MA in International Criminology, University of Sheffield LLB (Hons), University of Durham Dr. Bacon's research focuses on innovations in drugs policing, examining how law enforcement navigates complex operational environments through harm reduction approaches and alternatives to criminalization. His work critically analyzes police culture, discretion, and organizational reform using ethnographic methods, contributing theoretical advancements through integration of cultural sociology and organizational theory. Recent scholarship increasingly addresses police drug diversion schemes, multi-agency partnerships, and the integration of public health perspectives into enforcement practices, reflecting his commitment to translating research into practical policing innovations that reduce drug-related harms. Analysis of his publication trajectory (2013-2025) reveals a clear evolution from descriptive ethnographies of police detective work toward intervention-focused research evaluating real-world policy implementations. His recent work demonstrates growing emphasis on police-led diversion schemes, harm reduction integration, and the structural constraints shaping police discretion. This scholarship consistently bridges theoretical rigor with practical application, highlighting tensions between traditional enforcement models and emerging public health-oriented approaches within England and Wales' policing landscape. His scientific contributions have been recognized through: Fellowship of the Higher Education Academy University of Sheffield's Vice-Chancellor’s Award for Learning and Teaching for Embedding Sustainability (2021) Dr. Bacon has secured significant research funding as Principal Investigator, including ESRC (£44,349), N8 Policing Research Partnership (£19,531), and Cabinet Office (£279,143) grants focused on evaluating drug diversion schemes and conceptualizing policing impacts. His leadership in the N8 Policing Research Partnership and Sheffield University Policing Research Group facilitates knowledge exchange, collaborative research design, and evidence-based training development with operational policing bodies. He actively promotes critical thinking through research-led teaching, particularly in his convenor role for the 'Drugs, Crime and Control' module and as Lead Educator for the School of Law's Crime, Justice and Society MOOC. Through the Sheffield University Policing Research Group (founded 2014) and N8 Policing Research Partnership, Dr. Bacon maintains robust collaborative relationships with South Yorkshire Police and the Office of the Police and Crime Commissioner. These platforms enable co-production of research addressing contemporary challenges like knife crime messaging and drug market policing, while fostering sustainable academic-practitioner partnerships that translate evidence into operational practice through joint workshops, training development, and policy briefings.
Dr. Maksim Zhukovskii is a Senior Lecturer in the School of Computer Science at the University of Sheffield. His research spans combinatorics, probability, and model theory, with a focus on random graphs and algorithmic complexity. Email: M.Zhukovskii@sheffield.ac.uk Location: Regent Court (DCS), 211 Portobello, Sheffield S1 4DP Research Group: Foundations of Computation Research Interests: He investigates structural and probabilistic properties of random graphs, including saturation phenomena, Ramsey-type problems, and logical zero-one laws. His work bridges discrete mathematics with theoretical computer science, particularly in descriptive complexity and graph isomorphism. Notable Trends: Recent publications emphasize extremal graph theory, adjacency labeling schemes, and the interplay between logic and random graph properties. Collaborations include institutions like Tel Aviv University and the Weizmann Institute. Grants: Principal Investigator for the Royal Society-funded project Bootstrap percolation in random graphs (2024-2026, £12,000). Education: PhD in Mathematics from Moscow State University (2012). Previously held positions at Moscow Institute of Physics and Technology and research institutions in Israel.
Jeffrey C. King is a Distinguished Professor in the Department of Philosophy at Rutgers University - New Brunswick. His primary academic affiliation is with the School of Arts and Sciences at Rutgers, one of the leading public research universities in the United States. King maintains an active presence in the academic community with regular teaching responsibilities and scholarly contributions. King's research focuses on four primary areas: Philosophy of Language, Formal Semantics, Philosophical Logic, and Metaphysics. His work consistently explores the relationship between linguistic structure and meaning, with particular attention to how context influences semantic interpretation. He has made significant contributions to debates about propositions, semantic content, and the nature of reference. Analysis of King's recent publications reveals a sustained focus on contextual sensitivity in language, the structure of propositions, and the relationship between speaker intentions and semantic content. His work demonstrates a methodological commitment to precise logical analysis combined with careful attention to linguistic phenomena. King's research trajectory shows increasing engagement with metasemantic questions about how semantic values are determined. King has authored several influential books including Felicitous Underspecification: Contextually Sensitive Expressions Lacking Unique Semantic Values in Context (2021), The Nature and Structure of Content (2007), and Complex Demonstratives: A Quantificational Account (2001), as well as numerous articles in top philosophy journals. Extensive publication record spanning over three decades Multiple monographs with Oxford University Press and MIT Press Regular contributions to leading philosophy journals including Mind , Noûs , and Philosophical Review King's academic career demonstrates a sustained commitment to rigorous philosophical inquiry at the intersection of language, logic, and metaphysics. His work continues to influence contemporary debates in analytic philosophy, particularly in the philosophy of language and related fields.
Jacques Hamel is a Professor in the Department of Sociology at the University of Montreal, where he has made significant contributions to sociological theory and methodology, particularly in the study of Quebec society and the Chicago School of Sociology. His academic career spans several decades with numerous publications focusing on case study methodology, epistemology of sociology, and the sociological analysis of Quebec's cultural transformation. Professor Hamel's research interests center on sociological methods, particularly case study approaches, the epistemological foundations of sociology, and the application of Chicago School theories to Quebec society. His work demonstrates a deep engagement with how sociology can effectively study societies in continuous transformation, with special attention to the cultural dynamics between French and English Canada. He has conducted extensive research on Marcel Rioux's critical sociology and the intellectual traditions of Quebec sociology. His scholarly publications reveal a consistent focus on methodological rigor in sociological research, with particular expertise in qualitative approaches and case study methodology. Hamel has made important contributions to understanding the theoretical frameworks that underpin sociological investigation, especially regarding how researchers navigate the complex relationship between observation and interpretation in social research. Professor Hamel has maintained an active research profile throughout his career, with publications spanning from the 1980s through the 2010s. His most recent work continues to engage critically with foundational sociological concepts while applying them to contemporary social issues. His email contact is jacques.hamel@umontreal.ca, indicating his ongoing affiliation with the University of Montreal.
Damien Nouvel is an Associate Professor at INALCO (Institut National des Langues et Civilisations Orientales) in Paris, France, where he has been working since September 2014. He serves as the director of the ERTIM research team and holds the position of Deputy Director of the TIM Department (TAL Bachelor's and Master's programs). His academic focus lies within the Department of Natural Language Processing, where he teaches courses from L2 to M2 levels and supervises doctoral candidates and Master's dissertations. PhD from François Rabelais Tours University (defended November 2012) Postdoctoral fellow at LIMSI-CNRS (Université Paris-Sud 11), 2013/2014 Research engineer at Alpage (INRIA), 2012/2013 Doctoral student at François Rabelais Tours University, 2009-2012 Damien Nouvel's research centers on Natural Language Processing with particular emphasis on mathematical models and multilingualism, especially for under-resourced languages taught at INALCO including Quechua, Arabic, Bambara, and Chinese. His work spans multiple areas including named entity recognition, transliteration, lexical disambiguation, opinion analysis, and textometric analysis. He has developed specialized systems like mXS for automatic annotation using data mining techniques. His recent research has expanded to social media analysis, conspiracy discourse, and low-resource language processing, demonstrating both theoretical depth and practical application. Analyzing his publication trends from 2022-2025 reveals a strong focus on multilingual NLP systems, particularly for low-resource languages. His work consistently bridges theoretical computational linguistics with practical applications, with increasing emphasis on transformer models, social media analysis, and cross-lingual resource development. The publications show progression from foundational NER work to more complex multilingual systems capable of handling diverse languages including Farsi, Chinese, Armenian, and Urdu. Damien Nouvel actively supervises doctoral students and Master's dissertations while managing significant research projects. His team ERTIM participates in major evaluation campaigns like SemEval, demonstrating practical application of their research. His work spans multiple domains from speech processing to social media analysis, showing adaptability and relevance to contemporary language processing challenges. As director of the ERTIM research team since 2020, Nouvel leads a group focused on natural language processing with special attention to under-resourced languages. The team works on diverse projects including language modeling, named entity recognition across multiple languages, social media analysis, and resource creation for languages with limited digital presence. Their work combines symbolic approaches with modern machine learning techniques to address the challenges of processing diverse linguistic systems.
Professor Miguel Alonso is a University Professor and Deputy Director of Research at Centrale Méditerranée, where he also serves as Head of the Waves and Signals teaching unit and as Mexico and United States Representative. He leads the Mathematical Optics Group at the Fresnel Institute, conducting research at the intersection of mathematical physics and optical engineering. His research interests span a wide range of topics in mathematical optics, including structured light phenomena, nonparaxial field theory, geometric phases, and optical coherence. He has made significant contributions to understanding the polarization properties of nonparaxial optical fields, spin-orbit interactions in light, and the development of mathematical frameworks for describing complex optical phenomena. His work combines rigorous mathematical analysis with practical applications in optical metrology, imaging, and light-matter interaction. Analysis of his recent publications reveals a strong focus on the mathematical description of structured light fields, particularly examining their polarization properties, topological features, and applications in optical manipulation. His research bridges fundamental optical physics with practical engineering applications, with particular emphasis on nonparaxial effects that become significant in highly focused optical systems. Professor Alonso has supervised numerous doctoral students and postdoctoral researchers, including Isael HERRERA, Yi-Ting Sherry FENG, Sophie VO, Luis Arturo ALEMAN-CASTANEDA, and David MARCO, reflecting his active role in mentoring the next generation of optical scientists. His research group maintains strong international collaborations, with connections to institutions in France, the United States, and beyond, demonstrating the global impact of his work in mathematical optics and structured light research.
Sérgio Pequito is an Associate Professor in the Department of Electrical and Computer Engineering at Instituto Superior Técnico, University of Lisbon, and a principal investigator at the Institute for Systems and Robotics. He previously held faculty positions at Uppsala University (2022-2024) and Technische Universiteit Delft (2020-2022), and was a faculty member at Rensselaer Polytechnic Institute (2017-2020). His academic journey includes a PhD in Electrical and Computer Engineering from Carnegie Mellon University and a Doctorate in Electrical and Computer Engineering from Universidade de Lisboa. Pequito's research focuses on understanding the global qualitative behavior of large-scale systems through structural and parametric descriptions, with applications spanning neuroscience, biomedicine, and control theory. His work leverages dynamical systems, control theory, and artificial intelligence to develop new analysis tools for brain dynamics aimed at personalized medicine and improved bidirectional brain interfaces. His specific interests include fractional-order systems, structural systems theory, network controllability, and neurotechnology applications for epilepsy treatment and brain-computer interfaces. His recent publications reveal a strong emphasis on applying fractional calculus to model brain dynamics, developing control frameworks for neurotechnology, and advancing structural systems theory for large-scale networks. His work demonstrates a consistent trajectory toward bridging theoretical control systems with practical biomedical applications, particularly in understanding and controlling brain dynamics for therapeutic purposes. 2016 O. Hugo Schuck Award in the Theory Category by the American Automatic Control Council 2009 Best student paper finalist in the 48th IEEE Conference on Decision and Control 2023 Royal Swedish Academy of Engineering Sciences 100 List 2023 European Laboratory for Learning and Intelligent Systems (ELLiS) Research Scholar Multiple Trustees Faculty Achievement awards from Rensselaer Polytechnic Institute Pequito actively mentors numerous PhD and Master's students across multiple institutions, with research topics spanning cyber-neural systems, structural control theory, fractional-order optimization, and neurotechnology applications. His laboratory work focuses on developing theoretical frameworks for large-scale system control while maintaining strong connections to practical applications in biomedical engineering and neuroscience, particularly in developing new diagnostic tools and treatment strategies for neurological diseases through control systems theory.
Mark W. Post is a Senior Lecturer in the Discipline of Linguistics within the Faculty of Arts and Social Sciences at the University of Sydney, where he also serves as Deputy Head of School (Humanities) and Honours Coordinator. He is a member of the China Studies Centre, Sydney Southeast Asia Centre, and The Vere Gordon Childe Centre. Dr. Post's research focuses on the typologies and relationships among Greater Mainland Southeast Asian and Himalayan languages, with special emphasis on the Tani branch of Trans-Himalayan (Tibeto-Burman) languages. His fieldwork-based research encompasses languages of Eastern Arunachal Pradesh, India, particularly Galo and other Tani languages. His theoretical approach combines functional-diachronic perspectives with anthropological linguistics, viewing language as a dynamic process whose structures emerge from patterns of discourse and interaction. His recent publications reveal significant trends in Eastern Himalayan linguistics, with particular focus on classifier systems, topographical deixis, applicative constructions, and ethnolinguistic prehistory. His work demonstrates the exceptional linguistic diversity of the Eastern Himalayan region and its importance for understanding broader patterns in language evolution and cultural adaptation. 2011 Recipient of the Association for Linguistic Typology's Pāṇini Award Dr. Post supervises research on phonological and grammatical descriptions of Asian minority languages, particularly of Southeast Asia and the Himalayas, and on functional and diachronic analyses of grammatical phenomena. His current projects include 'Grammar and prehistory in the Eastern Himalaya' and 'A grammar and online/app-based dictionary of the Galo language.' He has received multiple research grants, including ARC Discovery Projects and funding from the Firebird Foundation for Anthropological Research. His laboratory work centers on the Centre for Cultural-Linguistic Diversity (Eastern Himalaya), where he coordinates documentation efforts for endangered languages of the region, working closely with local language communities like the Galo Language Development Committee of Arunachal Pradesh.
Antoine Amarilli is an Associate Professor in Computer Science at Télécom Paris, part of Institut Polytechnique de Paris. Since September 2024, he has been on leave to work as an advanced researcher in the LINKS team at Inria Lille. His research spans theoretical computer science, focusing on query evaluation, probabilistic data, knowledge compilation, and computational logic. Member of DIG and LINKS research teams Part of LTCI (Information Processing and Communication Laboratory) Education: PhD in Computer Science (Télécom ParisTech, 2016) Habilitation (HDR) in Computer Science (Institut Polytechnique de Paris, 2023) Research Interests: He investigates efficient query evaluation on uncertain data, dynamic data maintenance, knowledge compilation techniques, and the interplay between circuits, automata, and logical languages. His work intersects database theory, graph theory, and computational complexity. Publications Trends: Recent articles address tractability of queries on probabilistic graphs, complexity classifications for MSO and regular path queries, and knowledge compilation frameworks for enumeration algorithms. Key subfields include probabilistic reasoning, graph constraints, and circuit-based optimizations. Awards: Best Paper at ICDT 2020 Best Paper at ICALP 2021 (Track B) Télécom Paris PhD Prize (2017) Beth Dissertation Award (2017) Teaching & Service: He taught competitive programming, algorithms, and data management at Télécom Paris and represented the institution on the MPRI master’s committee. He co-organized Highlights of Logic, Games, and Automata (2022) and served as a program committee member for ICDT, ICALP, and AAAI. Research Activism: Co-founded TCS4F (Theoretical Computer Scientists for Future) and No Free View? No Review! initiatives to address climate impact and open-access advocacy in academia.
Dr. Oliver Fernández Gil serves as a Research Associate in the Automata Theory group at Dresden University of Technology's Faculty of Computer Science, affiliated with the International Center for Computational Logic (ICCL). His academic work is centered in theoretical computer science with emphasis on formal methods and computational logic. His research interests span Computational Logic , Automata Theory , and Description Logic , with specific focus on temporal logics, unification problems, and knowledge representation systems. His work bridges theoretical foundations with practical applications in formal verification and semantic technologies. Analysis of his publication record from 2013-2014 reveals a strong concentration in temporal logic systems (MTL and TPTL) and description logic unification, particularly within the EL framework. His research demonstrates expertise in computational complexity analysis, formal language theory, and logical reasoning systems, with applications spanning model checking, ontology reasoning, and knowledge integration. Dr. Fernández Gil has maintained active collaborations with prominent researchers in the field including Franz Baader, Karin Quaas, and Barbara Morawska, indicating integration within significant theoretical computer science research networks. His laboratory affiliation is with the International Center for Computational Logic within TU Dresden's Faculty of Computer Science, where he contributes to the Automata Theory research group's work on formal methods and computational logic systems.
Chantal Sylvain is a Professor and Vice-Dean of Rehabilitation at the Faculty of Medicine and Health Sciences, Université de Sherbrooke. She directs the School of Rehabilitation at the Longueuil Campus, where she oversees academic programs in occupational therapy and physiotherapy. She is affiliated with the Charles-Le Moyne Research Centre (CRCLM), collaborating on research about preventing and rehabilitating prolonged work disability. Education PhD in Public Health (Healthcare Organization), Université de Montréal (2012) Master's in Clinical Sciences, Université de Sherbrooke (2006) Bachelor's in Occupational Therapy, Université Laval (1991) Research Focus Her research centers on occupational rehabilitation, mental health integration, and sustainable return-to-work strategies. Key areas include program development/evaluation for work disabilities, stakeholder collaboration in rehabilitation, and health equity for vulnerable populations (e.g., ethnocultural minorities, aging workers). She employs qualitative methodologies like interpretive description and developmental evaluation. Recent publications emphasize return-to-work interventions for mental health conditions, integrated care models in primary settings, and economic analyses of occupational health programs. Her work consistently addresses systemic barriers in work rehabilitation. Leadership & Partnerships As Vice-Dean, she leads strategic development of rehabilitation programs and maintains partnerships with clinical networks. She coordinates accreditation standards and promotes research in ergotherapy, physiotherapy, and addiction services.
Fabio Sterpone is a Research Director 1st Class at CNRS (Centre National de la Recherche Scientifique), based at the Laboratoire de Biochimie Théorique (LBT/IBPC) in Paris, France. Previously serving as Research Director 2nd Class from 2018-2024, he leads a research group focused on computational biophysics and multi-scale modeling of biological systems. His educational background includes a PhD from UPMC and CEA, Saclay (2000-2004), a Laurea in Physics from La Sapienza University, Rome (1999), followed by postdoctoral work at UT Austin (2004-2006) and High Performance Computing CASPUR in Rome (2006-2008). He was a Fellow of the P-G de Gennes Foundation at ENS Paris (2009-2010) before joining CNRS in 2010. Sterpone's research centers on multi-scale modeling of biophysical processes, particularly protein stability and function across different environments. His work spans from atomistic to coarse-grained/nanoscale descriptions, with key interests in protein-protein interactions in crowded cellular environments, thermal adaptation mechanisms, amyloid aggregation related to neurodegenerative diseases, and fluid dynamics in biological systems including mucus clearance and brain interstitial flow. He has made significant contributions to the development of the OPEP coarse-grained force field for protein simulations. Analyzing his recent publications reveals a strong focus on the intersection of fluid dynamics and biological processes. His work connects fundamental protein physics with critical health issues including Alzheimer's disease, respiratory pathologies, and cellular thermal adaptation. The research demonstrates increasing sophistication in multi-scale modeling approaches that bridge molecular, cellular, and tissue-level phenomena. ERC Starting Grant THERMOS (2011-2016) PRACE award CELLPHY for 'Diffusion and Stability of Proteins in Cell-like environments' Multiple Big-Challenge computational awards (2015-2022) Supervision of Best PhD Thesis GGMM Prize winner (Marina Katava, 2017) Sterpone actively mentors PhD students and postdoctoral researchers, with notable contributions to understanding protein thermal stability, amyloid aggregation mechanisms, and cellular response to extreme conditions. His laboratory collaborates extensively with experimental groups across Europe and the United States, creating a strong bridge between computational predictions and experimental validation. The research group utilizes advanced computational techniques including lattice Boltzmann molecular dynamics to investigate complex biological phenomena that are difficult to probe experimentally.
Paweł Wojda serves as an Assistant Professor at the Institute of Applied Mathematics within the Faculty of Applied Physics and Mathematics at Gdańsk University of Technology. His research spans multiple interdisciplinary fields at the intersection of computational physics, mathematical methods, and physical phenomena. His office is located in Building B, room 502, and he can be contacted at pawwojda@pg.edu.pl. Dr. Wojda's research interests focus on computational methods for physical phenomena, particularly in X-ray optics and wave propagation. His work employs advanced mathematical techniques including oriented Gaussian beams, finite difference methods, and complex-phase approaches to model electromagnetic wave behavior through optical systems. He also investigates nonlinear acoustic phenomena, particularly vortex flow generation in various media including bubbly liquids and relaxing gases. His publication record demonstrates consistent research activity from 2009 to present, with recent work focusing on quantum-classical descriptions of electron density transfer, numerical methods for X-ray propagation, and high-accuracy computation techniques. His research shows a clear progression from fundamental theoretical work on Maxwell equations and vorticity dynamics to practical applications in X-ray optics and imaging systems. Scientific Recognition: Rector's Award of Gdańsk University of Technology for Young Science Workers (2012) Dr. Wojda actively contributes to academic instruction, teaching courses including Mathematical Methods of Physics, Numerical Methods, and Programming across various mathematics and data analytics programs. As a member of the Department of Differential Equations and Mathematical Applications research team, he collaborates on projects involving mathematical modeling in cardiology, structural models with diffusion, and protein expression modeling. His research data contributions include multiple computational datasets related to X-ray imaging and focusing using oriented Gaussian beams, demonstrating his commitment to open science and reproducible research practices.
