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

Yevgeny Kazakovمشاهده پروفایل

پژوهشگر ارشد

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

Dr. Yevgeny Kazakov is a Research Fellow at the University of Ulm's Institute of Artificial Intelligence. His work focuses on knowledge representation, automated reasoning, and ontology engineering, particularly in Description Logics and OWL. He has contributed to systems like ELK and ConDOR, emphasizing algorithm optimization and practical reasoning solutions. Education: No formal education details explicitly mentioned in the text. Research Interests: Kazakov's research centers on reasoning support for Description Logics, ontology languages (e.g., OWL), and modular integration of ontologies. He explores theoretical properties and practical implementations, including consequence-based reasoning, modularity, and algorithmic efficiency. His work also addresses challenges like SPARQL query optimization over OWL ontologies and incremental reasoning. Professional Activities: Kazakov has held roles such as General Co-chair of the Description Logic Workshop (2013), Guest Editor of the JAIR special track on Description Logics, and PC member for conferences like KR, IJCAI, and ECAI. He has reviewed for top journals and conferences, contributing to the field's academic rigor. Teaching: Recent courses include Cognitive Systems 2, Explainable AI, and Knowledge-Based AI at the University of Ulm. He also supervises projects in automated reasoning. Grants & Projects: Led the DFG-funded 'Live Ontologies' project (2012–2017). Co-investigated EPSRC-funded projects like ConDOR (2009–2011) and REOL (2005–2008). These projects focused on ontology reasoning systems and modular integration. Students: Advised Trung-Kien Tran (since 2012, with Birte Glimm) and František Simančík (2009–2013, with Ian Horrocks). Labs/Teams: Active in the Institute of Artificial Intelligence, collaborating on systems like ELK and ConDOR. His research group develops tools for efficient ontology reasoning and knowledge representation.

Angel Changمشاهده پروفایل

پژوهشگر ارشد

• Computer Vision
• Machine Learning
• 3D Scene Understanding
• +۳ مورد دیگر

Angel Chang is a Hans Fischer Fellow at the Technical University of Munich (TUM), hosted by Prof. Matthias Nießner in the Visual Computing Focus Group. She holds affiliations with Simon Fraser University and Eloquent Labs. Her research bridges natural language processing with 3D scene understanding, focusing on grounding textual descriptions to 3D data through innovations like ScanNet and ShapeNet. Key contributions include dense captioning, object localization in RGB-D scans, and unified vision-language models. Her work addresses challenges in 3D scene reconstruction, CAD model alignment, and interactive environments. Notable projects include SAPIEN for simulated part-based interactions and PartNet, a benchmark for hierarchical 3D object understanding. Chang's research aims to advance AI systems that interpret and generate complex 3D environments using multimodal data. Publications span top venues like CVPR and ACM Transactions on Graphics, demonstrating impact in computer vision, robotics, and machine learning. She collaborates across institutions to develop datasets and frameworks that drive progress in digital scene modeling and human-AI collaboration.

• Fuzzy Logic
• Computational Logic
• Artificial Intelligence
• +۳ مورد دیگر

Dr. Marco Cerami is a former Visiting Scientist at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. His primary affiliation was with the Research Group Automata Theory , focusing on theoretical and applied aspects of computational logic. Cerami's research interests center on fuzzy logic systems, knowledge representation, and computational complexity in artificial intelligence contexts. His work often intersects with formal methods and automated reasoning frameworks. During his tenure, he contributed to foundational studies on subsumption in fuzzy description logics and the complexity of many-valued logics. Notable outputs include analyses of Fuzzy EL and Horn logic systems. No academic awards are explicitly documented in the provided texts. He collaborated closely with institutions like the Chair for Automata Theory and Institute for Theoretical Computer Science at TU Dresden.

Jutta Wieseمشاهده پروفایل

پژوهشگر

• Marine Microbial Biodiversity
• Biocatalysts and Biotechnology
• Antibiotic Resistance in Marine Bacteria
• +۶ مورد دیگر

Jutta Wiese is a Researcher at GEOMAR - Helmholtz Centre for Ocean Research Kiel , affiliated with the Research Division 3: Marine Ecology and the Marine Symbioses research unit. Her work focuses on the microbial biodiversity , systematics , and biotechnological applications of marine bacteria and fungi, particularly in antibiotic resistance , bioactive natural products , and microbial interactions within complex marine communities like sponges and algae. PhD in Biology (1996-2001) from Georg-August-University Göttingen Diploma in Biology (1984-1991) from Johannes Gutenberg University Mainz and Eberhard-Karls University Tübingen Her research spans marine symbioses , genomic analyses of novel bacterial species, and bioprospecting for compounds with pharmaceutical or environmental applications. Recent publications highlight discoveries in Actinospongicola halichondriae and Maribacter halichondriae , emphasizing sponge-microbe relationships and adaptive evolution. She has contributed to patents involving antitumoral cyclodepsipeptides and antibacterial benzanthracenes . Her work often involves collaborations with institutions like IFM-GEOMAR and integrates genomic, biochemical, and ecological approaches to study marine microbial systems.

Erich Grädelمشاهده پروفایل

استاد

• Logic in Computer Science
• Algorithmic Model Theory
• Finite Model Theory
• +۷ مورد دیگر

Prof. Dr. Erich Grädel is a full professor in the Mathematical Foundations of Informatik group at RWTH Aachen University, where he conducts research at the intersection of logic, computer science, and mathematics. His work lies in the Department of Mathematics, Computer Science and Natural Sciences, focusing on logic and theoretical computer science. Institution: RWTH Aachen University Department: Mathematical Foundations of Informatik Research Focus: Logic in Computer Science, Algorithmic Model Theory, Semiring Semantics, Dependence Logic His primary research interests include logic and games, algorithmic model theory, fixed-point logics, and semiring semantics for provenance analysis. He has pioneered work in logics of dependence and independence, extending classical logical frameworks to model information flow and uncertainty. His recent publications emphasize semiring-based provenance in first-order and fixed-point logic, Büchi games, and team semantics, often in collaboration with Val Tannen and Matthias Naaf. The trend in his recent articles (2021–2025) reveals a deep and sustained investigation into the algebraic and semantic foundations of logic, particularly through semiring semantics. His work applies logical methods to database theory, verification, and game theory, focusing on how information and strategies can be tracked and analyzed via algebraic structures. Topics include provenance in infinite structures, locality theorems, zero-one laws, and logical characterizations of computational phenomena. Erich Grädel has held significant editorial responsibilities in the logic community: Editor, Logical Methods in Computer Science (since 2004) Editor, Mathematical Logic Quarterly (since 2012) Editorial Board Member (Corner Editor for Logic and Games), Journal of Logic and Computation (since 2007) Editor, Journal of Symbolic Logic (2008–2013) He chaired the European GAMES Research-Training Network (2002–2013) and has co-edited five books, including Lectures in Game Theory for Computer Scientists (Cambridge University Press, 2011). He has advised numerous PhD students, including Faried Abu Zaid, Łukasz Kaiser, and Wied Pakusa. His research group has included long-term collaborators and former members such as Dietmar Berwanger, Martin Otto, and Richard Wilke. He has received no explicitly listed scientific awards in the provided text, but his sustained editorial roles and leadership in major research networks indicate high recognition in the field. His research group, associated with the Mathematical Foundations of Informatik, has been active for decades, with current members including Sophie Brinke and former members forming a substantial list of researchers in logic and theoretical computer science. The group has contributed significantly to algorithmic model theory, automata, and logic games.

• Lepidoptera taxonomy
• Geometridae systematics
• DNA barcoding
• +۵ مورد دیگر

Dr. Axel Hausmann is a distinguished researcher at the Bavarian State Collection of Zoology (Zoologische Staatssammlung München) in Munich, Germany, where he serves as a leading expert in Lepidoptera systematics with particular specialization in Geometridae moths. His career spanning over 25 years has established him as a prominent figure in the international lepidopterological community, with extensive contributions to taxonomic research, biodiversity assessment, and the application of DNA barcoding technology to moth systematics. Dr. Hausmann's research focuses on the taxonomy and systematics of geometrid moths across diverse geographical regions including Europe, Africa, the Middle East, and various island systems. His work uniquely integrates traditional morphological analysis with cutting-edge molecular techniques, particularly DNA barcoding, to resolve complex taxonomic questions and uncover hidden biodiversity. He has pioneered integrative approaches that combine morphological, ecological, and genetic data to validate species boundaries and accelerate biodiversity documentation. Analysis of Dr. Hausmann's extensive publication record (over 300 publications) reveals consistent contributions to major taxonomic revisions, species descriptions, and methodological advancements in lepidopteran research. His recent work demonstrates a strong emphasis on applying DNA barcoding to large-scale biodiversity assessment projects, with particular focus on European and African geometrid faunas. He has been instrumental in developing frameworks for using molecular data in taxonomic practice while maintaining rigorous morphological standards. Dr. Hausmann has served as editor for multiple volumes of 'The Geometrid Moths of Europe' series and has organized the annual Forum Herbulot meetings since 2001, which have become a cornerstone for international collaboration among geometrid researchers. He has led major initiatives including the 'Barcoding Fauna Bavarica' project and the 'Geometridae Mundi' global database, significantly advancing our capacity to document and understand insect biodiversity through integrative approaches. His leadership extends to international collaborations with institutions across Europe, Africa, Australia, and the Americas, reflecting his central role in the global lepidopterological community. Dr. Hausmann's work has established important methodological standards for combining traditional and molecular approaches in taxonomy, influencing how biodiversity is documented and conserved worldwide.

Geert Keilمشاهده پروفایل

استاد

• Philosophical Anthropology
• Free Will and Determinism
• Naturalism
• +۶ مورد دیگر

Geert Keil is a Professor of Philosophical Anthropology at the Humboldt University of Berlin , where he has held a faculty position since 2005. He served as Dean of the Faculty of Philosophy (2022-2024) and President of the Society for Analytic Philosophy (2018-2022). His research spans free will , naturalism , causation , and vagueness in law and psychiatry , with a focus on epistemology and philosophy of mind . Studied philosophy, literature, linguistics, and education at the University of Bochum and Hamburg Doctorate (1991) and Habilitation (1999) at Humboldt University Feodor Lynen Fellow (1998-1999) and Heisenberg Fellow (2000-2005) Research stays at Stanford, Basel, and Trondheim Keil’s recent work examines conspiracy theories , truth in public discourse , and ethical frameworks . He has edited volumes on Aristotle’s anthropology and vagueness in psychiatry, emphasizing interdisciplinary collaboration. His scientific awards include: Feodor Lynen Fellowship (1998-1999) Heisenberg Fellowship (2000-2005) Keil advocates for clear, argumentative philosophy and critiques public intellectualism that oversimplifies complex issues. He argues against conflating truth with certainty and emphasizes epistemic humility in academic and public debates.

Martin Dillerمشاهده پروفایل

پژوهشگر

• Formal Argumentation
• AI Systems
• Probabilistic Argumentation
• +۳ مورد دیگر

Martin Diller is a Researcher at the International Center for Computational Logic (ICCL) at TU Dresden, where he has been since May 2019. He is part of the 'Logic Programming and Argumentation' group led by Sarah Gaggl. His current research focuses on formal models of argumentation and their application in AI systems, particularly within the SEMECO interdisciplinary cluster on AI-assisted regulatory workflows for medical systems and cybersecurity. Education: Holds a joint MSc in Computational Logic from TU Wien, TU Dresden, and University of Bolzano (via the EMCL program with an Erasmus Mundus scholarship). Previously completed a MA in Philosophy (Logic & Epistemology) and BSc in Computer Science at Universidad Nacional de Córdoba, Argentina, with postgraduate funding from CONICET. Also conducted research internships at University of Aberdeen, UCL, NICTA (Canberra), and others. Key Projects: Active in the Transregional Collaborative Research Center ‘Foundations of Perspicuous Software Systems’ (2019–2022), and the Center for Scalable Data Analytics and Artificial Intelligence (2023). Currently leads research in probabilistic argumentation and flexible dispute derivations for assumption-based arguments. Key Contributions: Developed the 'flexABle' system for argumentation framework analysis, contributed to admissibility criteria in probabilistic argumentation, and advanced methods for integrating natural language processing with formal argumentation systems. Grants & Funding: Involved in EU-funded interdisciplinary projects and German collaborative research initiatives. Labs/Teams: Core member of the Logic Programming and Argumentation group at ICCL, collaborating with institutions worldwide.

Marcelo Arenasمشاهده پروفایل

استاد

• Data Management
• Semantic Web
• Database Theory
• +۳ مورد دیگر

Marcelo Arenas is a Professor at the Department of Computer Science and the Institute for Mathematical and Computational Engineering at the Pontifical Catholic University of Chile. He is a Fellow of the Association for Computing Machinery (ACM), former director of the Millennium Institute for Foundational Research on Data, and co-founder of the Center for Semantic Web Research. His Ph.D. in Computer Science was obtained from the University of Toronto in 2005. Research interests include data management , applications of logic in computer science , and Semantic Web technologies. He has published extensively on topics such as SPARQL query complexity , graph database systems , and incomplete database theory , with notable works like MillenniumDB and Foundations of Data Exchange . Scientific accolades: 2016 SWSA Ten-Year Award for "Semantics and Complexity of SPARQL" IBM Ph.D. Fellowship (2004) Nine Best Paper Awards across PODS, ISWC, ICDT, ESWC, WWW, and NeurIPS His work on approximate counting algorithms (e.g., FPRAS for #NFA) and explainable AI frameworks has influenced database theory, while serving on program committees for ICDT 2015, ISWC 2015, and PODS 2018 demonstrates leadership in the field. Current projects focus on probabilistic explanations for decision trees and temporal regular path queries in knowledge graphs.

Michael Elberfeldمشاهده پروفایل

استاد

• Computer Science
• Theoretical Foundations
• Parameterized Complexity
• +۶ مورد دیگر

Prof. Dr. Michael Elberfeld is a faculty member at the Technical University of Central Hesse , affiliated with the Department of Mathematics, Natural Sciences and Computer Science . His research focuses on theoretical computer science, particularly in computational and parameterized complexity, logic in computer science, and algorithmic meta-theorems. Education : Doctorate in Theoretical Computer Science from the University of Lübeck (2012); Diploma (MSc) in Computer Science from the University of Lübeck (2007). His work explores the intersection of graph theory , logic , and space-bounded computation , with groundbreaking contributions to problems on bounded tree-width structures and order-invariant logics . He has developed logspace algorithms for graph canonization and studied succinctness tradeoffs in logical formalisms. Key publications include analyses of parameterized space complexity , algorithmic meta-theorems , and applications to bioinformatics like haplotype inference and network orientation. His research is supported by the European Commission through grants 648276 and P 28699 . He collaborates extensively with researchers such as Martin Grohe , Pascal Schweitzer , and Till Tantau , bridging theoretical logic with practical applications in staff rostering and biological network analysis .

John Higginsمشاهده پروفایل

استاد

• Mathematical modeling of pathophysiology
• Hematology
• Systems Biology
• +۷ مورد دیگر

John Higgins, MD is a Professor of Systems Biology at Harvard Medical School and a Pathologist at Massachusetts General Hospital. His work bridges clinical medicine, mathematical modeling, and systems biology to understand the dynamics of human pathophysiologic processes. Dr. Higgins leads the Higgins Lab at the Center for Systems Biology within Massachusetts General Hospital, where his team develops mathematical descriptions of complex human disease phenotypes and how they change over time. Dr. Higgins received his MD from Harvard Medical School, followed by residency training at Brigham and Women's Hospital, and fellowship training also at Brigham and Women's Hospital. His clinical expertise spans hemoglobinopathies, laboratory hematology, laboratory immunology, and thrombosis and hemostasis. Dr. Higgins' research focuses on developing mathematical models to describe the dynamics of human pathophysiologic processes across multiple time scales - from seconds to decades. His work combines medical insight, dynamical systems theory, and experimental techniques including microfluidics, video processing, flow cytometry, and large-scale analysis of medical databases. A significant portion of his research investigates blood cell dynamics in conditions like sickle cell disease, anemia, and inflammation. He has pioneered approaches to model red blood cell population dynamics, white blood cell responses, and the relationship between hemoglobin A1c and glucose levels in diabetes. Analysis of Dr. Higgins' recent publications reveals a strong focus on mathematical modeling of blood cell dynamics, particularly in sickle cell disease and other hematologic conditions. His work increasingly incorporates artificial intelligence and machine learning approaches to analyze single-cell clinical data. There's a consistent theme of translating mathematical insights into clinical applications for improved diagnosis, monitoring, and treatment of patients. His research spans basic science investigations of cell mechanics to population-level studies of hematologic parameters and their clinical implications. While specific awards aren't detailed in the available information, Dr. Higgins' research program appears to be well-funded, with the Pathology department at Mass General receiving over $19 million in annual research support. His work has been published in high-impact journals including Nature, PNAS, Science Translational Medicine, and JAMA Network Open. Dr. Higgins actively mentors students and researchers, with several graduate students, postdoctoral fellows, and clinical fellows listed in his lab. His Higgins Lab includes a diverse team of researchers working on various aspects of blood cell dynamics, mathematical modeling, and clinical applications. Current research projects focus on physiologic and pathologic population dynamics of human blood cells, rheodynamics of vaso-occlusion in sickle cell disease, patient immunologic response to blood transfusion, and other pathophysiologic processes amenable to mathematical modeling.

Hermut Löhrمشاهده پروفایل

استاد

• New Testament Studies
• Ancient Judaism
• Early Christian Prayer
• +۴ مورد دیگر

Hermut Löhr is Professor of New Testament with a focus on ancient Judaism at the Faculty of Protestant Theology, University of Bonn, a position he has held since 2017. Previously, he served as Professor of New Testament at the University of Münster (2007-2017) and University of Jena (2003-2007). He received his doctorate in theology from the University of Bonn in 1993 and completed his habilitation in New Testament at the same institution in 2001. Education: Doctorate in Theology, University of Bonn (1993) Habilitation in New Testament, University of Bonn (2001) Ordination as Pastor of the Evangelical Church in the Rhineland (2003) Studies in Protestant Theology and History at Bonn, Tübingen, Heidelberg, and Strasbourg Löhr's research focuses on the intersection of early Christianity and ancient Judaism, with particular expertise in the Epistle to the Hebrews, early Christian and Jewish prayer practices, the Apostolic Fathers (Clement, Hermas, Ignatian writings), and the emergence of Jewish-Christian morality in antiquity. His work demonstrates deep engagement with how early Christian communities navigated their relationship with Jewish traditions while developing distinct moral frameworks. He led the SNTS Seminar group 'Social History and the New Testament 1' from 2010 to 2023, reflecting his commitment to interdisciplinary approaches to New Testament studies. His recent publications reveal consistent focus on theological and ethical development of early Christianity, particularly how early Christian communities conceptualized authorship, normativity, and religious identity. Löhr frequently bridges theological inquiry with historical analysis, examining topics ranging from the prohibition of killing across ancient cultures to the economic dimensions of early Christian communities. His scholarship combines textual analysis with social-historical investigation to illuminate the complex relationship between emerging Christianity and its Jewish context. Löhr serves as co-editor for significant academic series including EbJC (Brill/Schöningh), FRLANT (Brill/Vandenhoeck & Ruprecht), and ÖTK (Penguin/Random House), contributing substantially to scholarly discourse in New Testament studies. His academic leadership extends to mentoring doctoral students working on topics related to early Christian theology, ethics, and Jewish-Christian relations, with current dissertation projects examining divine anger in early Christianity, concepts of guilt and forgiveness in ancient Judaism, and judgment imagery in early Christian apocalyptic literature.

• Theoretical Computer Science
• Graph Algorithms
• Computational Complexity
• +۴ مورد دیگر

Frank Fuhlbrück is a Researcher at the Institute of Computer Science within the Faculty of Mathematics and Natural Sciences at Humboldt University of Berlin, actively contributing to the Algorithms and Complexity II research group. His position as a scientific collaborator places him at the forefront of theoretical computer science research in Berlin. His research centers on fundamental problems in graph theory and computational complexity, with deep expertise in the Weisfeiler-Leman algorithm for graph isomorphism testing. Key interests include parameterized complexity, graph invariants, spectral properties, and combinatorial methods for distinguishing graph structures. His work bridges discrete mathematics, algebra, and theoretical computer science to address foundational questions in algorithm design. Analysis of his 2020-2024 publications reveals a cohesive research trajectory focused on the expressive power of combinatorial invariants, particularly through subgraph counts and spectral hierarchies. His contributions to understanding fixing numbers, vertex individualization, and fractional packing dimensions demonstrate innovative applications of algebraic and logical frameworks to graph classification problems. As an integral member of the Algorithms and Complexity II group, he collaborates on advancing core theoretical frameworks in algorithms while maintaining connections to empirical research methodologies as evidenced by his 2022 work on R-based statistical tools.

• Quantum Computing
• Quantum Programming Languages
• Quantum Circuit Optimization
• +۳ مورد دیگر

Yanbin Chen is a researcher at the Technical University of Munich (TUM) within the Chair for Languages and Description Structures in Computer Science (Informatik 2). His research focuses on quantum computing optimizations, quantum programming languages, static analysis, ZX-calculus, and tensor networks. He collaborates with the Munich Quantum Valley (MQV) to advance quantum computing ecosystems, addressing challenges in quantum programming tools, algorithms, and hardware integration. He teaches courses such as Program Optimization, Quantum Computing at Compile Time, and Virtual Machines. His advising includes student theses on topics like quantum circuit synthesis, noise-tolerant algorithms, and quantum compiler design. Yanbin actively contributes to conferences and journals, publishing on circuit optimization frameworks, dead gate elimination, and probabilistic quantum models. Research collaborations include MQV, and he explores neutral atom-based quantum computing models. His work bridges quantum computing with high-performance computing (HPC), emphasizing practical tools and scalable solutions.

Torben Kuhlenkasperمشاهده پروفایل

استاد

• Econometrics
• Statistics
• Quantitative Methods
• +۴ مورد دیگر

Prof. Dr. Torben Kuhlenkasper is a Professor of Quantitative Methods in Economics at Pforzheim University's School of Business, leading the Quantitative Methods department. He holds a doctorate in Statistics and Econometrics from the University of Bielefeld (2011) and has extensive academic and professional experience across institutions like Goethe University Frankfurt and the Hamburg Institute of International Economics (HWWI). His research focuses on semi-parametric econometric methods applied to economic and business problems, including nonlinear economic interactions and policy analysis. Education: PhD in Statistics & Econometrics, Universität Bielefeld (2011) Diplom in Economics (2007) and Business Administration (2006), Universität Bielefeld Research Interests span Econometrics , Quantitative Methods , Regression Analysis , and Data Science . He develops advanced statistical techniques to analyze complex economic phenomena such as presidential popularity dynamics, fiscal policy impacts, and immigration patterns. His work has been published in journals like Journal of Applied Econometrics and Computers in Human Behavior . Notable Awards include teaching excellence awards from Pforzheim University (2016) and recognition for outstanding teaching in Goethe University's Master program (2013-2014). He has authored three influential textbooks on statistical methods using R. Academic Service includes editorial roles ( Review of Economics ), conference organization (Deutsche Statistische Gesellschaft), and media engagements (NDR Info Interview on presidential popularity). He also leads the interdisciplinary team at KuCADU , focusing on academic consulting and innovation in quantitative methods.