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 .
Andrea Tagliasacchi is an Associate Professor in the School of Computing Science at Simon Fraser University (SFU), where he holds the Visual Computing Research Chair. He is also a part-time (20%) Staff Research Scientist at Google DeepMind in Toronto and holds an associate professor (status only) appointment in the Department of Computer Science at the University of Toronto. Education: PhD in Computing Science – Simon Fraser University (NSERC Alexander Graham Bell Fellow) Postdoctoral Research – École Polytechnique Fédérale de Lausanne (EPFL) MSc in Computer Science – Politecnico di Milano (Gold Medalist) His research lies at the intersection of computer vision, computer graphics, and machine learning, with a focus on 3D visual perception. Key areas include neural radiance fields (NeRF), 3D Gaussian splatting, inverse rendering, and geometric deep learning, with applications in robotics, augmented reality, and autonomous systems. His work emphasizes robust and efficient scene understanding and reconstruction from visual data. His recent publications, appearing in top venues like CVPR, SIGGRAPH, NeurIPS, and ECCV, demonstrate a strong emphasis on neural fields, 3D reconstruction, and generative modeling. Trends include improving rendering efficiency, enhancing robustness to noise and distractors, and enabling controllable and 3D-aware generation. His group has made significant contributions to Gaussian splatting, NeRF optimization, and diffusion-based 3D/4D synthesis. Scientific Awards: 2024 CVPR Best Paper Award (Honorable Mention) 2020 CVPR Best Student Paper Award 2015 SGP Best Paper Award NSERC Alexander Graham Bell Canada Graduate Scholarship MITACS Best Paper Award (SIGGRAPH Asia 2009) NSF Best Poster Award (SGP 2012) He has advised numerous PhD and MSc students, many of whom are now researchers at leading institutions and companies. His research has been supported through collaborations with Google, Intel, and academic partners. He serves the community as a Senior Area Chair for CVPR 2025, Associate Editor for IEEE TPAMI (2024–2026), Guest Editor for IEEE TPAMI on 3D GenAI, and Program Chair for 3DV 2024. He leads a vibrant research lab at SFU focused on pushing the boundaries of 3D scene understanding with machine learning.
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.
Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.
Prof. Dr. Nikolaus A. Adams is a full professor and Chair of Aerodynamics and Fluid Mechanics at the Technical University of Munich (TUM), affiliated with the TUM School of Engineering and Design. Born in 1963, he holds a doctorate from TUM (1993) and habilitation from ETH Zurich (1999). His research focuses on numerical methods, turbulent flows, microfluidics, and multiphase systems. He has held leadership roles, including Dean of the Faculty of Mechanical Engineering since 2023 and Vice Dean (2015–2016). Education: PhD from TUM (1993), habilitation from ETH Zurich (1999) Research interests include aerodynamics, fluid-structure interaction, and numerical techniques for compressible flows. His work spans high-speed aerodynamics and computational fluid dynamics (CFD). Awards include ERC Advanced Grants (GENUFASD 2023, NANOSHOCK 2015), the Gordon Bell Prize (2013), and Fellow of the American Physical Society (2011). Grants and leadership: Spokesperson of DFG SFB/TRR 40 (2008–2020), co-author of 'Large-Eddy Simulation for Compressible Flows' (2009), and editorial roles in J. Comput. Phys.
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.
Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.
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.
Andreas Rietbrock is Professor and Director of the Geophysical Institute (GPI) at the Karlsruhe Institute of Technology (KIT) , Germany, where he also serves as Dean of Studies for Geophysics . He is a leading expert in earthquake seismology, seismic tomography, and subduction zone dynamics, with a strong focus on integrating advanced observational techniques and computational methods. Education: While specific degrees are not listed in the provided text, his extensive publication record and leadership roles indicate advanced academic training in geophysics and seismology. Research Interests: His work spans a wide range of topics including: Seismic imaging of subduction zones (e.g., Nazca, Lesser Antilles) Earthquake rupture dynamics and fault mechanics Volcanic seismology and magma transport Full waveform inversion and AI-enhanced seismic analysis Distributed Acoustic Sensing (DAS) applications Induced seismicity and reservoir monitoring Research Trends: His recent publications (2022–2025) emphasize the use of dense seismic arrays, AI-based data processing, and multi-method tomography to study complex tectonic environments. Key themes include high-resolution imaging of slab structures, fluid migration in subduction zones, and the integration of DAS and machine learning for seismic monitoring. Scientific Contributions: Andreas has led major international projects such as the ANTICS Large-N deployment in Albania and the VoiLA project in the Lesser Antilles. He has published extensively in top-tier journals like Nature , Geophysical Research Letters , and Journal of Geophysical Research , with over 200 peer-reviewed articles. Teaching and Supervision: He teaches courses such as "Introduction to Geophysics II", "Seismology", and "Current Topics in Seismology and Risk". While specific student names are not listed, his role as Dean and principal investigator on numerous projects indicates active supervision of graduate students and postdocs. Labs and Teams: He leads the seismology group at GPI, coordinating large-scale deployments of seismic instruments, including ocean-bottom seismometers and fiber-optic DAS systems. His team collaborates globally with institutions in Europe, South America, and Asia.
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.
Prof. Dr. Steffen Marburg is a Full Professor at the Chair of Acoustics of Mobile Systems within the TUM School of Engineering and Design at the Technical University of Munich. His research focuses on numerical methods in vibroacoustics, structural optimization, and acoustic modeling for applications in automotive, maritime, and musical instrument domains. Education: PhD from Technical University of Dresden (1998). Academic Career: Junior Professor at TU Dresden (2004), Chair of Technical Dynamics at University of the Federal Armed Forces Munich (2010), Full Professor at TUM (2015–present). Editorial Roles: Co-Editor-in-Chief of Journal of Theoretical and Computational Acoustics, Associate Editor of Journal of the Acoustical Society of America, Editor of Acoustics Australia and Mechanical Systems and Signal Processing. His research integrates computational acoustics, boundary element methods, and machine learning to address noise control and structural optimization challenges. Recent work explores acoustic metamaterials, viscothermal losses, and data-driven modeling. He has co-authored over 150 publications and led advancements in multifrequency solution methods and noise-insulating structures. Scientific awards include the Innovation Award of the Industrieclub Sachsen e.V. (1999). His editorial contributions and leadership in journals highlight his influence in computational acoustics and structural dynamics.
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.
Teruko Mitamura is a prominent researcher at Carnegie Mellon University with over three decades of contributions to natural language processing, computational linguistics, and artificial intelligence. Her work spans from foundational research in event representation to advanced applications in multimodal systems and question answering. Her research interests focus on event detection and understanding, question answering systems, information retrieval, and multimodal processing. She has made significant contributions to event coreference resolution, timeline construction, and cross-document event analysis, developing methodologies that have become standard in the field. Her work often bridges theoretical advances with practical applications, particularly in complex information environments requiring deep semantic understanding. Natural Language Processing : Specializing in event extraction, coreference resolution, and narrative understanding with over 179 publications Question Answering Systems : Developing advanced techniques for complex question answering, particularly through NTCIR QA Lab and PoliInfo tasks Multimodal Processing : Integrating textual, visual, and temporal information for richer understanding in systems like ProMQA Evaluation Methodologies : Creating robust frameworks for assessing NLP systems through TAC KBP Event Tracks Her recent publication trends show a strong focus on leveraging large language models for event understanding, multimodal question answering, and timeline construction. She has expanded her research into specialized domains including patent analysis and novelty examination, demonstrating the breadth of her research impact across academic and practical applications. Active participant in major NLP conferences including ACL, EMNLP, NAACL, and AAAI with consistent publications Long-standing collaborator with researchers at CMU's Language Technologies Institute including Eduard H. Hovy and Eric Nyberg Contributor to shared tasks that have shaped research directions in event processing and question answering Organizer of multiple NTCIR QA Lab tasks focused on political information question answering Dr. Mitamura has mentored numerous researchers who have gone on to make their own contributions to the field, as evidenced by her extensive co-authorship network and the progression of her former students and collaborators into faculty and research positions. Her work continues to evolve with the field while maintaining her focus on deep semantic understanding of events and narratives.
