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

• German Linguistics
• Syntax
• Formal Grammar
• +۳ مورد دیگر

Prof. Stefan Müller is a Professor at the Institute for German Language and Linguistics , part of the Faculty of Languages and Literature at Humboldt University. His research focuses on syntax, formal grammar theories (especially Head-Driven Phrase Structure Grammar), and computational linguistics. He leads the CoreGram Project , developing cross-linguistic grammars using HPSG formalisms. His work includes analyses of German syntax, constituent order, anaphoric binding, and register phenomena. He is also involved in open-access publishing initiatives through Language Science Press . Contact: St.Mueller@hu-berlin.de . Education and academic background details are not explicitly stated in the provided text, but his professional trajectory indicates deep expertise in theoretical linguistics. His research spans multiple languages including German, Mandarin, and Persian, with a focus on grammar implementation and syntax-semantics interfaces. Key contributions include the Head-Driven Phrase Structure Grammar Handbook (2024), analyses of headless nominal structures in German (2022), and exploration of large language models' theoretical implications (2024). He actively engages in interdisciplinary projects bridging formal grammar and computational methods.

Fabian Suchanekمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Bases
• Natural Language Processing
• +۳ مورد دیگر

Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.

Jonathan David Bobaljikمشاهده پروفایل

استاد

• Linguistics
• Morphosyntax
• Phonology
• +۱۳ مورد دیگر

Jonathan David Bobaljik is a leading linguist whose research spans formal syntax, phonology, and the documentation of endangered languages, particularly Itelmen. He is actively involved in multiple international research collaborations and regularly presents at major linguistic conferences across Europe and North America. His work is published in top journals such as Natural Language and Linguistic Theory and Language . His research interests lie at the intersection of theoretical and descriptive linguistics. He investigates universal patterns in morphology and syntax, including suppletion, vowel harmony, ergativity, and control structures, often using data from understudied languages like Itelmen. His work combines rigorous formal analysis with deep empirical grounding in language documentation. The recent publications reflect a strong trend toward integrating typological diversity with formal theory. Key areas include morphosyntactic universals (e.g., suppletion in pronouns), information structure in verb-final languages, and the phonology of ejective consonants. There is also a growing emphasis on sociolinguistic and community-based aspects, as seen in collaborative work on language revitalization and the social life of the Itelmen language. He has received recognition through numerous scholarly publications and invited talks, though specific awards are not listed in the provided text. His collaborative projects suggest active grant involvement, particularly in language documentation and cross-linguistic typology. Bobaljik plays a central role in the Itelmen documentation and revitalization project, contributing to the creation of a dictionary app, the publication of historical manuscripts, and public exhibits on Siberian Indigenous knowledge. He collaborates with a team including David Koester, Chikako Ono, Tatiana Degai, and Maria Pupynina.

Ronald J. Colomboمشاهده پروفایل

استاد

• Corporate Law
• Securities Regulation
• Financial Regulation
• +۷ مورد دیگر

Ronald J. Colombo is Professor of Law and Associate Dean for Distance Education at Hofstra University's Maurice A. Deane School of Law. He teaches courses in Business Organizations, Securities Regulation, Contracts, and corporate law seminars. He has been on the faculty since 2006 and previously served as Associate Dean for Academic Affairs (2013–2015). Education: JD, New York University School of Law (magna cum laude, Order of the Coif), 1998 BS, Cornell University, 1994 Clerkship: Judge Jerry E. Smith, U.S. Court of Appeals for the Fifth Circuit Professor Colombo’s research focuses on corporate law, securities regulation, financial regulation, and the constitutional rights of corporations, especially First Amendment protections. His work explores the moral and philosophical underpinnings of corporate personhood, religious liberty in business, and the role of trust in financial systems. He is particularly known for bridging legal doctrine with ethical and theological perspectives. His recent scholarly publications reveal a strong thematic trend: the intersection of religion, corporate governance, and constitutional law. He has also contributed to legal education, especially in online teaching methodologies, and continues to publish on financial regulation and corporate ethics. Scientific Awards: Stessin Prize for Outstanding Scholarly Publication Lawrence A. Stessin Prize for Outstanding Scholarly Publication (2008) Professor Colombo has been actively involved in professional service, including serving on the editorial review board of the Review of Business and as an arbitrator for the Financial Industry Regulatory Authority (FINRA). He has not listed any formal research grants or PhD students, but his influence extends through media engagement—quoted in The New York Times , Wall Street Journal , and Bloomberg —and through his widely read op-eds in The Financial Times and Huffington Post . He has held leadership roles in academic administration and is a recognized expert in both practitioner and scholarly legal communities. His treatise Law of Corporate Officers and Directors is republished annually by Thomson Reuters, indicating sustained scholarly and practical impact.

• Reconfigurable Computing
• Field-Programmable Gate Arrays (FPGA)
• High-Level Synthesis
• +۳ مورد دیگر

Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.

Jelle Hellingsمشاهده پروفایل

استادیار

• Resilient Systems
• High-Performance Data Management
• Database Theory
• +۱۰ مورد دیگر

Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.

Aleksander Kubicaمشاهده پروفایل

استادیار

• Quantum Information Science
• Quantum Error Correction
• Fault Tolerance
• +۳ مورد دیگر

Aleksander Kubica is an Assistant Professor of Applied Physics at Yale University, specializing in quantum information science with a focus on quantum error correction and fault tolerance. His research bridges quantum many-body physics and topological codes, particularly exploring applications in superconducting circuits and quantum architectures. He holds a Ph.D. from the California Institute of Technology and a B.S. from the University of Warsaw. Dr. Kubica's work addresses foundational challenges in scalable quantum computing, including optimizing error correction protocols, developing fault-tolerant architectures, and analyzing the intersection of quantum metrology with error mitigation. Recent contributions include advancements in erasure qubits, correlated noise decoding, and topological code adaptations. His research often involves interdisciplinary approaches, combining theoretical physics with algorithm design and hardware-efficient solutions. Key themes in his publications include improving error correction thresholds, designing low-overhead quantum architectures, and exploring novel decoding strategies for topological codes. While no specific awards are listed, his active research trajectory and contributions to quantum computing indicate significant scholarly engagement in the field.

Cezary Kaliszykمشاهده پروفایل

استاد

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +۷ مورد دیگر

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

Marcus Mietznerمشاهده پروفایل

دانشیار

• Indonesian Politics
• Democratization
• Electoral Politics in Southeast Asia
• +۳ مورد دیگر

Associate Professor Marcus Mietzner specializes in the politics of Indonesia, focusing on democratization, electoral systems, and the role of the military. He holds a PhD from the Australian National University (ANU) and an MA from Goethe University Frankfurt. His research explores Indonesian political parties, campaign financing, and the presidency in democratic Indonesia. Mietzner has authored over 95 publications and led projects such as the Indonesia Project Phase V and SEARBO (Supporting the Rules-Based Order in Southeast Asia). His work analyzes Indonesia’s political dynamics, including Jokowi’s majoritarianism, elite collusion, and democratic decline. Notable articles discuss Indonesia’s 2024 elections, autocratisation limits, and military oversight crises. Mietzner has contributed to understanding Indonesia’s post-authoritarian trajectory, emphasizing institutional resilience and elite competition. Research supervision focuses on Southeast Asian electoral politics and political parties. His projects address governance challenges, constitutional reforms, and civil society’s role in resisting democratic erosion. Mietzner’s interdisciplinary approach combines historical analysis with contemporary political developments, positioning him as a leading scholar on Indonesia’s political landscape.

Sebastian Rudolphمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Description Logics
• +۷ مورد دیگر

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.

Immanuel Trummerمشاهده پروفایل

استاد

• Database Systems
• Query Optimization
• Large Language Models
• +۳ مورد دیگر

Immanuel Trummer is a Professor of Computer Science at Cornell University, specializing in database systems, query optimization, and applications of large language models (LLMs) and quantum computing. He leads research projects such as DB-BERT, UDO, and SkinnerDB, focusing on automated database tuning, adaptive query processing, and leveraging LLMs for code synthesis and system optimization. His research interests span quantum computing for database optimization, cost-efficient LLM utilization, and voice-based data exploration. Key contributions include developing systems like CEDAR for claim verification, CodexDB for LLM-driven code generation, and ThalamusDB for multimodal data querying. Trummer has received prestigious awards, including the NSF CAREER Award (2023-2028) and the Best Demonstration Award at BDA 2020. His work has been funded by NSF, Google, Huawei, and others, supporting projects like quantum-index selection and misinformation detection. He advises graduate students in database systems and teaches advanced courses such as CS 6320 (Advanced Database Systems) and CS 7390 (Seminar in Database Systems). His research lab hosts open-source tools like JoinGym and maintains extensive collaborations in industry and academia.

Hector Geffnerمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Automated Planning
• +۵ مورد دیگر

Hector Geffner is an Alexander von Humboldt Professor at RWTH Aachen University, leading the Chair of Machine Learning and Reasoning. He specializes in automated planning, machine learning, and reasoning, with a focus on representation learning for acting and planning. His work bridges symbolic and model-based AI, emphasizing general policies and subgoal decomposition. Education & Background : PhD from UCLA (1989), prior roles at IBM Watson Research Center and Universidad Simón Bolívar. Former ICREA researcher and professor at Universitat Pompeu Fabra (2001–2022). Research Interests : Classical and probabilistic planning, reinforcement learning, knowledge representation, and applications in robotics. His ERC-funded RLeap project explores learning generalized policies and symbolic representations for effective decision-making. Teaching : Courses include 'Actions and Planning in AI' and 'Social and Technological Change', emphasizing interdisciplinary AI applications. Awards & Recognition : Alexander von Humboldt Professorship (2023), AAAI/EurAI Fellowships, and editor of influential works on Judea Pearl’s contributions to AI. Grants & Projects : Advanced ERC grant (2020–2025), Humboldt Foundation support, and RWTH funding for research on planning and reasoning. Labs & Teams : Heads the Chair of Machine Learning and Reasoning at RWTH, focusing on interdisciplinary research in AI, robotics, and planning algorithms.

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

استاد

• Inverse Problems
• Applied Mathematics
• Mathematical Modelling
• +۱۵ مورد دیگر

Prof. Dr. Martin Burger is a leading scientist at DESY and a Full Professor in the Department of Mathematics at Universität Hamburg, where he leads the Computational Imaging Group. His research bridges applied mathematics, imaging sciences, and machine learning, with a focus on inverse problems, mathematical modeling, and partial differential equations. He has held professorial positions at Universität Münster and FAU Erlangen-Nürnberg prior to his current dual appointment. Full Professor, Universität Hamburg (2023–present) Leading Scientist, DESY, Hamburg (2023–present) Full Professor, FAU Erlangen-Nürnberg (2018–2023) Full Professor, Universität Münster (2006–2018) His research interests include inverse problems, variational regularization, optimal transport, kinetic models, and mathematical modeling in biology and social sciences. He has made significant contributions to imaging reconstruction, sparse neural networks, and the analysis of transformer architectures. His work often integrates theoretical analysis with computational methods, influencing both pure and applied mathematics. The most recent articles reflect a strong trend toward interdisciplinary applications, combining deep learning with PDE-based modeling, analyzing social and biological systems via kinetic and mean-field models, and advancing mathematical imaging through graph-based and optimal transport methods. His publications span high-impact venues in applied mathematics and computational science. Calderon Prize, Inverse Problems International Association (IPIA) ERC Consolidator Grant (2014) Invited speaker at ECM (2021), ICM (2022), and ICIAM (2023) Editor-in-Chief, European Journal of Applied Mathematics (since 2017) Prof. Burger has supervised numerous PhD students and postdoctoral researchers, many of whom appear as co-authors in his publications. His research is supported by major grants, including funding from the German Federal Ministry of Education and Research (BMBF). He is actively involved in collaborative projects across mathematics, physics, and engineering disciplines. He leads the Computational Imaging Group at DESY, fostering a collaborative environment for developing novel mathematical tools in imaging science. The group works on both theoretical foundations and practical implementations, contributing to advancements in tomography, machine learning, and data analysis.

Cesla Amarelleمشاهده پروفایل

استاد

• Migration Law
• Human Rights
• Constitutional Law
• +۵ مورد دیگر

Cesla Amarelle serves as Full Professor and Chairholder of Public Law and Migration Law at the University of Neuchâtel's Faculty of Law. Her academic leadership extends to co-directing the Swiss Center for Migration Law (CDM) and contributing to national research initiatives including the National Center of Competence in Research (NCCR) 'On the Move'. She concurrently holds significant public appointments as Chair of the Institute of European Law at the University of Fribourg and Federal Commissioner for Women's Issues, with recent expert designation to the Federal Round Table on signature collection integrity for 2024. Her academic foundation includes a law degree from the University of Lausanne (1996), LL.M. in European and International Economic Law from the University of Fribourg, and doctoral thesis from the University of Lausanne (2004). Her career progression at the University of Neuchâtel spans assistant professor (2009-2014), extraordinary professor (2015-2016), and full professor positions since 2016, complemented by earlier research roles at Swiss National Science Foundation and University of Fribourg. Professor Amarelle's research centers on migration law frameworks, human rights protections in asylum systems, and constitutional dimensions of European integration. Her work critically examines the intersection of migration governance with digital technologies, climate change impacts, and gender equality. Current projects analyze temporary protection regimes, non-refoulement principles in technological contexts, and the evolving relationship between Swiss migration law and European legal frameworks. Her scholarship consistently bridges theoretical legal analysis with practical policy implementation challenges. Her extensive publication record demonstrates evolving focus from foundational migration law codification toward contemporary challenges including digital discrimination, child rights in emergency contexts, and sustainable finance frameworks. Recent scholarship reflects increasing engagement with technological impacts on migration governance and the humanitarian dimensions of temporary protection systems, while maintaining rigorous analysis of constitutional and European law interfaces. Professor Amarelle actively contributes to academic and public discourse through leadership in the Swiss Center for Migration Law and participation in the NCCR 'On the Move' consortium. Her public service includes significant political roles as Vaud State Councilor for Education (2017-2022) and National Councilor (2011-2017), where she chaired key committees on political institutions and finance while representing Swiss higher education interests nationally. She maintains active engagement with professional associations including the Swiss Conference of Higher Education Institutions and Conference of Directors of Public Education.

Sergio Carreraمشاهده پروفایل

استاد مدعو

• EU Migration Policy
• Asylum Policy
• Citizenship Policy
• +۸ مورد دیگر

Sergio Carrera serves as Senior Research Fellow and Head of the Justice and Home Affairs Unit at the Centre for European Policy Studies (CEPS), a prominent Brussels-based think tank. Additionally, he holds the position of Adjunct Professor at the Paris School of International Affairs (PSIA) in SciencesPo, France, where he contributes to academic teaching and research in international affairs. Dr. Carrera's academic background includes a Ph.D. on immigration and citizenship from Maastricht University (The Netherlands), an LL.M. in European, Comparative and International Law from the University of Maastricht, and a Law Degree from Universidad de Salamanca in Spain. His extensive educational foundation in European and international law underpins his expertise in EU justice and home affairs policy. His primary research interests focus on EU justice and home affairs (JHA) law and the Area of Freedom, Security and Justice policy, with particular emphasis on migration, asylum, citizenship, and Schengen policies. Dr. Carrera's expertise also extends to EU criminal justice law and police cooperation, examining their impacts on data protection, privacy, and the rights of the defense. His work consistently addresses the intersection between security measures and fundamental rights within the European context. Dr. Carrera has produced an extensive body of scholarly work, with over 190 published publications according to the available information. His recent research has particularly focused on EU-US data transfers, rule of law challenges in the context of migration management, global asylum governance, and the evolving landscape of EU security policy. His publications demonstrate a consistent concern with ensuring that security and migration policies uphold fundamental rights and the rule of law. Among his notable contributions are policy analyses on the European Green Deal's implications for climate policy, assessments of the EU's response to the Ukraine crisis, and examinations of the impact of the Trump administration on EU security policy. His research often bridges academic analysis with practical policy recommendations for EU institutions. Dr. Carrera leads and participates in numerous research projects addressing critical issues in EU policy. Current initiatives include "Reclaiming our past, rebuilding our future: new approaches to fighting antigypsyism" (2024-2026) and the "Study on Mapping Civil Dialogue Practices in the EU Institutions" (2024-2025). Previous significant projects include "Global Asylum Governance and European Union's Role" (ASILE, 2019-2023), "Pan-European Response to the ImpactS of COVID-19" (PERISCOPE, 2020-2023), and "IT tools and methods for managing migration FLOWS" (ITFLOWS, 2020-2023). His work has been commissioned by various EU institutions, including the European Parliament's Policy Department for Citizens' Rights and Constitutional Affairs, demonstrating the policy relevance and impact of his research. Dr. Carrera's expertise is frequently sought for task forces addressing timely issues such as EU-US data transfers, digital justice, and cross-border cooperation in criminal matters.