جست‌وجوی استاد و پژوهشگر

Phokion Kolaitisمشاهده پروفایل

استاد

• Principles of database systems
• Computational complexity
• Logic in computer science

Phokion Kolaitis is a Professor of Computer Science at the University of California Santa Cruz (UC Santa Cruz) and a Principal Research Staff Member (part-time) at the IBM Almaden Research Center. He has held leadership roles as Chair of UC Santa Cruz's Computer Science Department (1997-2001, 2014-2015) and Senior Manager at IBM's Computer Science Principles and Methodologies Department (2004-2008). His research bridges database systems, computational complexity, and logic in computer science, with significant contributions to schema mappings, data exchange, and constraint satisfaction problems. His work spans foundational studies in database theory, logic, and algorithms, influencing both academic research and industrial applications. Kolaitis has received numerous accolades, including two ACM PODS Alberto Mendelzon Test-of-Time Awards, IBM Research Division Outstanding Innovation and Technical Achievement Awards, and Best Paper Awards at top conferences like ICDT and FCT. He is a Fellow of AAAS and ACM, a Foreign Member of the Finnish Academy of Science and Letters, and holds an Honorary Doctorate from the University of Athens, Greece. 2017 Best Paper Award (FCT 2017) 2015 IBM Outstanding Innovation Award 2014 Honorary Doctorate (University of Athens) 2008 IBM Outstanding Technical Achievement Award Fellow of AAAS and ACM Foreign Member, Finnish Academy of Science Kolaitis collaborates extensively, co-authoring with researchers like D. Burdick, R. Fagin, and M.Y. Vardi. At UC Santa Cruz, he advises on database systems and logic, while his part-time role at IBM focuses on theoretical advancements in data management and complexity.

Mali ABDOLLAHIANمشاهده پروفایل

دانشیار

• Statistical Quality Control
• Public Health Monitoring
• Environmental Trends Analysis
• +۳ مورد دیگر

Associate Professor Mali Abdollahian is an academic in the School of Science at RMIT University. She holds a Master's in Applied Mathematics and Astronomy and a PhD in Statistical Quality Control from University College Cardiff, UK. As an Associate Professor, she also serves as Program Manager for the Master of Analytics and Master of Statistics and Operations Research programs, and is a member of the System Modelling and Optimisation discipline. Education : PhD in Statistical Quality Control, University College Cardiff, UK Master's in Applied Mathematics and Astronomy, University College Cardiff, UK Research Interests : Dr. Abdollahian's work focuses on statistical quality control, performance analysis, and quality assurance in public health, environment, and industry. Her research includes developing interventions to reduce maternal/neonatal mortality, childhood diabetes, and obesity. She applies machine learning and statistical models to public health challenges and environmental sustainability. Grants and Projects : Optimizing disaster relief operations during floods Predicting maternal risk levels using machine learning Modeling diabetes onset in Saudi Arabia Sustainable cooling systems using solar energy Labs/Teams : She collaborates with the System Modelling and Optimisation discipline and industry partners on projects addressing environmental and public health challenges.

Matt Duckhamمشاهده پروفایل

استاد

• Geospatial AI
• Spatial Algorithms
• Geovisualisation
• +۵ مورد دیگر

Matt Duckham is a Professor in Geospatial Sciences and Director of the Information in Society Enabling Impact Platform at RMIT University. He has held previous academic roles at the University of Melbourne as an Australian Research Council Future Fellow and at the University of Maine's National Center for Geographic Information and Analysis. His work bridges theoretical and applied GIScience, with a focus on AI integration and spatial knowledge infrastructure. Academic Leadership: Director, Information in Society EIP (2021–present); Acting Dean, STEMM Diversity and Inclusion (2020–2021) Research Themes: Geospatial AI, Qualitative Spatial Reasoning, Decentralized Geosensor Networks, Spatial Data Trusts Recent Publications demonstrate his commitment to advancing spatial computing through machine learning integration and explainable AI frameworks. His teaching resources include open-access textbook materials and practical exercises spanning relational spatial databases and data visualization. Professional Contributions include co-founding the Journal of Spatial Information Science and developing open educational resources under a Creative Commons Attribution license. His work addresses critical issues in data ethics , urban resilience , and emergency response systems .

• Safe AI
• Formal Methods
• Reinforcement Learning
• +۵ مورد دیگر

Francesco Belardinelli is a Senior Lecturer in the Department of Computing at Imperial College London, part of the Faculty of Engineering. He co-directs the UKRI Centre for Doctoral Training (CDT) in Safe and Trusted AI and leads the EPSRC-funded project 'An Abstraction-based Technique for Safe Reinforcement Learning'. His research focuses on Safe AI, formal methods, and strategic reasoning in multi-agent systems under imperfect information. He holds a PhD and undergraduate degrees from Scuola Normale Superiore, Italy. Belardinelli's work bridges formal verification techniques with AI systems, particularly in ensuring safety in reinforcement learning and multi-agent dynamics. He has secured grants including EPSRC NIA, ANR projects (e.g., AGAPE, SVeDaS), and Marie Curie Fellowships. He supervises multiple PhD and postdoctoral researchers in areas like safe RL, formal methods, and multi-agent systems. His educational contributions include courses on logical aspects of AI and scientific research methodologies. He organizes events like the FMAI Seminar series and chairs international conferences (e.g., AAMAS 2021 workshop). His outreach activities include invited talks on topics like safety-aware RL and epistemic logic.

• Seismology
• Earthquake Risk Assessment
• Seismic Hazard Modeling
• +۴ مورد دیگر

Dr. Laurentiu Danciu is a Researcher affiliated with the Swiss Seismological Service (SED) at ETH Zurich within the Department of Earth and Planetary Sciences. His work focuses on advancing seismic hazard and risk modeling methodologies, with particular emphasis on integrating geophysical data into practical engineering applications. He contributes to large-scale projects such as the European Seismic Hazard Model (ESHM20) and the National Earthquake Risk Model of Switzerland (ERM-CH23). His research addresses challenges in induced seismicity assessment, fault displacement hazard for critical infrastructure, and dynamic risk frameworks incorporating real-time data. Key technical contributions include the development of FAIR-compliant data practices through the Geo-INQUIRE initiative and the refinement of ground motion prediction models for Swiss building codes. Danciu has also pioneered workflows for rapid seismic impact assessment of mass movements in alpine regions and evaluated the effectiveness of earthquake early warning systems in Central America. His work bridges academic research with practical applications, informing policy decisions and infrastructure resilience strategies across Europe and beyond. Core contributor to ESHM20 and ERM-CH23 frameworks Developed methods for fault-crossing displacement hazard assessment Advocated for standardized seismological data harmonization Expert in probabilistic seismic risk analysis methodologies His research outputs emphasize interdisciplinary collaboration between seismologists, engineers, and policymakers to translate complex geohazard models into actionable risk mitigation strategies.

Bettina Könighoferمشاهده پروفایل

استادیار

• Artificial Intelligence
• Reinforcement Learning
• Formal Methods
• +۳ مورد دیگر

Bettina Könighofer is an Assistant Professor at the Technische Universität Graz (TU Graz), affiliated with the Institute of Information Security. Her academic background includes a BSc, Dipl.-Ing. (Diplom-Ingenieur), and Dr.techn. (Technical Doctorate). She specializes in formal methods applied to AI safety, reinforcement learning, and autonomous systems. Her research emphasizes ensuring safety and ethical compliance in decision-making systems through techniques like shield synthesis and formal verification. Research Interests: Safe Reinforcement Learning Algorithmic Fairness and Ethical AI Formal Verification of Learning Systems Autonomous Systems Safety Legal Accountability in Automated Decision-Making Her recent work explores safety shields for real-time decision enforcement, tools for legal accountability (e.g., soid ), and adaptive architectures for safety-critical systems. Notable projects include contributions to QComp verification competitions and Dagstuhl seminars on trustworthy AI. She holds a leadership role in academic conferences, including co-chairing the AISoLA 2023 Track C2. Her research often intersects with practical applications in mobility systems and regulatory compliance.

Robert Jan van Glabbeekمشاهده پروفایل

استاد

• Concurrency theory
• Formal methods
• Verification of distributed systems
• +۱ مورد دیگر

Robert Jan van Glabbeek is a Professor at the University of Edinburgh, Royal Society Wolfson Fellow since 2022, and holds unpaid adjunct/research affiliations at Stanford University (since 2002) and the University of New South Wales (since 2004). Previously, he served as Chief Research Scientist at CSIRO (2016-2021) and Principal Researcher at NICTA (2004-2016). His research spans concurrency theory, formal methods, and verification of distributed systems. He pioneered branching bisimulation and contributed to unifying semantic equivalences in process algebra. His work bridges process algebra with Petri nets, advances probabilistic process verification, and addresses fairness assumptions in distributed systems. Key publications include foundational papers on branching time semantics, probabilistic processes, and AODV routing protocol verification. His work underpins formal verification tools like mCRL2 and CADP, influencing both theoretical concurrency and practical protocol analysis. Foreign Member of the Royal Holland Society of Sciences and Humanities CONCUR test-of-time award Royal Society Wolfson Fellowship

Shalom Lappinمشاهده پروفایل

استاد

• Syntax
• Probabilistic modelling of linguistic knowledge
• Semantics
• +۳ مورد دیگر

Shalom Lappin is a Professor of Computational Linguistics at the University of Gothenburg and King’s College London. He has held multiple academic roles, including Director of the Centre for Linguistic Theory and Studies in Probability at Gothenburg since 2015. Ph.D. in Philosophy, Brandeis University (1975) M.A. in Philosophy, Brandeis University (1973) B.A. in Philosophy, York University (1970) Lappin’s research focuses on the intersection of syntax, semantics, and computational modeling of linguistic knowledge. He explores probabilistic approaches to grammar induction, the philosophy of language, and the application of machine learning in understanding linguistic structures. His publications highlight trends in syntactic theory, anaphora resolution, and computational linguistics. Notable works include critiques of the Minimalist Program and foundational contributions to natural language processing algorithms. ESRC Professorial Fellowship (2012-2015) Elected Chair of the British Academy’s Linguistics and Philology Section (2011-2014) Fellow of the British Academy (2010) Lappin has led research teams and centers, notably the Centre for Linguistic Theory and Studies in Probability at Gothenburg. His career spans institutions like Tel Aviv University, University of London, and IBM Watson Research Center, with grants supporting interdisciplinary research in linguistics and cognition.

Barteld Kooiمشاهده پروفایل

دانشیار

• Logic
• Dynamic Epistemic Logic
• Philosophy of Mind
• +۴ مورد دیگر

Dr. Barteld Kooi is an Associate Professor in Theoretical Philosophy at the University of Groningen. He holds a PhD in Computer Science and has held a full professorship in Logic and Argumentation from 2011–2021. His research focuses on dynamic epistemic logic, paradox analysis, and the formal modeling of intelligent interaction. Key projects include his NWO VIDI grant exploring logic expressivity and his VENI project on dynamic epistemic logic applied to classic paradoxes. Education: BSc and MSc in Philosophy (Groningen), PhD in Computer Science (Groningen, 2003). Supervised by Gerard Renardel and Rineke Verbrugge for his dissertation on probabilistic dynamic epistemic logic. Research interests include logical paradoxes (e.g., Monty Hall, liar paradox), formal epistemology, and multi-agent systems. Recent work examines semantic leakage in lie detection and cognitive biases in social contexts. He teaches courses like Advanced Logic and Multi-Agent Systems. Grants: NWO VENI (2006–2009), NWO VIDI (2010–present). No listed awards, but his grants reflect significant academic recognition. His work intersects philosophy with computer science and cognitive science. Labs/Teams: Active in the Theoretical Philosophy department, contributing to interdisciplinary projects on logic and AI. No dedicated lab mentioned but collaborates widely in formal philosophy domains.

Bart Jacobsمشاهده پروفایل

استاد

• Computer Security
• Privacy Management
• Identity and Autonomy
• +۶ مورد دیگر

Roles & Affiliations Full Professor of Security, Privacy and Identity at Radboud University Nijmegen's Institute for Computing and Information Sciences (since 2002). Affiliated professor in Philosophy (Ethics and Political Philosophy) and Law (Legal History). Member of multiple national cybersecurity councils including the National Cybersecurity Council (2011-2023) and scientific advisor to the Dutch police (since 2023). Education PhD in Theoretical Computer Science (1991), Radboud University MSc in Mathematics and Philosophy, Radboud University Research Focus Pioneering work in privacy-friendly identity management (e.g., IRMA/PubHubs systems), cybersecurity policy, and foundational computer science areas like coalgebra and quantum computation. Notable achievements include exposing Mifare Classic smartcard vulnerabilities (2008) and developing privacy-by-design frameworks. Awards & Recognition 2021: Stevin Prize (Netherlands' highest science honor) 2012: Officer of the Orange-Nassau Order 2018: Brouwer Award for Science & Society Grants & Leadership Recipient of ERC Advanced Grant (2012-2017) for quantum computation research. Founded Privacy by Design Foundation (non-profit promoting attribute-based authentication). Former chair of Bits of Freedom's advisory board (2012-2017).

• Neural-Symbolic Artificial Intelligence
• Statistical Relational Artificial Intelligence
• Automated Data Science
• +۳ مورد دیگر

Giuseppe Marra is an Assistant Professor at the Faculty of Engineering Science and affiliated with the Declarative Languages and Artificial Intelligence (DTAI) unit at KU Leuven , Belgium. His research focuses on Neural-Symbolic Artificial Intelligence , integrating symbolic reasoning with neural networks to enhance transparency and reasoning capabilities in AI systems. Current affiliations: Department of Computer Science, DTAI (Leuven) Roles: Promotor in multiple projects (2022-2028), Council member of Faculty of Engineering Science His research portfolio includes projects on: Relational Concept-Based Models (2025-2028) Neuro-Symbolic AI scalability (2024-2026) Deep Statistical Relational Learning (2022-2024) Publications demonstrate expertise in Neuro-Symbolic AI , with applications in: Reinforcement learning safety (probabilistic logic shields) Graph neural network optimization (subgraph mining) Concept-based memory reasoning (interpretable architectures) Markov logic network extensions (quantified logic, temporal models) He contributes to teaching courses on: Artificial Intelligence (H0O18A) Reinforcement Learning (H0O23A) Machine Learning (H0T25A)

María Dolores Valiña Garcíaمشاهده پروفایل

پژوهشگر

• Cognitive Psychology
• Deductive Reasoning
• Conditional Reasoning
• +۵ مورد دیگر

María Dolores Valiña García is a long-standing researcher at the University of Santiago de Compostela , affiliated with the Faculty of Psychology and the Department of Social, Basic and Methodological Psychology . Her career spanned from 1986 to 2022, focusing on Cognitive Psychology and Reasoning theories. She co-founded the research group COSOYPA (Social Behavior and Applied Psychometry) , contributing to pragmatic reasoning models. Education : Doctorate from the University of La Laguna (1985), thesis on everyday reasoning with probabilistic quantifiers, supervised by Dr. Manuel de Vega Rodríguez. Her research interests include Deductive Reasoning , Heuristics and Biases , Dual Process Theory , and Mental Models . She conducted extensive empirical studies on Wason's Selection Task and the THOG Problem , analyzing how thematic content, scenario framing, and deontic rules influence reasoning. Collaborators include Montserrat Martín and Dr. Manuel de Vega. Key findings reveal the dynamic and flexible nature of human reasoning , rejecting purely syntactic models in favor of semantic-pragmatic frameworks. Her work highlights the interplay between cognitive flexibility and reasoning performance , integrating psychometric traditions with information-processing approaches.

• Philosophy of Science
• Epistemology
• Philosophy of Mind
• +۳ مورد دیگر

Mikael Cozic is a Professor at the Faculty of Philosophy of Jean Moulin University, Lyon. His research spans philosophy of science, epistemology, philosophy of mind, and philosophy of economics, with a focus on rationality, decision-making, and interdisciplinary methodologies. He serves as the Director of the Doctoral School of Philosophy and manages training programs related to ecological transition ethics. Director of Doctoral School of Philosophy Manager of DU/Master's in Ecological Transition: Ethics and Environment (TREE) Teaches in CNU Section 17 (Philosophy) Associated with the Institute of Philosophical Research of Lyon His work bridges evolutionary biology, economics, and formal epistemology, particularly in weighted averaging and inductive reasoning. Recent publications include interdisciplinary studies on rationality and a 2023 co-edited volume exploring intersections between evolutionary biology and economics. Cozic holds authorization to direct research and contributes to courses on philosophical debates, ethics, public health, and history of economic sciences. No scientific awards are explicitly mentioned in the provided data.

Maryanthe Malliarisمشاهده پروفایل

استاد

• Model Theory
• Mathematical Logic
• Classification of Theories
• +۸ مورد دیگر

Maryanthe Malliaris is a Professor in the Department of Mathematics at the University of Chicago. Her research focuses on model theory , particularly the classification of theories and interactions between model theory, set theory, and combinatorics. University of Chicago, Department of Mathematics Research Interests: Malliaris works on model theory, ultrafilters, and their applications to problems in set theory, graph theory, and learning theory. She has advanced understanding of Keisler's order, regularity lemmas, and cofinality spectrum problems. Scientific Contributions: Her recent work connects model theory to machine learning, including PAC learning and online learning. She has contributed to the classification of simple theories, topological model theory, and Ramsey-type combinatorics. Awards and Grants: NSF CAREER Award DMS-1553653 Gödel Research Prize Fellowship Sloan Research Fellowship NSF-BSF 2051825 NSF Grants DMS-1300634, DMS-1001666 Teaching: Courses include Math 277 and Math 309. Contact: Department of Mathematics, University of Chicago, 5734 S. University Avenue, Chicago, IL 60637. Email: malliaris@math.uchicago.edu . Office: 406.

Benjamin Monmegeمشاهده پروفایل

دانشیار

• Formal Methods
• Software Verification
• Quantitative Formal Languages
• +۱۲ مورد دیگر

Benjamin Monmege is an Associate Professor at Aix-Marseille Université , affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and the MOdelisation and VErification team. He previously held a Post-doc position at Université libre de Bruxelles (ULB) until August 2015. His research focuses on formal methods for software verification, synthesis, and quantitative analysis using automata theory , game theory , and grammatical inference . He has developed tools like MightyL for MITL-to-timed-automata conversion and QuantiS for quantitative specification verification. Monmege has mentored PhD students including Julie Parreaux (Université Paris-Est Créteil), Théodore Lopez (Université Rennes), and Julie Parreaux . His recent work includes algorithmic advancements in weighted timed games, stochastic strategy emulation, and robust controller synthesis.