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

Lorenzo Galeottiمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Computability Theory
• Set Theory
• +۳ مورد دیگر

Lorenzo Galeotti is a researcher affiliated with the University of Amsterdam, specifically working within the Mathematical & Computational Logic (MCL) group at Amsterdam University College. His research focuses on foundational aspects of mathematical logic, computability theory, and generalized analysis. Research Interests: Galeotti investigates topics at the intersection of logic, computability, and non-standard mathematical structures. His work includes studying transfinite computability, infinitary intuitionistic set theory, and the properties of generalized real numbers and non-Archimedean fields. He also explores the application of logical frameworks in educational contexts, such as game-based learning tools for propositional logic. Publications: His recent articles address advanced topics in logic, including models of Peano arithmetic fragments, symmetry in infinite-time computation, and surreal number systems. These works reflect a consistent focus on extending classical concepts into transfinite and non-standard domains. Contact: Email correspondence can be directed to l.galeotti@uva.nl .

Walter Deanمشاهده پروفایل

دانشیار

• Philosophy of Mathematics
• Mathematical Logic
• Philosophical Logic
• +۵ مورد دیگر

Walter Dean is an Associate Professor in the Department of Philosophy at the University of Warwick . He holds a PhD in Computer Science (2010, CUNY) and Philosophy (2007, Rutgers), with an MSc in Logic (1999, University of Amsterdam). His research focuses on the intersection of Philosophy of Mathematics , Mathematical Logic , and Theoretical Computer Science , particularly exploring how results in Reverse Mathematics and computational complexity theory relate to questions of mathematical applicability and existence. Education PhD in Computer Science, CUNY Graduate Center (2010) PhD in Philosophy, Rutgers University (2007) MSc in Logic, University of Amsterdam (1999) Dean has been on research leave as a fellow of the French Institute for Advanced Study (2022-2023) and a Von Humboldt Fellow at the MCMP in Munich (2020-2022). His work investigates the method of arithmetization , barriers in mathematical problem-solving , and the philosophical implications of undecidability and nonstandard models. Key research areas include: Philosophy of mathematical applicability Algorithmic and complexity-theoretic limitations History and philosophy of computation Reverse Mathematics and subsystems of second-order arithmetic Informal rigour and metamathematical analysis Scientific Awards : Fellow, French Institute for Advanced Study (2022-2023) Von Humboldt Fellowship (2020-2022) Agence Nationale de la Recherche Fellowship Netherlands-America Foundation Fellowship Dean has presented extensively on topics such as non-Euclidean geometry , algorithmic identity , and complexity-theoretic barriers . His publications span journals like Philosophia Mathematica and Review of Symbolic Logic , as well as encyclopedic works on Kreisel's paradox and computational models . He serves as Philosophy convenor for Warwick's Mathematics and Philosophy joint degrees .

• Artificial Intelligence
• Natural Language Processing
• Logic Programming
• +۷ مورد دیگر

María Josefina Sierra Santibáñez is an Associate Professor in the Department of Computer Science at the School of Computer Science of Barcelona (FIB), Universitat Politécnica de Catalunya (UPC). She is a member of the ALBCOM research group (Algorithms, Bioinformatics, Complexity and Formal Methods) and has maintained consistent research activity for over three decades. Her academic credentials include a Licenciatura in Mathematical Sciences and a Doctorado in Computer Science. Her research profile shows 73 documented academic activities spanning from 1992 to 2024, demonstrating remarkable longevity and continued relevance in her field. Dr. Sierra Santibáñez specializes in the computational modeling of language acquisition systems, particularly for logical expressions. Her work uses agent-based modeling to investigate how language systems for boolean coordination and logical constructions emerge, evolve, and are transmitted among agents. She bridges artificial intelligence, cognitive science, and formal linguistics to understand the processes by which logical reasoning capabilities develop through social interaction. Her publication trends show a consistent focus on the computational aspects of language acquisition for logical expressions, with significant contributions to natural language processing through her work on fluid construction grammar and logic programming approaches. She has published in top venues including AAAI conferences and journals such as Artificial Intelligence and Autonomous Agents and Multi-Agent Systems. Scientific Committee Member: AAAI Conferences (2014-2018) Scientific Committee Member: International Conference on Principles of Knowledge Representation and Reasoning (2012) Scientific Committee Member: AAAI Fall Symposium on Biologically Inspired Cognitive Architectures (2009-2010) She has collaborated extensively with researchers across UPC, particularly with Ricard Gavaldà, Marta Arias, and other members of the ALBCOM research group. Her work often involves interdisciplinary teams combining expertise in computer science, linguistics, and cognitive science, reflecting the inherently interdisciplinary nature of her research questions.

Giorgio Piniمشاهده پروفایل

استاد

• Medieval Philosophy
• Metaphysics
• Theories of Cognition
• +۲ مورد دیگر

Giorgio Pini is a Professor in the Philosophy Department at Fordham University , holding a PhD from Scuola Normale Superiore, Italy. His research focuses on medieval philosophy , particularly the metaphysics , epistemology , and philosophical theology of John Duns Scotus, Thomas Aquinas, and other later medieval thinkers. His textual scholarship includes the 2017 critical edition of Scotus's Notabilia super Metaphysicam (Corpus Christianorum, Continuatio Mediaevalis). His publications analyze topics like objective being , intuitive/abstractive cognition , divine illumination , and metaphysical implications of miracles . Recent works (2022-2023) explore Scotus's reconstruction of Anselm's Proslogion argument and non-mutual intentional relations . While no specific scientific awards are mentioned, his grant-funded research (e.g., Katholieke Universiteit Leuven fellowship) and collaborations with peers like Gyula Klima demonstrate academic engagement. His current monograph project on Scotus's metaphysics underscores ongoing scholarly contributions.

Chen Guoqingمشاهده پروفایل

استاد

• Business Intelligence
• Big Data Analysis
• E-commerce
• +۴ مورد دیگر

Chen Guoqing is a Professor and Senior Professor of Humanities at Tsinghua University's School of Economics and Management, where he serves as Deputy Director of the Academic Committee. He chairs the National Natural Science Foundation of China's Big Data Major Research Program Guidance Expert Group and directs the Ministry of Education's Higher Education Management Science and Engineering Professional Teaching Guidance Committee, with additional roles on national informatization and New Liberal Arts committees. Education: Bachelor's Degree, Renmin University of China (1982) Master's Degree, University of Leuven, Belgium (1988) Doctorate, University of Leuven, Belgium (1992) Research Focus: Professor Chen pioneers research in Business Intelligence and Big Data Analysis, developing frameworks like PAGE for data-driven decision-making. His work spans E-commerce, IT Strategy, and Fuzzy Logic, with recent emphasis on personalized recommendation systems, online consumer behavior, and AI-human collaboration in business contexts. His publications reveal a trajectory from foundational fuzzy logic research to cutting-edge big data applications, consistently bridging technical innovation with managerial relevance. Awards: AIS Fellow (first from mainland China) IFSA Fellow Fudan Management Outstanding Contribution Award Changjiang Scholar Distinguished Professor National Science Fund for Distinguished Young Scholars National Outstanding Doctoral Dissertation Advisor Leadership: As former Executive Vice Dean of Tsinghua SEM and Vice President of IFSA, he has shaped academic policy globally. He leads major NSFC projects and international collaborations while advising government bodies on informatization strategy. His teaching includes national-level courses like "Management Information Systems" and "Management in the Big Data Era."

• Automated Reasoning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Stephan Schulz is a Professor at the Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart) in the Faculty of Engineering, where he serves as the Program Director for Computer Science. His office is located in room B 3.14 at Lerchenstraße 1, 70174 Stuttgart, Germany. Professor Schulz is a leading researcher in automated reasoning and theorem proving, with extensive experience teaching computer science courses including Formal Languages and Automata, Logic and Foundations of Computer Science, Compiler Construction, and Algorithms. Professor Schulz's primary research interest lies in automated reasoning, specifically developing efficient algorithms and intelligent search control for automatic theorem proving. His long-term goal is integrating high-performance inference mechanisms with machine learning techniques to create robust reasoning systems across diverse domains. He is the principal developer of the E Theorem Prover, a high-performance system for full first-order logic with equality that has performed exceptionally well in international competitions like CASC. His recent publications demonstrate a clear trend toward extending theorem proving capabilities to higher-order logic while maintaining performance. Schulz has made significant contributions to practical aspects of automated reasoning, including watchlist implementations, contradiction detection in large theories, and the integration of machine learning techniques to improve search heuristics in theorem provers. Professor Schulz has received multiple prizes for his work on the E Theorem Prover, though specific award names are not detailed in the available information. His contributions to the field have been recognized through leadership roles in major conferences. Professor Schulz actively mentors students through project work (Studienarbeiten) at DHBW Stuttgart and has taught numerous courses throughout his career at institutions including the University of Miami, Mona Institute of Applied Sciences, Universität Hildesheim, and INRIA/MPI. While specific grant information isn't provided, his sustained development of the E Theorem Prover suggests ongoing research support. Professor Schulz is significantly involved with several workshop and conference series including the International Workshop on the Implementation of Logics (IWIL), Practical Aspects of Automated Reasoning (PAAR), and Artificial Intelligence and Theorem Proving (AITP). His current roles include PC co-chair for the 15th IWIL (2024) and 9th AITP (2024), and PC member for multiple other conferences including the 25th LPAR (2024) and 12th IJCAR (2024).

• Automated Theorem Proving
• Machine Learning
• Formal Verification
• +۶ مورد دیگر

Konstantin Korovin is a Reader at the Department of Computer Science, The University of Manchester. He has held various academic roles including Senior Lecturer (2015-2023), Royal Society University Research Fellow (2007-2015), and Research Associate (2004-2007). Current research focuses on automated theorem proving , machine learning integration , and verification of hardware/software . His work includes developing systems like iProver , iProver-ML , and SMLP , which combine formal methods with ML techniques. Key contributions span non-linear constraint solving , quantified Boolean logic , and DNA computing . He has won over 20 international awards, including SMT-COMP and CASC categories. Scientific Awards : Ackermann Award, Best Thesis Prize, Best Paper at FroCoS'19, CASC and SMT-COMP prizes. He supervises PhD and postdoc researchers, with alumni working at Intel, Google, and MathWorks. His tools are applied in industry, notably by Intel for hardware optimization.

• Satisfiability Modulo Theories (SMT)
• Formal Verification
• Automated Reasoning
• +۳ مورد دیگر

Andrew Joseph Reynolds is a Research Scientist at the University of Iowa , actively contributing to the development of the SMT solver cvc5 . He is a core developer in the Computational Logic Center (CLC) and focuses on improving SMT solvers for unbounded strings, regular expressions, proofs, quantified formulas, and synthesis conjectures. Research Interests : Satisfiability Modulo Theories (SMT), Formal Verification, Automated Reasoning, Quantifier Instantiation, String Constraints, Synthesis Algorithms Scientific Contributions include groundbreaking work in distributed SMT solving, proof reconstruction, and nonlinear arithmetic handling. His publications span premier conferences like FMCAD, CAV, IJCAR, and TACAS, with multiple best paper awards and competition wins. Major Competitions won: SMT Comp (multiple years), SyGuS Comp (General track, Conditional Linear Integer Arithmetic), CASC (typed first-order divisions) He serves on program committees for conferences like FroCoS, LPAR, FMCAD, and SMT, and has organized workshops including the SyGuS Comp 2019 and 2018 FMCAD Student Forum . His work is funded by NSF grants and involves collaboration with leading institutions.

Carsten Lutzمشاهده پروفایل

استاد

• Description Logics
• Knowledge Representation
• Ontology-Mediated Querying
• +۵ مورد دیگر

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.

Thomas Anung Basukiمشاهده پروفایل

استادیار

• Formal Methods
• Natural Language Processing
• Artificial Intelligence
• +۴ مورد دیگر

Thomas Anung Basuki serves as an Assistant Professor at Heriot-Watt University's Malaysia Campus within the School of Mathematical and Computer Sciences. With over two decades of teaching experience across Indonesian and Malaysian universities, he maintains an active research profile in theoretical and applied computer science. His educational background includes: Bachelor of Informatics Engineering from Institut Teknologi Bandung, Indonesia Joint Masters and PhD in Computer Science from Universitas Indonesia and Universita di Pisa/United Nations University Dr. Basuki's research spans formal methods, natural language processing, and artificial intelligence with particular focus on modeling, verification, and classification systems. His work integrates theoretical computer science with practical implementations across diverse domains including software engineering, image processing, and renewable energy systems. The fingerprint analysis of his publications reveals strong expertise in algorithms (62%), diagrams (61%), verification (60%), and classification (55%). His publication record shows consistent activity from 2009 through 2025, with recent work demonstrating increasing interdisciplinary applications. The research trends indicate growing focus on deep learning implementations and formal verification techniques applied to real-world problems in energy systems, agricultural technology, and digital security. His scholarly contributions align with several United Nations Sustainable Development Goals, though specific goals aren't explicitly enumerated in the available information. With research outputs spanning conference contributions, journal articles, and peer-reviewed publications, Dr. Basuki maintains active collaborations across international institutions as indicated by his network visualization. His work shows particular strength in bridging theoretical computer science with practical implementations across multiple sectors.

Necati Olgunمشاهده پروفایل

استاد

• Algebra
• Number Theory
• Neutrosophic Mathematics
• +۷ مورد دیگر

Necati Olgun is a Professor in the Department of Mathematics at Gaziantep University, Faculty of Arts and Sciences. He has been serving at Gaziantep University since 2005, progressing through academic ranks from Research Assistant to Professor. His academic journey began with a Mathematics degree from Çukurova University, followed by a Master's and Doctorate in Mathematics from the same institution and Hacettepe University respectively. Professor Olgun's educational background includes: Bachelor of Science in Mathematics from Çukurova University (1990-1995) Master of Science in Mathematics with Thesis from Çukurova University (1995-1998) Doctorate in Mathematics from Hacettepe University (1999-2005) His research primarily focuses on Algebra and Number Theory, with specialized expertise in Neutrosophic Mathematics, Fuzzy Sets, and Mathematical Logic. Professor Olgun has made significant contributions to the understanding of Neutrosophic structures, Plithogenic sets, and their applications in various mathematical domains. His work bridges theoretical mathematics with practical applications in decision-making systems and computational models. His research has evolved from traditional algebraic structures to innovative frameworks incorporating neutrosophic logic, plithogenic sets, and fuzzy mathematics. Professor Olgun has received multiple scientific awards, including: TÜBİTAK Yayın Teşvik Ödülü in 2018 TÜBİTAK Yayın Teşvik Ödülü in 2015 TÜBİTAK Yayın Teşvik Ödülü in 2014 TÜBİTAK Yayın Teşvik Ödülü in 2012 Professor Olgun has supervised numerous graduate students, guiding 7 doctoral theses and 35 master's theses to completion. His research projects span both theoretical mathematics and applied domains, including 'High Order Universal Modules Fitting Ideals Investigation' and various educational initiatives like 'Easy Mathematics' projects aimed at improving mathematics education. He has served in administrative roles including Department Head, Institute Deputy Director, and Institute Management Board membership. His work has established him as a leading researcher in neutrosophic algebraic structures, with collaborations spanning multiple institutions and contributing to the development of new mathematical frameworks that extend classical algebra through neutrosophic logic.

• Fractional Calculus
• Optimal Control Theory
• Mathematical Modeling
• +۳ مورد دیگر

Doç. Dr. Özlem Defterli is an Associate Professor at Çankaya University's Faculty of Arts and Sciences, Department of Mathematics. With a doctorate from Middle East Technical University (2011) and postdoctoral experience at Michigan State University (2014) and Saginaw Valley State University (2013), she specializes in fractional calculus, mathematical modeling, and optimal control theory. PhD in Mathematics (2011), Middle East Technical University, Turkey MSc in Mathematics-Computer (2004), Çankaya University, Turkey BSc in Computer Engineering (2002) and Mathematics-Computer (2002), Çankaya University, Turkey Her research focuses on fractional-order systems, nonlinear dynamics, and applications in epidemiology, physics, and engineering. She has contributed to projects like COST Action CA21154 (Cancer Control) and CA15225 (Fractional Systems), and received awards including the Wen Chen Award (2020) and TÜBİTAK National Doctoral Scholarship (2021). Defterli's publications analyze chaotic systems, superintegrable models, and fractional tumor-obesity dynamics. She has taught courses like Scientific Computing and Mathematical Modeling, advised 3 master's theses, and collaborated internationally with researchers from Poland, Taiwan, and the USA. Best Paper Presentation Award (2024) 20th Year Service Award (2022) TÜBİTAK National Doctoral Scholarship (2021) Wen Chen Award (2020) Service Award (2013) Faculty First Place (2002)

• Knowledge Representation and Reasoning
• Logic in Computer Science
• Ontologies
• +۳ مورد دیگر

Professor Frank Wolter is a Full Professor of Logic and Computation at the University of Liverpool , Department of Computer Science, since 2003. His academic journey includes a Habilitation in Computer Science at Leipzig University (2000), PhD in Mathematics at Freie Universität Berlin (1993), and research associations with Japan Advanced Institute of Science and Technology (1994-1997). Education Diploma in Mathematics and Philosophy, Freie Universität Berlin (1991) PhD in Mathematics, Freie Universität Berlin (1993) Habilitation in Computer Science, University of Leipzig (2000) His research focuses on Knowledge Representation and Reasoning , integrating Modal Logics , Description Logics , and Temporal Logics to develop frameworks for dynamic ontologies, ontology versioning, and semantic web applications. Key projects include: quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data (2019-2022) iTract: Islands of Tractability in Ontology-Based Data Access (2015-2018) Logical difference for ontology versioning (2003-2004) Recent publications (2024-2025) demonstrate expertise in Two-Variable First-Order Logic , Interpolant Existence , Temporal Instance Queries , and Non-Rigid Designators in modalized description logics. His work bridges theoretical computer science with practical AI applications. Scientific Awards : EurAI Fellow (2023) PODS Test of Time Award (2023) Multiple Best Paper Awards at KR, IJCAI, PODS, ISWC, and ACM SIGMOD (2008-2023) Professional Activities include editorial roles at Journal of Applied Logic (2004-present) and Reports on Mathematical Logic (2000-present), organizing chairs at Advances in Modal Logic (2000-2008), and REF Coordinator. He has examined PhD theses at universities including Manchester, ANU, Imperial College, and JAIST.

Pierre Castéranمشاهده پروفایل

استاد

• Formal Methods
• Theorem Proving
• Type Theory
• +۶ مورد دیگر

Pierre Castéran is a Professor at the University of Bordeaux, affiliated with the LaBRI (Laboratoire Bordelais de Recherche en Informatique). He is a co-author of Coq'Art , the first book on the Coq Proof Assistant, and has contributed extensively to its development through tutorials, technical papers, and research projects. His work includes exploring Hydra Battles and ordinal notations in Coq, as well as foundational contributions to type classes, inductive definitions, and epsilon operators. ACM Software System Award (2013) for Coq development His research interests span formal verification, mathematical logic, proof assistants, and the intersection of computer science with discrete mathematics. He has led projects like A3PAT (Assisting Proof Assistants) to enhance automation in formal methods. His technical work includes defining recursive path orderings, denumerable sets, and axiomatic presentations of ordinals. Collaborations include Yves Bertot ( Coq'Art ), Evelyne Contéjean (rpo termination proofs), and Matthieu Sozeau (type classes). He has created educational materials for Coq, including tutorials for Type Classes and inductive types, with examples updated across Coq versions.

Jérôme Lerouxمشاهده پروفایل

پژوهشگر

• Formal Verification
• Vector Addition Systems
• Petri Nets
• +۷ مورد دیگر

Jérôme Leroux is a Directeur de Recherche (DR CNRS) at the Laboratoire Bordelais de Recherche en Informatique (LaBRI) , affiliated with the University of Bordeaux , France. His research focuses on formal verification of infinite-state systems, vector addition systems, Presburger arithmetic, and acceleration techniques for symbolic computation. Key research themes include: Vector Addition Systems (VASS) and Petri Nets Automata-based representations for Presburger arithmetic Abstract interpretation and CEGAR frameworks Verification of asynchronous distributed systems His recent publications highlight work on acceleration techniques for convex binary relations, serialized digit automata, and regular acceleration methods for number decision diagrams. These contributions are implemented in tools like the Talence Presburger Arithmetic Suite (TAPAS) and the FAST tool for symbolic verification. Scientific awards include a Best Paper Award at TURING'100 . He has advised several Ph.D. students and postdoctoral researchers, including Alexander Heußner and Thibault Hilaire (current Ph.D. candidate). Leroux is actively involved in organizing conferences like MFCS'23 and serving on program committees for venues such as VMCAI'26 .