Prof. Dr. Thorsten Sander is an adjunct professor in philosophy at the University of Duisburg-Essen's Institute of Philosophy, within the Faculty of Humanities. His research focuses on philosophy of language, pragmatics, and Gottlob Frege's contributions to semantics. He holds a PhD from Universität Gesamthochschule Essen (2001) and has authored influential works such as Frege's Pragmatics (2025) and Bedeutung als Gebrauch (2018). His work bridges historical analysis of Frege's theories with contemporary issues in semantics and psycholinguistics. Research Interests: Non-at-issue contents (e.g., implicatures) Fregean pragmatics (coloring, side-thoughts) Register differences and use-conditional meaning Meta-ethics and moral semantics Publications highlight his engagement with Frege's legacy, including analyses of modality, presupposition, and pragmatic vs. semantic meaning distinctions. He critiques traditional categorizations like 'epistemic implicature' and advocates for precise semantic profiles tailored to theoretical goals. Prof. Sander's contributions span books, peer-reviewed articles, and reviews. His current projects include exploring pejoratives and Frege's influence on modern psycholinguistics. Office hours are Fridays at 12 noon (email预约).
Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University, affiliated with the Dietrich College of Humanities and Social Sciences and the Department of Philosophy. His research bridges Category Theory, Homotopy Type Theory, and Algebraic Set Theory, with significant contributions to constructive mathematics and the philosophy of type theory. PhD in Mathematics, University of Chicago (1997), dissertation: Logic in Topoi: Functorial Semantics for Higher-Order Logic Awodey's work focuses on the intersection of categorical logic, homotopy theory, and constructive mathematics. He co-founded the Univalent Foundations Program at the Institute for Advanced Study and leads the Hoskinson Center for Formal Mathematics at CMU. His recent publications explore algebraic models of type theory, cubical set models, and higher categorical structures. His research output spans formal verification, proof-theoretic semantics, and topos-theoretic interpretations of modal logic. The 15 most recent articles emphasize Homotopy Type Theory (HoTT), polynomial functors, and applications of algebraic geometry to intuitionistic logic. Trends include univalent foundations, higher inductive types, and model category-theoretic approaches. Scientific Awards: The Dean's Chair in Logic, Carnegie Mellon University Participant Support Grant for Homotopy Type Theory Conferences NSF Grant for Homotopy Type Theory Research Advising and Grants: Awodey has advised numerous PhD students across philosophy, mathematics, and computer science on topics like Martin-Löf complexes, polynomial pseudomonads, and synthetic homotopy theory. He has secured multiple NSF grants for HoTT research and conference support, with affiliations to the Institute for Advanced Study and nLab collaborative projects. Labs and Teams: He leads the Hoskinson Center for Formal Mathematics and collaborates with the Laboratory for Symbolic and Educational Computing at CMU. His work engages international research groups in categorical logic and higher category theory.
Dr. Hak-Keung Lam is a Reader in the Department of Engineering at King's College London, part of the Faculty of Natural, Mathematical & Engineering Sciences. He holds an IEEE Fellowship and has been a Clarivate Web of Science Highly Cited Researcher since 2018. His research focuses on fuzzy control systems, neural networks, stability analysis, and their applications in biomedical and engineering domains. Education: Dr. Eng. (2000), B. Eng. (1995), both from Hong Kong Polytechnic University. Research Interests: Fuzzy modeling, neural network-based control, computational intelligence, machine learning, and biomedical applications such as ECG/EEG signal classification. His work bridges theoretical advancements with practical implementations in robotics, autonomous systems, and healthcare technology. Publications: Over 480 publications (as of 2023) in top-tier journals and conferences, with a focus on control systems, fuzzy logic, and intelligent systems. Recent work includes fault-tolerant control, cyber-physical systems, and explainable AI. Awards: IEEE Fellow (2019), 1st Place in PhysioNet Computing in Cardiology Challenge (2022). Grants/Projects: Active projects include fuzzy control system stabilization, autonomous robots in healthcare environments, and networked control of robotic systems. Labs/Teams: Center for Robotics Research, contributing to solutions for societal challenges through robot-centric approaches.
Stuart Kurtz is a Professor in Computer Science and the College at the University of Chicago, and serves as Master of the Physical Sciences Collegiate Division. He holds the endowed position of George and Elizabeth Yovovich Professor. His research focuses on theoretical computer science, including computational complexity theory, randomness in computation, type theory, and formal logic. He has contributed to foundational areas such as the Berman-Hartmanis Isomorphism Conjecture and the computational properties of random sets. Kurtz is affiliated with the Theoretical Computer Science and Programming Languages Groups at the University of Chicago. He has been recognized with the 2009 Quantrell Award for teaching excellence. His service roles include Director of Undergraduate Studies and Department Chair in Computer Science. He actively mentors Ph.D. students and has advised multiple graduates in complexity theory and related fields. His academic background includes a Mathematics Ph.D. from the University of Illinois, supervised by Carl Jockusch. He approaches type theory as an intersection of formal logic and functional programming. Research interests span measure-theoretic randomness, computational logic, and complexity class separations. His recent work explores connections between theoretical computer science and interdisciplinary fields like physics and statistics. In teaching, Kurtz has instructed courses such as Formal Language Theory, Discrete Mathematics, and Honors Intro Programming. His service contributions include roles in the Computation Institute and Toyota Technological Institute at Chicago. His lab affiliations and collaborative work reflect a strong commitment to advancing theoretical foundations in computer science.
Wilfried Sieg serves as the Patrick Suppes Professor of Philosophy at Carnegie Mellon University within the Dietrich College of Humanities and Social Sciences, where he has been a core faculty member since 1985. He previously held appointments at Columbia University (1977-1985) and co-founded CMU's interdisciplinary Pure and Applied Logic program. His educational background includes: Ph.D. in Philosophy, Mathematical Logic, and Foundations of Mathematics from Stanford University (1977) M.S. in Mathematics and Logic from Westfälische-Wilhelms-Universität, Münster (1971) B.S. in Mathematics and Physics from Freie Universität, Berlin (1969) Sieg's research fundamentally explores the Foundations of Mathematics through proof theory, with significant contributions to the History of Modern Logic and Philosophy of Mathematics. His work critically examines Hilbert's Program, Gödel's incompleteness theorems, and the historical development of computability concepts. He emphasizes the dialectic between mathematical practice and philosophical reflection, revealing how foundational positions shape and are shaped by mathematical developments. Analysis of his recent publications shows a sustained trajectory from historical-philosophical investigations toward computational implementations, particularly through the AProS project. This evolution reflects growing integration of proof-theoretic insights with automated reasoning systems, focusing on heuristic search algorithms and cognitive modeling of mathematical reasoning. Sieg directs the Laboratory for Symbolic & Educational Computing (LSEC), which develops pedagogical tools like the AProS proof tutor. His grant-funded projects include editorial work on Hilbert, Gödel, and Bernays supported by the German National Science Foundation, Sloan Foundation, and National Endowment for the Humanities, alongside NSF-funded development of web-based logic education. He has advised numerous graduate students through research seminars while maintaining active collaboration with computer science and mathematics departments.
Yale Weiss is an Adjunct Assistant Professor in the Department of Philosophy at the CUNY Graduate Center and Director of the Saul Kripke Center. He holds a Ph.D. from the CUNY Graduate Center (2019). His research focuses on logic, history of logic, and ancient philosophy, with a particular emphasis on modal logic, the history of analytic philosophy, and the works of Saul Kripke. Weiss co-organizes the Logic and Metaphysics Workshop at the Graduate Center with Graham Priest and is a member of the Logicians Liberation League. He authored Saul Kripke on Modal Logic (2024), an edited volume celebrating Kripke’s contributions to modal logic. His work spans topics such as Leibnizian completeness theorems, barriers to entailment in relevance logic, and Augustine’s KK principle. Weiss has also contributed to the semantics of connexive and constructive logics, as well as historical studies of Parmenides and Aristotle. His recent publications analyze topics including Hume’s law, Boolean group semantics, and the philosophical implications of Kripke’s early work in modal logic. Weiss’s research bridges historical and contemporary logic, emphasizing formal methods in understanding philosophical problems.
Anna Wilbik is a Professor in Data Fusion and Intelligent Interaction at the Department of Advanced Computing Sciences, Faculty of Science and Engineering, Maastricht University (The Netherlands). Her research bridges data understanding and human-machine synergy in complex systems, focusing on multi-criteria decision making, explainable AI, and data fusion techniques. PhD in Computer Science (with honors), Systems Research Institute, Polish Academy of Science (2010) Postdoctoral Fellow, University of Missouri (2011) Stanford University TOP500 Innovators Program Alumnus Research Pillars: Intelligent human-machine interaction for joint decision making Data fusion methods for heterogeneous data integration Contextualized multi-criteria decision frameworks Fuzzy logic and linguistic summaries for explainability Federated learning systems Article Trends: Recent work focuses on intuitionistic fuzzy sets for knowledge-intensive processes, federated learning with uncertainty handling, and linguistic summarization techniques for interpretable AI. She actively explores explainability , collaborative business models , and driver behavior analysis through attention-based models. Professional Leadership: Vice-chair of IEEE Fuzzy Systems Technical Committee Organizer of IEEE World Congress on Computational Intelligence (2024)
Prof. Fausto Cavallaro is a faculty member at the Department of Economics of the University of Molise . His research focuses on sustainability, renewable energy, and multi-criteria decision-making using advanced fuzzy logic methodologies. He actively collaborates on global projects related to sustainable development and supply chain optimization. Primary institution: University of Molise Department: Economics Academic rank: Professor Research interests include: Core: Sustainability, Renewable Energy, Fuzzy Set Theory Specialized: Multi-Criteria Decision Making, Circular Economy, HyperSoft Sets Applications: Healthcare supply chain, Wind energy, Wastewater treatment Recent publication trends show interdisciplinary work combining: Fuzzy logic with sustainability frameworks Innovative methods like SPC-MARCOS and RANCOM-WISP Focus on healthcare logistics, offshore wind farms, and circular economy
Dr. Eren Kamber is a Researcher at the Department of Industrial Engineering, Rafet Kayış Faculty of Engineering, Alanya Alaaddin Keykubat University. His roles include academic teaching and research in production management, supply chain logistics, and fuzzy decision-making methodologies. He holds a PhD in Industrial Engineering from Istanbul Technical University and has conducted postdoctoral research at the same institution. Education: PhD in Industrial Engineering, Istanbul Technical University (2019) MSc in Industrial Engineering, Alanya Alaaddin Keykubat University (2017) BSc in Industrial Engineering, Istanbul Technical University (2004) Research Focus: Dr. Kamber specializes in multi-criteria decision-making frameworks, fuzzy logic applications, and Industry 4.0 integration. His work addresses sustainable agriculture systems, green logistics optimization, and supply chain resilience. Notable projects include irrigation pump prioritization models and circular economy-driven logistics park location analyses. Grants & Advising: He has led several research projects on decision-making methodologies and advised multiple collaborative studies with industry partners. His work often involves cross-disciplinary collaborations with agricultural and environmental sectors. Labs/Teams: Active in the university's Industrial Engineering Research Group, focusing on advanced decision support systems and smart manufacturing solutions.
Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention). Education: BSc Mathematics, University of Edinburgh (1997) MSc Mathematical Logic, University of Manchester (1998) PhD Computer Science, University of Manchester (2003) Research Interests: His research spans theoretical computer science and cybersecurity , focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation , concurrency theory , and type theory . He applies these foundations to information security , particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification , simulation tools (e.g., Gnosis), and game-theoretic models . Publications Trends: Recent publications (2016–2022) emphasize human-centred security , exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling , layered graph logics , and trust domains , bridging high-level policy and low-level system configurations. Projects & Grants: SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance. ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility. Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing. Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation. PhD Supervision: He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively. Labs & Teams: His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.
Assoc. Prof. Dr. Adem YOLCU is an active faculty member at Kafkas University's Faculty of Arts and Sciences, Department of Mathematics, specializing in advanced topological structures with applications in decision-making systems. Holding a PhD in Mathematics from Kafkas University (2020), he has established himself as a leading researcher in fuzzy topology and soft set theory. PhD in Mathematics (2020), Kafkas University Master's in Mathematics (2016), Kafkas University Bachelor's in Mathematics (2014), Kafkas University His research focuses on the intersection of topology, fuzzy logic, and decision theory, particularly exploring neutrosophic soft sets, hypersoft topological spaces, and their applications in multi-criteria decision-making problems. His work bridges theoretical mathematics with practical computational applications in risk assessment and building safety analysis. Recent publications demonstrate a consistent trajectory in developing novel frameworks for fuzzy parameterized systems, with 15+ articles published between 2019-2024 in SCI/ESCI-indexed journals. His work shows particular strength in extending classical topological concepts to neutrosophic and Pythagorean fuzzy environments. As an academic advisor, he has supervised Master's research including Büşra Aka's thesis on neutrosophic soft multisets. His collaborative network spans international researchers including Taha Yasin Öztürk (60+ joint publications), Florentin Smarandache, and Sadık Bayramov. His research group focuses on computational topology applications, with particular emphasis on developing mathematical frameworks for uncertainty handling in decision support systems. Current projects include hypersoft set applications in sustainable security systems and Fermatean fuzzy topological structures.
Prof. Dr. Kumru Didem Atalay is a distinguished academic at Başkent University, specializing in Industrial Engineering . With a PhD in Statistics from Ankara University (2007), she has made significant contributions to Operations Research , Fuzzy Logic , and Decision Support Systems . Her work bridges statistical analysis with real-world applications in healthcare logistics, pandemic response, and manufacturing optimization. Education: PhD (2007), MS (2000), BS (1998) in Statistics from Ankara University Current Role: Professor in Industrial Engineering at Başkent University Her research focuses on stochastic processes , fuzzy modeling , and healthcare operations , particularly in pandemic-era service quality and microchannel manufacturing. She has developed innovative methods for project scheduling , risk analysis , and multi-criteria decision-making . Recent publications examine Covid-19's impact on education quality and fuzzy linear programming for project scheduling . She applies intuitionistic fuzzy models to optimize manufacturing systems and hesitant fuzzy regression for pandemic death count estimation. Scientific recognition includes a Runner-up Prize at the 15th ICMSEM (2021) and a Bronze Medal at ISIF21 (1970). She supervises advanced research on topics like multi-trip home healthcare routing and fuzzy quality function deployment .
Dr. Adel Aazami is an Assistant Professor at the Institute of Transport Economics and Logistics at Vienna University of Economics and Business (WU Vienna) since 2023. His academic journey began with a B.Sc. in Industrial Engineering from University of Tehran (2010-2014), followed by an M.Sc. (2014-2016) and Ph.D. (2016-2021) from Iran University of Science and Technology (IUST), Tehran. Prior to his current position, he worked as a Postdoctoral Researcher at Sharif University of Technology (2021-2022) and was a Visiting Researcher at the University of Toronto (2020). His educational background includes: Ph.D. in Industrial Engineering (2016-2021) - Iran University of Science and Technology (IUST), Tehran, Iran M.Sc. in Industrial Engineering (2014-2016) - Iran University of Science and Technology (IUST), Tehran, Iran B.Sc. in Industrial Engineering (2010-2014) - University of Tehran, Tehran, Iran Dr. Aazami's research spans multiple interconnected domains within operations research and supply chain management. His primary focus areas include Operations Research and Optimization, Supply Chain and Logistics, Production and Distribution/Transportation Planning, Competition and Game Theory, Stochastic Programming, and Decomposition Algorithms. His work demonstrates a strong emphasis on developing mathematical models and optimization algorithms for complex supply chain problems, particularly those involving perishable goods, competitive environments, and sustainability considerations. He has made significant contributions to integrating environmental factors into traditional logistics problems and developing robust optimization approaches for supply chain networks. Analysis of Dr. Aazami's publication record reveals a consistent trajectory of increasingly sophisticated research in supply chain optimization. His work shows a clear progression from foundational mathematical optimization techniques to increasingly complex integrated problems involving multiple stakeholders, uncertainty, and environmental considerations. A notable trend is his focus on perishable products within supply chains, developing models that account for limited product lifetimes while optimizing across multiple echelons of the supply chain. More recently, his research has expanded to incorporate green logistics considerations, developing algorithms that balance economic and environmental objectives in transportation and distribution problems. His notable scientific achievements include: Winner of the 'Best Student' award among nationwide students evaluated by the Iranian Ministry of Science (2020) Winner of the Iranian Nobel Prize (known as the Alborz National Foundation Prize) (2019) Winner of the Best Student Award at IUST (2018) Winner of the Top Researcher Award at IUST (2018) Annual Awards of the National Elites Foundation Iran (2015-2020) Dr. Aazami has extensive teaching experience across multiple Iranian universities including Tehran University, Amirkabir Technical University, Isfahan University, Yazd University, Zanjan University, Damghan University, Abrar University and Iran Technical University. His peer review activities include reviewing for prestigious journals such as Soft Computing, Expert Systems with Applications, and Annals of Operations Research. While specific grant information isn't detailed in the provided text, his research output suggests active engagement with complex optimization problems relevant to transportation and logistics industries. At WU Vienna, Dr. Aazami is part of the research team at the Institute of Transport Economics and Logistics, working alongside other faculty members including Prof. Kummer and Prof. Wakolbinger. His research integrates theoretical optimization methods with practical applications in transportation and logistics, contributing to the institute's focus on sustainable and efficient supply chain solutions.
Kazushige Terui is an Associate Professor at the Research Institute for Mathematical Sciences (RIMS), Kyoto University. His research focuses on mathematical logic and its applications to computer science, particularly proof theory, computational complexity, and nonclassical logics. He investigates proof normalization complexity, algebraic reformulations of proof-theoretic techniques, and logical foundations of computation. Terui maintains an active research group at RIMS and teaches courses including Mathematical Logic and Computer Science Fundamentals. Research Interests: Terui's work spans: Proof-theoretic aspects of nonclassical logics (linear logic, substructural logics) Computational complexity of proof normalization in lambda calculus Algebraic reformulation of logical techniques (cut-elimination, interpolation) Denotational semantics approaches to complexity characterization Effective proof discovery methods based on programming language theory Publications: His recent articles primarily explore proof theory, computational complexity, and logical foundations, with frequent focus on lambda calculus, linear logic, and type systems. Works frequently bridge theoretical computer science and mathematical logic. Education & Outreach: Authored the book Can Computers Become Mathematicians? (2015) for general audiences and maintains extensive lecture materials on mathematical logic and computer science foundations.
Assoc. Prof. Dr. Umut Asan is an active faculty member in the Department of Industrial Engineering at Istanbul Technical University (ITU), Faculty of Management. He holds the academic rank of Associate Professor and has been affiliated with ITU since 1999, progressing from Research Assistant to his current role. He earned his PhD from Technische Universität Berlin and holds a Master’s and Bachelor’s from ITU in Engineering Management and Industrial Engineering, respectively. PhD: Technische Universität Berlin (2003–2009) MSc: Istanbul Technical University, Engineering Management (1999–2001) BSc: Istanbul Technical University, Industrial Engineering (1995–1999) Dr. Asan's research lies at the intersection of decision science and industrial systems, with a strong emphasis on Multi-Criteria Decision Making (MCDM) , Fuzzy Cognitive Mapping , Scenario Planning , and Digital Twins . His work applies advanced modeling techniques such as Bayesian networks and fuzzy logic to solve complex problems in supply chain resilience, urban mobility, technology adoption, and organizational behavior. His recent publications (2023–2025) reveal a consistent trend toward integrating artificial intelligence and data-driven methods into decision support systems. Topics include electric vehicle adoption in urban logistics, digital twin frameworks for manufacturing, risk analysis in forestry and rail systems, and consumer behavior in digital platforms. These works demonstrate interdisciplinary applications across engineering, business, and social sciences, often using fuzzy and probabilistic models to handle uncertainty. Dr. Asan is actively involved in research leadership, having served as Vice Dean (2018–2023) and currently supervising numerous graduate theses. He is the principal investigator of funded projects, including BAP grants on qualitative cross-impact analysis and consumer cognitive models. Principal Investigator, "A New Approach to Qualitative Cross-Impact Analysis" (BAP Project, 2016–2020) Principal Investigator, "A New Approach to Consumer Causal Chain Models" (BAP Project, 2022–2024) He is a member of several international academic societies, including the International Society on MCDM, ENBIS, and EURO, reflecting his active engagement in the global operations research community. His research has been published in journals such as IEEE Access, European Journal of Forest Engineering, and Decision Science Letters, with a growing citation impact (Scopus h-index: 13). Dr. Asan advises a large cohort of graduate students, both at the Master’s and PhD levels, in areas ranging from risk modeling to digital transformation. His lab or research group focuses on decision support systems and cognitive modeling, supervising theses on FMEA, Bayesian networks, and digital twins. Future work appears to be directed toward enhancing predictive capabilities in industrial and societal systems through hybrid AI models.
