Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
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.
Hillard von Thiessen is a full Professor of Early Modern History at the Historisches Institut of Universität Rostock, where he has held the chair since Summer Semester 2013. He served as Dean of the Philosophischen Fakultät from Winter Semester 2018/19 to Summer Semester 2022 and was previously acting chair at Universität zu Köln (2007-2012) and Universität Rostock (2012-2013). Currently, he is also a Fellow at the Käte-Hamburger-Kolleg "Einheit und Vielfalt im Recht" at the University of Münster. Professor von Thiessen completed his Magister Artium in 1995 at Freiburg with a thesis on witch hunts in Freiburg (1632-1677), for which he received the Waldseemüllerpreis in 1997. He earned his doctorate in 2001 with research on Capuchin friars as a reform order between confessionalization and everyday culture. In 2007, he completed his habilitation at the University of Bern with a study on cross-border patronage and diplomacy between Spain and the Papal States during Pope Paul V's pontificate (1605-1621). His research focuses on European Early Modern History, particularly international relations, norm competition, corruption and patronage cultures in the pre-modern era, religiosity, and the political culture of Habsburg Spain. His work often employs actor-centered perspectives to examine how individuals navigated complex normative frameworks during the Early Modern period. Recent publications demonstrate his interest in ambiguity as a historical phenomenon and how societies managed competing values and norms. His scholarly output reveals a consistent trajectory examining power structures, diplomatic networks, and cultural frameworks in Early Modern Europe, with particular attention to the intersection of religious, political, and social norms. The publications show increasing sophistication in analyzing how ambiguity functioned as a productive force rather than merely a problem to be solved in Early Modern governance and social relations. Waldseemüllerpreis der Universität Freiburg (1997) Professor von Thiessen has supervised numerous doctoral candidates through his habilitation and professorial positions, though specific student names aren't listed in the available documentation. His research has been supported by prestigious grants including the Gerda-Henkel-Stiftung post-doc fellowship, THEORIA Kurt von Fritz Science Program funding from the Mecklenburg-Vorpommern Ministry, and Swiss National Science Foundation support for collaborative research projects. His current research activities are centered at the Historisches Institut of Universität Rostock, with additional collaborative work through the Käte-Hamburger-Kolleg at the University of Münster, where he explores legal frameworks and norm competition in historical perspective. His ongoing monograph project "Das Zeitalter der Ambiguität" represents a significant contribution to understanding how Early Modern societies managed conflicting norms and values.
Renate Sachse is a Researcher at the Chair of Structural Analysis, Technical University of Munich (TUM), where she has worked since May 2024. Previously, she held postdoctoral positions at Harvard University's Bertoldi Lab (2024) and TUM's Chair of Computational Mechanics (2021-2024), following academic staff roles at the University of Stuttgart (2015-2020). Her interdisciplinary work bridges civil engineering, biomechanics, and computational modeling. Her educational foundation includes a Master's in Civil Engineering from the University of Stuttgart (2014; thesis: 'Isogeometric contact analysis of thin-walled structures') and a Bachelor's from the same institution (2011; thesis: 'A Primary School Pavilion for Magagula in South Africa - Structural Analysis'). She also completed ERASMUS studies at ESTP Paris and internships at Foster + Partners and Werner Sobek AG. Dr. Sachse's research centers on biomechanics and biomimetics, with pioneering work on plant-inspired structures. She investigates snapping mechanisms in carnivorous plants (Venus flytrap, waterwheel plant) to develop bio-inspired adaptive systems, soft robotics, and metamaterials. Her expertise spans motion design for large-deformation structures, isogeometric analysis, and hygroscopic actuation in 4D-printed materials, emphasizing computational modeling of contact mechanics and structural stability. Analysis of her 15 most recent publications reveals a dominant focus on biomechanics (60% of articles), particularly plant movement mechanics translated into engineering solutions. Her work consistently integrates computational structural analysis with biological principles, showing increasing emphasis on motion design (25% of recent output) and additive manufacturing applications (15%). Key trends include translating snap-buckling phenomena into robotics and developing material design spaces for responsive structures. Her distinguished awards include the Bertha Benz Prize (2022), Klaus Tschira Boost Fund Fellowship (2022-2024), and University of Stuttgart Publication Award (2022). Additional recognition comprises GAMM Juniors Fellowship (2020-2022), AVK Innovation Award (2017), and Emil Mörsch Study Prize (2014). She has secured independent funding through the Klaus Tschira Boost Fund for high-risk interdisciplinary projects and participates in collaborative initiatives including CoDA, MistralWind, WINSENT, and FlexWing. While teaching advanced courses at TUM (Advanced Finite Element Methods, Theory of Plates), her mentorship focuses on computational mechanics and biomimetic design principles. Currently based at TUM's Chair of Structural Analysis under Prof. Bletzinger, she maintains active collaboration with Harvard University's Bertoldi Lab in developing next-generation adaptive structures.
Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.
Christoph Keplinger serves as Managing Director of the Max Planck Institute for Intelligent Systems (MPI-IS) in Stuttgart, Germany, leading the Robotic Materials Department since 2020 and assuming overall institute leadership in 2023. He holds dual academic appointments as Honorary Professor at the University of Stuttgart and Eminent Visiting Professor of Soft Robotics at the University of Colorado Boulder, establishing him as a pivotal figure in bridging fundamental materials science with advanced robotics. His interdisciplinary approach integrates physics, chemistry, and engineering to pioneer breakthroughs in soft robotic systems. Keplinger's academic foundation includes a PhD in Soft Matter Physics from Johannes Kepler University Linz, Austria, followed by postdoctoral research at Harvard University focusing on mechanics and chemistry of soft materials. This unique background enabled his transition into robotics innovation, particularly in electrohydraulic actuation systems. His research program centers on three synergistic pillars: (I) soft robotics development through novel actuator technologies like HASEL artificial muscles; (II) energy capture mechanisms using soft materials; and (III) functional polymers engineered for robotic applications. This work produces transformative hardware that mimics biological functionality, with significant implications for human-robot interaction, medical devices, and sustainable robotics systems. His group employs cutting-edge materials synthesis and characterization techniques to create lifelike robotic components. Analysis of recent publications reveals dominant trends in wearable haptic interfaces, electrohydraulic actuation systems, and tremor-suppression technologies. The research consistently leverages HASEL (Hydraulically Amplified Self-healing Electrostatic) technology to achieve muscle-like performance in soft actuators, with applications spanning from fingertip haptic feedback to underwater manipulation systems. This trajectory demonstrates a clear progression from fundamental material properties toward practical implementations in medical rehabilitation and human augmentation. His exceptional contributions have earned prestigious recognition: 2017 Packard Fellowship for Science and Engineering, awarded for high-impact interdisciplinary research 2021 Alexander von Humboldt Professorship (declined to remain at MPI-IS), Germany's most valuable international research award 2013 EAPromising European Researcher Award from the European Scientific Network for Artificial Muscles As principal investigator, Keplinger leads a dynamic interdisciplinary research group while securing competitive funding for frontier projects. His entrepreneurial vision materialized in 2018 through co-founding Artimus Robotics, where he serves as Chief Science Officer to commercialize HASEL technology. This dual commitment to academic research and industry translation exemplifies his dedication to real-world impact, particularly in creating biodegradable and sustainable soft robotic solutions. The Robotic Materials Department operates state-of-the-art facilities for materials fabrication, robotic integration, and haptic interface development. The team maintains strong collaborations across MPI-IS departments and external institutions including the University of Colorado Boulder, fostering innovation in sustainable robotics through initiatives like biodegradable electrohydraulic actuators. Current projects focus on wearable tremor suppression systems, electrohydraulic locomotion platforms, and energy-autonomous soft robots that address critical challenges in medical rehabilitation and human augmentation.
Stefanie Mueller is the TIBCO Career Development Associate Professor at MIT's Electrical Engineering and Computer Science Department, with joint affiliation in Mechanical Engineering. She leads the HCI Engineering Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL), focusing on advancing fabrication techniques through hardware/software innovations that enable novel object interactions. Develops computational fabrication methods combining photochromic dyes, lenticular lenses, birefringent materials, and optical illusions Co-chaired ACM CHI 2023 and ACM UIST 2020 program committees Recipients of 9 MIT EECS Best Undergraduate Researcher Awards among mentees Her research spans four key directions: Appearance-changing Objects: Photo-Chromeleon (ACM UIST 2019), Lenticular Objects (ACM UIST 2021), and Polagons (ACM CHI 2023) demonstrate reprogrammable surfaces through advanced materials and optical engineering. Tracking Systems: InfraredTags (ACM CHI 2022) and G-ID (ACM CHI 2020) enable passive object tracking via infrared markers and slicing artifacts. Embedded Sensing: MechSense (ACM CHI 2023) and Sprayable User Interfaces (ACM CHI 2020) integrate sensing capabilities into complex geometries. Curved Surface Prototyping: FlexBoard (ACM CHI 2023) and CurveBoard (ACM CHI 2020) develop specialized tools for non-planar electronics. Her recent publications focus on functionality segmentation (UIST 2023), fluorescent markers (UIST 2023), and machine-knitted haptics (UIST 2023). These works combine machine learning, material science, and interactive design principles to push fabrication boundaries. Scientific recognition includes: 2022 MIT Technology Review Innovators Under 35 2020 Microsoft Research Faculty Fellowship 2020 Alfred P. Sloan Research Fellowship 2019 ACM UIST Best Paper Award 2019 NSF CAREER Award 2018 MIT EECS Outstanding Educator Award 2017 Forbes 30 Under 30 in Science Mentoring 9 PhD students and over 20 master's students, her lab has produced 20+ publications at top HCI conferences. She redesigned MIT's 6.810 Engineering Interactive Technologies course during the pandemic, maintaining hands-on learning through home electronics kits and Slack-based collaboration.
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 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 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.
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
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.
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.
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 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.
