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

Lutz Schröderمشاهده پروفایل

استاد

• Formal Methods
• Logic in Computer Science
• Knowledge Representation
• +۵ مورد دیگر

Lutz Schröder is a Professor and head of the Chair of Computer Science 8 (Theoretical Computer Science) at the Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He is actively involved in research and leadership within formal methods and logic in computer science. His research interests include Formal Methods , Logic in Computer Science , Knowledge Representation , and Coalgebraic Logic . His work emphasizes theoretical foundations of programming semantics, modal and fixpoint logics, and automated reasoning, often employing category-theoretic and coalgebraic frameworks. His recent publications span top conferences such as LICS, POPL, CSL, and CONCUR, focusing on graded semantics, behavioral metrics, nominal automata, and generic model checking. These works exhibit a strong trend toward unifying logical systems and developing modular, coalgebraic tools for verification. EATCS Best Paper Award at ETAPS 2006 Best Theory Paper at FM 2019 He advises several researchers, including Paul Wild, Jonas Forster, and Daniel Hausmann, many of whom are frequent co-authors. He leads DFG projects such as CoMoC (Coalgebraic Model Checking), SpeQT (Spectra of Behavioural Distances), and is a principal investigator in the DFG Research Training Group 2475 on Cybercrime and Forensic Computing. He has been a PC member or co-chair for major conferences including LICS, IJCAI, FoSSaCS, and STACS, and co-chaired IFIP WG 1.3 from 2016–2022. He is also involved in the development of reasoning tools like COOL and COOL-MC.

Pawel Sobocinskiمشاهده پروفایل

استاد

• Applied Category Theory
• Compositional Systems
• Theoretical Computer Science
• +۱۰ مورد دیگر

Paweł Sobociński is a Professor of Trustworthy Software Technologies at the Department of Software Science, School of Information Technologies, Tallinn University of Technology (TalTech), where he also leads the Laboratory for Compositional Systems and Methods. He is a principal investigator in several major research projects including the Estonian Research Council’s PRG1210 (ALICE), the EU-funded CHESS cybersecurity hub, and the EXAI Centre of Excellence in AI. His academic background includes faculty positions at the University of Southampton and research roles at the University of Cambridge and institutions in France and Italy. His research lies at the intersection of computer science and mathematics, with a focus on applied category theory. He investigates compositional modeling of systems, where the behavior of complex systems emerges from the structured interaction of their components. His work employs string diagrams, process algebras, Petri nets, and categorical semantics to develop formal methods for verifying and reasoning about concurrent and cyber-physical systems. He is particularly known for his contributions to graphical linear algebra and diagrammatic reasoning. The recent publications highlight a strong trend in diagrammatic methods, especially string diagrams, for expressing logic, algebra, and system behavior. These works span from foundational categorical structures to applications in electrical circuits, concurrency, and formal verification, demonstrating a unifying thread of compositional reasoning. His leadership in organizing conferences like LICS 2024 and ICALP 2024 underscores his central role in the theoretical computer science community. His scientific recognition includes numerous invited talks and tutorials at major international venues such as CONCUR, QPL, MFPS, and ETAPS, as well as leadership roles in academic organizations. He is an Associate Editor for journals including Compositionality , Mathematical Structures in Computer Science , and Logical Methods in Computer Science , and has served on the steering committee of ETAPS. Sobociński has supervised multiple PhD students and postdoctoral researchers, including Owen Stephens, Fabio Zanasi, Mario Román, and Elena di Lavore. He is also the director of the PhD programme in ICT at TalTech and has received research grants from the Estonian Research Council, the European Commission, and the Estonian Ministry of Education and Research, supporting his work in trustworthy software, AI, and cybersecurity. He leads the Laboratory for Compositional Systems and Methods at TalTech, a research group focused on developing and applying compositional techniques in software science, with applications in AI, security, and formal verification. The lab fosters international collaboration and is active in organizing workshops and summer schools.

• Modeling and Verification of Reactive Systems
• Quantitative Analysis of Stochastic Systems
• Probabilistic Model Checking
• +۸ مورد دیگر

Christel Baier is a full Professor and head of the Chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science, Technische Universität Dresden, a position she has held since 2006. She previously served as an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006. She is currently the dean of the Faculty of Computer Science at TU Dresden (2025–2027), having been vice-dean from 2019 to 2024. She holds a Diploma in Mathematics (1990), a Ph.D. in Computer Science (1994), and a Habilitation (1999), all from the University of Mannheim. In 2022, she was awarded an honorary doctorate from RWTH Aachen. Her research centers on formal methods in computer science, with a strong emphasis on modeling, specification, and verification of reactive and stochastic systems. She is a leading expert in probabilistic model checking, temporal and modal logics, automata over infinite structures, game theory, and the verification of infinite-state systems. Her work bridges theoretical foundations with practical applications in system reliability and correctness. The recent publications and edited volumes reflect a consistent focus on formal verification, logic in computer science, and tools for system analysis. Her editorial leadership in major venues such as LICS, TACAS, and FoSSaCS underscores her influence in shaping the research agenda in theoretical computer science and formal methods. Jean-Claude Laprie Award in Dependable Computing (2023) Honorary doctorate from RWTH Aachen (2022) Member of Academia Europaea (since 2011) Editor-in-Chief of Acta Informatica (2015–2022) Steering Committee Member of LICS, FoSSaCS, FORTE, and FSEN Extensive service on program committees of top-tier conferences including CAV, CONCUR, and ICALP Christel Baier has advised numerous PhD and master’s students (though not explicitly listed), and has led major research projects funded by DFG, EU, and DAAD. She has organized pivotal events such as CONCUR'06, TACAS'15, and LICS'22. She is actively involved in academic governance, serving on the senate of TU Dresden (2015–2020), as ombudsperson for the Department of Computer Science, and on the Scientific Advisory Board of Schloss Dagstuhl. Her leadership in the German Excellence Initiative and DFG Research Training Groups highlights her role in shaping national research agendas.

• Logic in computer science
• linear dynamical systems
• automated verification
• +۳ مورد دیگر

James Worrell is a Professor of Computer Science at the University of Oxford , with a focus on logic in computer science , linear dynamical systems , and automated verification . He is also a Fellow of Green Templeton College. His research spans theoretical computer science and formal methods , including work on metric temporal logic , probabilistic semantics , and category theory . His publications address decision problems , verification of linear dynamical systems , and automata theory . James has received the EPSRC Established-Career Fellowship for his work in linear dynamical systems verification . His recent papers include polynomial invariants , polyhedral escape problems , and skolem problem solutions . He has advised students such as Mehran Hosseini , Pascale Gourdeau , and Ventsislav Chonev , and teaches courses like Computational Learning Theory and Logic and Proof . His work appears in venues like ICALP , LICS , and SODA .

• Approximation Algorithms
• Probabilistically Checkable Proofs
• Hardness of Approximation
• +۳ مورد دیگر

Amey Bhangale is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, Riverside. Prior to this, he held positions as a post-doctoral fellow at the Weizmann Institute of Science under Irit Dinur and a research fellowship at the Simons Institute. His research focuses on Approximation Algorithms , Probabilistically Checkable Proofs , Hardness of Approximation , and Analysis of Boolean Functions . Research Trends His recent work explores inapproximability bounds for constraint satisfaction problems, parallel repetition theorems, and additive combinatorics in finite fields. Notable collaborations include Subhash Khot, Dor Minzer, and Yang P. Liu. Teaching CS219: Advanced Algorithms (2025) CS141: Intermediate Data Structures and Algorithms (2024) CS218: Design and Analysis of Algorithms (2023) CS215: Theory of Computations (2021-2023)

• Artificial Intelligence
• Machine Learning
• Automotive Production
• +۸ مورد دیگر

Prof. Dr. Alexander Schiendorfer is a faculty member at Technische Hochschule Ingolstadt within the Faculty of Industrial Engineering , focusing on AI-based Optimization in Automotive Production . His research bridges Artificial Intelligence with manufacturing and industrial engineering , particularly in constraint programming, self-organizing systems, and machine learning applications for composite materials. His work spans pedagogical innovation in machine learning education, real-time manufacturing analytics , and AI for energy systems . Recent publications highlight applications in gas grid management, synthetic data frameworks, and defect analysis in autonomous driving sensors. He leads teams at AImotion Bavaria , collaborating on projects like SmartManPy for synthetic manufacturing data and MORL agents for multi-objective energy optimization. His methodological contributions include certainty groups for neural network confidence estimation and hierarchical resource allocation algorithms.

Stefan Borgwardtمشاهده پروفایل

پژوهشگر

• Knowledge Representation
• Description Logics
• Automated Reasoning
• +۸ مورد دیگر

Stefan Borgwardt is a Researcher and Teaching Associate at the Chair of Automata Theory, Faculty of Computer Science, Technische Universität Dresden, working under Prof. Franz Baader. He leads key research projects such as Practical Planning with Ontologies (PPO) and contributes to the Center for Perspicuous Computing (CPEC), funded by DFG and SNF. His work bridges theoretical logic and practical AI systems. Research Interests: Knowledge Representation and Reasoning Description Logics and Ontology-Mediated Query Answering Explainable AI and Proof Visualization (Evee/ Evonne systems) Temporal, Fuzzy, and Probabilistic Logics Automated Planning with Ontologies Logic-Guided Natural Language Generation His recent publications (2021–2025) show a strong trend toward explainability in logical reasoning, with a focus on modular, interactive, and user-friendly proof systems. He investigates reasoning complexity in expressive description logics and develops practical tools for ontology explanation and planning. His work often combines symbolic AI with real-world applications such as sensor data interpretation and autonomous systems. Scientific Awards: Harold Boley Distinguished Paper Award (RuleML+RR'23) Best Paper Award (RuleML+RR'22, JELIA'19, AI'15) Quality Champion for ECAI'23 reviewing Commerzbank Award for PhD thesis (2014) Distinguished Student Paper Awards (DL'14, DL'13) N. J. Lehmann Award (2011) Stefan Borgwardt actively advises and collaborates with students and early-career researchers on projects involving explanation, planning, and reasoning. He has secured competitive funding through DFG and SNF grants and plays a leadership role in the KR community as PC co-chair, senior PC member, and steering committee member for major conferences like DL, KR, and JELIA. He is also a reviewer for top-tier journals including Artificial Intelligence and Journal of the ACM . Labs and Teams: He is a core member of the Chair of Automata Theory at TU Dresden and contributes to the Center for Perspicuous Computing (CPEC), where he works on projects A3 (Description Logic Explications) and E2 (Safe Handover in Mixed-Initiative Control) in collaboration with Vera Demberg and Antonio Krüger.

• Cognitive Robotics
• Domestic Service Robotics
• Human-Machine Interaction
• +۹ مورد دیگر

Stefan Schiffer is a postdoctoral research associate at RWTH Aachen University in the Department of Society, Technology, and Human Factors at the Human Technology Center (HumTec), and also serves as research coordinator at the Mobile Autonomous Systems and Cognitive Robotics Institute (MASCOR) at FH Aachen University of Applied Sciences. He previously held a postdoctoral position at the Knowledge-based Systems Group (KBSG) at RWTH Aachen University. Ph.D. (Dr. rer. nat.) in Computer Science, RWTH Aachen University, 2014 Diploma (Dipl.-Inform., M.Sc. equivalent) in Computer Science, RWTH Aachen University, 2005 Specialization: Artificial Intelligence, minor in Medicine Stefan Schiffer's research focuses on cognitive robotics, domestic service robotics, and human-machine interaction, with a strong emphasis on embodied artificial intelligence and AI in computer games. His work integrates knowledge representation, automated planning, and fuzzy logic to enable robust and adaptive robot behaviors in real-world environments. He has made significant contributions to natural language processing in robotics and gesture recognition for human-robot collaboration. His recent publications (2023) span diverse applications of AI, including anomaly detection in manufacturing, demand forecasting, AI-based skill development, and human-robot collaboration in composite production. These works reflect a trend toward practical, industry-integrated AI systems that support human workers and optimize industrial processes. Best Paper Award Nominee, BIOIMAGING 2018 Best Poster Award, LingUnite 2013 Best Student Paper Award, ICAART 2012 Best Student Paper Award, RoboCup 2008 Symposium World Champion, RoboCup 2007 and 2006 Winner, RoboCup German Open 2008 and 2007 2nd Place, RoboCup 2008 3rd Place, Sun Software Price 2001 Stefan Schiffer has supervised numerous student theses in areas such as knowledge-based activity representation, AI for arcade games, object recognition, plan recognition, and multi-modal tracking. He has been actively involved in academic service, serving on the program committees of major AI conferences including AAAI, IJCAI, ECAI, and ICAART. He has taught a wide range of courses in artificial intelligence, robotics, and knowledge representation, and has coordinated master's programs in Software Systems Engineering and Computational Social Systems. He leads research efforts in the Angry Birds AI Competition as Team Akbaba and has been instrumental in the RoboCup@Home league as both team leader and league chair. He is affiliated with several research initiatives, including MASCOR at FH Aachen, and has contributed to projects involving autonomous mining vehicles, AI in textile and metal industries, and smart factory setups based on RoboCup Logistics League. His work bridges academic research and industrial application, emphasizing human-centered AI and robotics.

Jens Claßenمشاهده پروفایل

دانشیار

• Knowledge Representation and Reasoning
• Artificial Intelligence
• Reasoning about Action and Change
• +۷ مورد دیگر

Jens Claßen is an Associate Professor in the Department of People and Technology at Roskilde University, Denmark, where he is a member of the Programming, Logic and Intelligent Systems research group. His academic career includes prior positions as Assistant Professor at the same institution, postdoctoral researcher at Simon Fraser University, and Ph.D. candidate and teaching assistant at RWTH Aachen University. His research lies in Knowledge Representation and Reasoning, a core area of Artificial Intelligence, with a focus on symbolic approaches to agent cognition. Key interests include reasoning about action and change, beliefs, planning, agent program verification, synthesis, and machine ethics. He applies formal logic and automated reasoning techniques to model intelligent behavior in dynamic environments. The recent publications highlight a strong trend in formal methods for agent systems, particularly in first-order logic frameworks, linear temporal logic synthesis, and progression in action theories. His work bridges theoretical AI with practical verification and synthesis techniques for intelligent agents. Scientific Awards: No awards listed in the provided text. Jens Claßen has served as a sessional instructor and visiting lecturer at Simon Fraser University and FH Aachen University of Applied Sciences, teaching courses in artificial intelligence and knowledge representation. He has advised students at various levels, though specific names are not listed. His research is supported through institutional affiliations and active participation in major AI conferences like AAAI. He has contributed to open-source tools such as a PDDL parser, belief projection system, and GOLOG verification framework, indicating engagement in both theoretical and implementational aspects of AI. He leads and contributes to research in the Programming, Logic and Intelligent Systems group at Roskilde University, focusing on foundational aspects of intelligent agents. His open-source projects suggest active involvement in tools that support reasoning and planning research, fostering reproducibility and collaboration in the AI community.

In Young Minمشاهده پروفایل

مدرس

• International Relations
• Security Studies
• East Asian Politics
• +۳ مورد دیگر

In Young Min is a Lecturer in Korean studies at the Centre for East Asian Studies, Heidelberg University. He holds a B.A. and M.A. in Political Science from Yonsei University (South Korea), and a Ph.D. in Political Science and International Relations from the University of Southern California. His research focuses on international relations and security in East Asia, particularly the dynamics of power asymmetry and smaller states' agency in shaping these dynamics, with a regional focus on Korea. Recent work examines historical and contemporary issues surrounding the Korean Peninsula, including nuclear policy and unification treaties. His interdisciplinary contributions span political theory and historical analysis. Education History: B.A. and M.A. in Political Science, Yonsei University, South Korea Ph.D. in Political Science and International Relations, University of Southern California Research Interests: Power asymmetry dynamics in international relations Ontological security and identity in hierarchical systems Korean Peninsula security and unification South Korea's nuclear policy and non-proliferation challenges Publications Trends: His work bridges historical and contemporary analyses, with contributions to journals like the International Relations of the Asia-Pacific and Journal of Asian Security and International Affairs . Earlier technical articles in mathematics and computational methods reflect interdisciplinary engagement, though recent focus is on political science and international relations.

• Digital Competencies in Education
• Teacher Training (Pre-service/In-service)
• Mathematics Education with Digital Media
• +۳ مورد دیگر

Frederik Grave-Gierlinger is a Researcher at Humboldt University of Berlin's Department of Education Studies within the Faculty of Humanities and Social Sciences. He is part of the Primary Mathematics Education research group led by Prof. Katja Eilerts. His work focuses on digital competencies of primary school teachers, in-service and pre-service teacher training, and innovative pedagogical uses of digital media in mathematics education. He co-founded the math.media.lab initiative exploring makerspaces in educational contexts. Research interests span the intersection of technology and education, with particular emphasis on: Educational technology integration in primary mathematics Teacher professional development in digital media Philosophical investigations into color concepts and Wittgenstein's later philosophy His publications (2014-2021) demonstrate dual expertise in: - Empirical studies on teacher training methodologies - Philosophical analysis of color and conceptual formation - Digital media's role in mathematics education Current affiliations include: Team member in Prof. Katja Eilerts' research group Adjunct researcher in Wittgenstein studies Operates the math.media.lab initiative which explores: - Makerspaces for mathematics learning - Digital fabrication in education - Interdisciplinary STEM pedagogy

Steve Awodeyمشاهده پروفایل

استاد

• Category Theory
• Homotopy Type Theory
• Modal Logic
• +۴ مورد دیگر

Steve Awodey is a Professor in the Department of Philosophy at Carnegie Mellon University, holding the Dean's Chair in Logic. He serves as an external member of the Munich Center for Mathematical Philosophy (MCMP) at Ludwig Maximilian University (LMU), spending several months annually in Munich. His research spans Category Theory, Logic, and Foundations of Mathematics, with groundbreaking work in Homotopy Type Theory (HoTT) and the Univalent Foundations Program. Education: University of Marburg (Philosophy, Mathematics), University of Chicago (Graduate degrees). Awodey's research interests include: Homotopy Type Theory and its applications to logic Modal Logic and topological interpretations Algebraic Set Theory Philosophy of Mathematics Formalization of mathematical structures via category theory His recent publications focus on HoTT, model categories, and categorical logic. Key awards include the Dean's Chair in Logic and editorship of Rudolf Carnap's Collected Works. He has advised numerous PhD students across Philosophy, Mathematics, and Computer Science, shaping research in synthetic homotopy theory and type theory. Awodey's work bridges abstract mathematics with philosophical inquiry, emphasizing structuralism and invariance in mathematical foundations.

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 .

Nikil Mukerjiمشاهده پروفایل

پژوهشگر

• Ethics
• Applied Ethics
• Theoretical Ethics
• +۷ مورد دیگر

Nikil Mukerji is a researcher at the Faculty of Philosophy, Philosophy of Science and Religious Studies at Ludwig-Maximilians-Universität München (LMU Munich). He completed his PhD in 2016 and Habilitation in philosophy in 2021, alongside a B.A. in business administration and a PostGradDip in economics. His interdisciplinary academic profile bridges philosophy and economics, with a strong focus on empirical approaches to philosophical questions. Dr. Mukerji's research interests span applied and theoretical ethics, epistemology, philosophy of science, and pseudoscience studies. His work often examines the intersection of moral philosophy with practical real-world issues, including business ethics, political philosophy, and the social implications of emerging technologies. He is particularly known for his critical analysis of consequentialism, bullshit theory, and the demarcation problem between science and pseudoscience. His recent publications demonstrate a consistent focus on philosophical methodology and conceptual clarity, with significant contributions in 2024 on epistemic rationality, 2022 papers on pseudoscience and argumentative bullshit, and his influential 2016 book The Case Against Consequentialism Reconsidered . His work shows a clear trajectory from foundational ethical theory toward more applied concerns in science communication and public discourse. Dr. Mukerji is an active science communicator for GWUP (Gesellschaft zur wissenschaftlichen Untersuchung von Parawissenschaften), the German arm of the international skeptic movement, and serves on the scientific counsel of the Hans-Albert Institute. His 2020 monograph Covid-19: Was in der Krise zählt was the first German book specifically addressing the philosophical dimensions of the pandemic. As academic director of the Philosophie Politik Wirtschaft (PPW) executive degree program, he bridges academic philosophy with practical applications in policy and business contexts. His dual background in philosophy and economics informs his unique perspective on how ethical frameworks interact with economic systems and decision-making processes.

• Answer Set Programming
• Logic Programming
• Artificial Intelligence
• +۵ مورد دیگر

Carmine Dodaro is an active researcher in Answer Set Programming (ASP) at the University of Calabria's Department of Mathematics and Computer Science. With over 130 publications from 2011-2025, his work bridges theoretical advances in logic programming with practical healthcare applications. His primary research interests include: Answer Set Programming theory and implementation Compiler techniques for ASP solvers Healthcare scheduling optimization (operating rooms, nurse staffing, chemotherapy) Integration of ASP with other AI paradigms Real-world constraint satisfaction problems Dodaro's recent work demonstrates exceptional focus on healthcare applications of ASP, with multiple 2023-2024 publications addressing nurse scheduling, operating room management, rehabilitation planning, and nuclear medicine scheduling. His approach typically involves developing specialized ASP encodings that handle complex real-world constraints while maintaining computational efficiency. He maintains a highly productive collaboration network, particularly with Marco Maratea (52 co-authored papers), Mario Alviano (40), and Giuseppe Galatà (23), forming one of Italy's leading ASP research groups. His publications appear consistently in top venues including Theory and Practice of Logic Programming, IJCAI, AAAI, and specialized logic programming conferences. Dodaro has contributed significantly to both theoretical foundations (unsatisfiable core analysis, paracoherent reasoning) and practical implementations (WASP solver extensions, CNL2ASP translation tools). His 2024-2025 publications indicate ongoing research momentum with no signs of reduced activity.