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

• Market Design
• Mechanism Design
• Game Theory
• +۴ مورد دیگر

Marek Pycia serves as Professor of Organizational Economics at the University of Zurich and Co-Director of the Zurich Center for Market Design. His research has driven tangible policy impacts including the U.S. kidney-transplant voucher program and school system redesigns, with publications in premier journals like American Economic Review and Econometrica . His academic foundation includes a Ph.D. in Economics from the Massachusetts Institute of Technology (MIT), complemented by prior faculty roles at UCLA, Pennsylvania State University, and Leon Koźmiński Academy of Entrepreneurship and Management, plus a visiting fellowship at Princeton University. Professor Pycia specializes in Market Design and Mechanism Design , where he bridges theoretical microeconomics with real-world applications in healthcare allocation and educational systems. His work emphasizes strategyproofness , simplicity , and efficiency in matching markets, influencing both academic frameworks and practical policy implementations globally. Recent publications (2024-2025) reveal a concentrated focus on simplifying mechanism design for discrete environments, advancing double auction theory, and optimizing information structures in trade. These works consistently apply game-theoretic principles to solve complex allocation problems across healthcare, education, and financial markets. Key recognition includes: Research Fellow at the Centre for Economic Policy Research (CEPR) Editorial board membership at Theoretical Economics , Journal of Economic Theory , and Games and Economic Behavior While specific grant details remain unmentioned, his editorial leadership and center directorship indicate active research funding. He supervises graduate work through the University of Zurich’s economics programs, though no named students appear in the source text. The Zurich Center for Market Design, which he co-directs, functions as an interdisciplinary hub connecting theoretical research with practitioners in healthcare, education, and public policy to implement novel market mechanisms.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.

Christopher Morrisمشاهده پروفایل

استادیار

• Machine Learning
• Graph Neural Networks
• Computer Science Theory
• +۳ مورد دیگر

Christopher Morris is a tenure-track Assistant Professor at RWTH Aachen University and a DFG Emmy Noether fellow. He leads the Learning on Graphs (LoG) research group, focusing on machine learning methods for structured data, particularly graph neural networks. His work bridges machine learning, computer science theory, and discrete mathematics, addressing challenges in generalization, expressivity, and algorithmic efficiency. Education: PhD in Computer Science from TU Dortmund University (advised by Petra Mutzel and Kristian Kersting), postdoctoral research at Mila - Quebec AI Institute (Siamak Ravanbakhsh) and McGill University, and Polytechnique Montréal (Andrea Lodi). Research interests emphasize graph machine learning, including generalization theory, combinatorial optimization, and scalable graph embeddings. Notable contributions include analyzing Weisfeiler-Leman algorithms' impact on GNNs' expressivity and generalization (VC dimension connections). Awards: DFG Emmy Noether Fellowship. Supervises six PhD students in Aachen. Active in teaching, offering courses on graph-based machine learning foundations and applications since 2022. Labs/Teams: LoG group at RWTH Aachen, collaborating with institutions like Mila and Polytechnique Montréal. Erdős number 3 through Petra Mutzel’s collaboration network.

• Recommender Systems
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.

Zeynep Akataمشاهده پروفایل

استاد

• Multimodal Learning
• Explainable Artificial Intelligence
• Zero-Shot Learning
• +۲ مورد دیگر

Zeynep Akata is the Liesel Beckmann Distinguished Professor of Computer Science at the Technical University of Munich (TUM) and Director of the Institute for Explainable Machine Learning at Helmholtz Munich. Previously she was a W3 Professor at the University of Tübingen (2019-2023) and held faculty and post-doctoral positions at the University of Amsterdam, UC Berkeley and the Max Planck Institute for Informatics. Her research focuses on multimodal learning and explainable artificial intelligence . Education: PhD, University of Grenoble / INRIA Rhône-Alpes, 2014 MSc, RWTH Aachen University, 2010 BSc, Trakya University, Turkey, 2008 Research Interests: Professor Akata’s group develops algorithms that learn from vision, language and other modalities simultaneously, with a strong emphasis on zero-shot, few-shot and continual learning . A central theme is making decisions interpretable, leading to work on explainable AI, concept bottleneck models, multimodal reasoning and human-aligned representation learning . Recent projects investigate large-scale multimodal language models, dataset distillation, model merging and continual knowledge editing. Publication Trends: Her 2024-2025 publications reveal a shift toward foundational large-scale models (diffusion, LLMs, vision-language transformers) while retaining the core themes of interpretability and generalization under limited supervision . Topics span dataset distillation, model merging, continual learning, fairness auditing of generative models and novel evaluation protocols for zero-shot learning systems. Scientific Awards: Lise-Meitner Award for Excellent Women in Computer Science (2014) Young Scientist Honour, Werner-von-Siemens-Ring Foundation (2019) ERC Starting Grant, European Commission (2019) DAGM German Pattern Recognition Award (2021) ECVA Young Researcher Award (2022) Alfried Krupp Award (2023) Advising & Funding: Prof. Akata currently supervises or co-supervises 25+ PhD students across TUM and the University of Tübingen via ELLIS and IMPRS-IS doctoral programs. She holds major grants including an ERC Starting Grant and DARPA Explainable AI funding, and is a frequent program chair and area chair for premier conferences (CVPR 2024, ECCV 2026, NeurIPS, ICML, etc.). Labs & Teams: She leads the Institute for Explainable Machine Learning at Helmholtz Munich and heads the Multimodal Learning and Explainable AI group at TUM. The institute collaborates closely with the ELLIS Institute Tübingen and Cyber Valley ecosystem, and maintains close ties with the Max Planck Institute for Intelligent Systems and Informatics.

• Energy Systems Optimization
• Conceptual Process Design
• Life Cycle Assessment
• +۸ مورد دیگر

Prof. Dr. André Bardow is a Full Professor in Energy and Process Systems Engineering at ETH Zurich , leading research at the intersection of thermodynamics, machine learning, and sustainable energy systems. Previously, he held professorships at RWTH Aachen University (2010-2020) and TU Delft (2007-2010). He also served as part-time director at Forschungszentrum Jülich (2017-2022) and visiting professor at UC Santa Barbara (2015/16). His work focuses on energy systems optimization , computer-aided molecular design , and CO2 capture & utilization . PhD from RWTH Aachen University Current ETH Zurich affiliation Former roles at RWTH Aachen, TU Delft, Jülich Research Center His research integrates machine learning with thermodynamic modeling to optimize processes like crystallization and electrochemical cooling . Recent publications demonstrate advancements in solvent design, CO2 transport LCA, and ORC working fluid optimization. He chairs the VDI Technical Committee for Thermodynamics (2016-2024) and has received multiple awards including the Covestro Science Award and Arnold-Eucken-Award . Current projects address carbon circular economies , electrified chemical production , and AI-driven process optimization . His lab at ETH Zurich develops cutting-edge technologies like ML-CAMPD frameworks for sustainable separation processes and photoacid-based CO2 capture systems. Funding from the H2020 Systemic Expansion of Circular Ecosystems (grant 101036854) supports these initiatives. 2024 Clarivate Highly Cited Researcher 2022 Inaugural Lecture: "To sustainability and beyond: A computer-animated story on energy & chemicals" Recipient of multiple teaching and research excellence awards

• Lithium-Ion Battery Production
• Energy Storage Systems
• Production Engineering
• +۳ مورد دیگر

Prof. Dr.-Ing. Rüdiger Daub serves as Professor and Chair of Production Engineering and Energy Storage Systems at the Technical University of Munich (TUM), operating within the Department of Mechanical Engineering. His leadership encompasses research direction, academic supervision, and strategic development of battery production technologies at TUM's Garching campus (Boltzmannstr. 15), with active industry collaborations driving innovation in sustainable manufacturing. Daub's research program pioneers advanced production methodologies for lithium-ion and solid-state batteries, focusing on electrode manufacturing, electrolyte filling, and cell assembly processes. His work investigates critical parameter interdependencies affecting battery safety and performance, developing inline monitoring systems and digital twin technologies for real-time process optimization. Key contributions include moisture control in electrode production, electrochemo-mechanical characterization of solid-state systems, and robotics solutions for deformable object assembly, all integrated with machine learning for quality assurance in industrial settings. Analysis of his 2023-2025 publications reveals a dominant research trajectory toward solving production bottlenecks in next-generation energy storage. The work demonstrates increasing integration of computational modeling with empirical validation, particularly in solid-state battery manufacturing and high-voltage electrolyte systems. A notable trend is the cross-pollination of robotics, computer vision, and uncertainty quantification techniques to address complex assembly challenges and distribution shifts in quality monitoring, reflecting industry's urgent need for adaptable, data-driven production systems. Leading TUM's specialized laboratories for battery cell production, Daub's team maintains comprehensive facilities for electrode calendering, electrolyte filling, and cell assembly with integrated tracking and tracing capabilities. The research infrastructure supports collaborative projects with automotive OEMs and battery manufacturers to develop scalable production processes, emphasizing environmental sustainability through water-based electrode production and footprint optimization. Current initiatives focus on digital factory modeling and prelithiation technologies for next-generation battery systems.

Marco Platznerمشاهده پروفایل

استاد

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +۷ مورد دیگر

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.

Volker Ahrensمشاهده پروفایل

استاد

• Systems Engineering
• Production Management
• Lean Production
• +۵ مورد دیگر

Volker Ahrens is a Professor of Production Management at NORDAKADEMIE since 2007. He also serves as Head of the Industrial Engineering (B.Sc.) program and the International Business & Administration (B.Eng.) program, while acting as Coordinator of the Department of Engineering. His career spans academic and industrial roles, including leadership positions in medium-sized industrial companies and editorial work on VDI standards. Education: Diplom-Ingenieur in Mechanical Engineering (1989, Universität Hannover); Doktor-Ingenieur (1997, Universität Hannover) Industrial Experience: 10 years of executive management in industry, including König Metall GmbH & Co. KG and Wilhelm Schröder GmbH His research focuses on Systems Engineering and Production Management, with emphasis on lean production, quality management, and Industry 4.0. His publications since 2025 explore systemic approaches to socio-technical systems, cardboard engineering for collaborative design, and human-technology interaction in production environments. He has contributed extensively to process modeling, simulation of production systems, and meta-process frameworks like PDCA cycles. The 15 most recent articles highlight trends in systemic production design, lean manufacturing, and Industry 4.0 applications. Key keywords include Systems Engineering, Production Management, Lean Production, and Quality Management. Subfields span socio-technical systems, simulation techniques, human-centered design, and cyber-physical system integration across industrial contexts. Volker Ahrens is actively involved in teaching, serving as a lecturer at Hochschule Karlsruhe (1998–2013) and Fachhochschule Vorarlberg (since 2017). He contributes to academic governance as a member of the NORDAKADEMIE faculty and chairs VDI committees on simulation standards for production systems. His advisory roles include peer reviewing for quality assurance agencies like FIBAA and ZEvA.

Philipp Heretschمشاهده پروفایل

استاد

• Natural Product Synthesis
• Organic Chemistry
• Terpene Synthesis
• +۸ مورد دیگر

Prof. Dr. Philipp Heretsch is a Professor and Executive Director at the Institute of Organic Chemistry, Faculty of Natural Sciences, Leibniz University Hannover. He leads the Natural Product Synthesis research group and holds key roles in academic governance, including Deputy Coordinator for Exchange Programmes and representation on various examination and curriculum boards. Research Interests: His research focuses on the synthesis of complex natural products, particularly terpenes and alkaloids, using biosynthesis-inspired strategies. He develops novel carbon–carbon bond manipulation techniques and rearrangement cascades. A significant emphasis is placed on the biological activity of synthesized compounds. He also pioneers the development of continuous flow reactor systems for the selective transformation of sensitive and short-lived chemical species. Publication Trends: His recent publications (2020–2025) demonstrate a strong focus on biogenesis-inspired total synthesis of highly complex natural products (e.g., canataxpropellane, swinhoeisterol), the application of radical-polar crossover and rearrangement strategies, and the innovative use of flow chemistry for scalable and efficient synthesis of both natural products and functional molecules like odorants and ferrocenyl compounds. Scientific Awards: ADUC Prize of the GDCh (2018) DECHEMA Young Scientist Prize for Natural Product Research (2020) ORCHEM Prize for Young Scientists of the Liebig Association for Organic Chemistry of the GDCh Advising and Grants: While specific students are not listed, he leads an active research group. His work is supported by significant external funding, including an ERC Consolidator Grant for the project "RadCrossSyn" and support from the DFG Heisenberg Program, which facilitated his move to Leibniz University Hannover in 2021. Labs and Teams: He heads the Natural Product Synthesis research group at the Institute of Organic Chemistry, Leibniz University Hannover. His research group, often referred to as the "Heretsch group," is dedicated to developing novel synthetic methodologies and applying them to the synthesis of biologically relevant natural products.

• Embedded Machine Learning
• High-Performance Computing
• Computer Architecture
• +۶ مورد دیگر

Holger Fröning is a full professor at Heidelberg University’s Institute of Computer Engineering (ZITI), where he leads the Hardware and Artificial Intelligence (HAWAII) Lab. His research focuses on embedded machine learning , high-performance computing , and hardware-software co-design , with emphasis on resource efficiency, power optimization, and emerging architectures like analog , photonic , and resistive memory systems. He has held leadership roles including Managing Director of ZITI (2023–present) and Dean of Studies for Computer Science (2019–2022) , and has collaborated with institutions such as NVIDIA Research, Chinese Academy of Sciences, and Graz University of Technology. Research Trends : His recent publications explore Bayesian neural networks , green machine learning , analog computing noise mitigation , and GPU/FPGA optimization . Articles highlight photonic computing for AI , memory-efficient training , and hardware-aware DNN compression . Scientific Awards : 2025 HiPEAC Paper Award (Nature Computational Science) 2014 Google Faculty Research Award Multiple Best Paper Awards (IPDPS, ICPP, ECML-PKDD workshops) Leadership & Service : Organized workshops (WEML, ITEM, F4HD), chaired tracks at EuroPar and ISC, and served on program committees for ICPR, ECAI, and FPL. Education & Affiliations : PhD and MSc from University of Mannheim (2007/2001). Sponsors include DFG, FWF, FFG, NVIDIA, SAP, and XILINX.

Lars Rohwedderمشاهده پروفایل

دانشیار

• Algorithms
• Approximation Algorithms
• Online Algorithms
• +۳ مورد دیگر

Lars Rohwedder is an Associate Professor in the Algorithms Group at the University of Southern Denmark (SDU) in Odense. He previously held positions as an Assistant Professor at Maastricht University (Netherlands) and postdoc researcher at EPFL, Lausanne (Switzerland). He earned his Ph.D. in Computer Science from CAU Kiel (Germany), advised by Klaus Jansen, and is a recipient of the 2019 PhD of the year award from Förderverein der TF of Kiel University. His research focuses on algorithms for combinatorial optimization, including approximation algorithms, online algorithms, parameterized algorithms, and integer programming. He has contributed to solving scheduling problems, resource allocation, and optimization under uncertainty. Rohwedder has served on program committees for conferences like MAPSP, SODA, STACS, and ICALP. He is funded by NWO's Open Competition M1 project on quasi-polynomial time algorithms. His teaching includes courses on advanced algorithms, operations management, and optimization at SDU and Maastricht University. Key achievements include a quasi-polynomial approximation for the restricted assignment problem, FPT algorithms for scheduling, and contributions to the Submodular Santa Claus problem. His work bridges theoretical foundations and practical applications, with a focus on algorithmic efficiency and robustness.

Mirko Hornungمشاهده پروفایل

استاد

• Aircraft Design
• Aviation Technology
• Aerospace Engineering
• +۳ مورد دیگر

Prof. Dr. Mirko Hornung is a Professor of Aircraft Design at the TUM School of Engineering and Design, Technische Universität München. His research focuses on conceptual aircraft design, integration of propulsion systems, and evaluation of aviation technologies in operational contexts. Education and Career: PhD in Aeronautical Engineering from the University of the Bundeswehr (2003), awarded a research prize for work on reusable space transport systems. 2003–2009: Worked at Airbus Group (EADS) on military air systems, propulsion integration, and program management. Executive Director of Research & Technology at Bauhaus Luftfahrt, a think tank for long-term aviation developments. Research Interests: Aircraft design optimization, including hybrid energy systems, electric propulsion, and UAV technologies. Environmental sustainability in aviation, such as hydrogen-powered aircraft and lifecycle assessment. Aerodynamic and structural analysis, including flutter suppression and composite materials. Key Publications Highlight Trends: Focus on hybrid-electric and hydrogen propulsion for reducing environmental impact. Advancements in UAV design, including morphing wings and autonomous systems. Integration of AI-driven tools for propulsion optimization and lifecycle analysis. Scientific Awards: EADS Promotion Award (1995) Research Prize for Thesis on Reusable Space Transport Systems (2003) Advising & Grants: Directs research at Bauhaus Luftfahrt, collaborating on future aviation concepts. Engaged in interdisciplinary projects like FLEXOP UAV demonstrator and Ce-Liner eMobility studies. Labs/Teams: Active in the Aircraft Design Professorship at TUM and leadership roles at Bauhaus Luftfahrt, focusing on next-generation aviation technologies.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +۳ مورد دیگر

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.