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.
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.
Jonathan T. Barron is a Researcher at Google DeepMind in San Francisco, specializing in Computer Vision , Neural Rendering , and 3D Scene Reconstruction . He earned his PhD at UC Berkeley under Jitendra Malik and has pioneered advancements in NeRF (Neural Radiance Fields) and diffusion-based 3D generation. Research Interests : Computer Vision, Deep Learning, Generative AI, Image Processing, and 3D Reconstruction via Radiance Fields. His work includes Bolt3D for rapid 3D scene generation, CAT3D/CAT4D for text-to-3D/4D, and Zip-NeRF for anti-aliased radiance fields. He has also developed real-time rendering frameworks like SMERF and NeRF-Casting for reflections. Scientific awards: PAMI Young Researcher Award He has served as Area Chair for CVPR, ICCV, and NeurIPS, and his research is widely adopted in applications like Google's Lens Blur , Portrait Mode , and Jump VR .
Toby Jia-Jun Li is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame, where he leads the SaNDwich Lab. He also serves as the Director of the Human-Centered Responsible AI Lab in the Lucy Family Institute for Data & Society and is a Faculty Fellow at the Institute for Educational Initiatives (IEI). Previously, he was affiliated with Carnegie Mellon University's Human-Computer Interaction Institute (HCII) and GroupLens Research. Dr. Li's research spans the intersection of Human-Computer Interaction (HCI), End-User Software Engineering, Machine Learning (ML), and Natural Language Processing (NLP), with recent work focusing on addressing societal challenges in the future of work through human-AI collaborative approaches. His work has resulted in over 40 publications at premier venues including CHI, UIST, CSCW, ACL, and ICSE, with 8 papers winning Best Paper or Honorable Mention awards. His recent publications demonstrate a strong focus on human-AI collaboration across various domains, including code understanding, privacy, accessibility, and creative tools. The work shows a trajectory toward increasingly sophisticated integration of human-centered design with AI capabilities, particularly using large language models to enhance human productivity and address societal challenges. Google Research Scholar Award recipient Recipient of Yahoo! Fellowship ($100,000/year) Best Paper Award at UIST 2020 Best Paper Honorable Mention Award at CHI 2021 Best Paper Award at CSCW 2024 Best Paper Award at CHI 2025 Dr. Li actively mentors Ph.D. students and has established collaborations with Google, Microsoft Research, IBM Research, Adobe, Verizon, and J.P. Morgan. His research has been supported by NSF, Google Research Scholar Program, AnalytiXIN Initiative, Yahoo! InMind project, and J.P. Morgan. He is currently recruiting Ph.D. students and undergraduate researchers for his SaNDwich Lab, which focuses on developing interactive systems to empower individuals to create, configure, and extend AI-powered computing systems.
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.
Prof. Waldemar Kolanus leads the Molecular Immunology and Cell Biology department at the University of Bonn's Life & Medical Sciences Institute (LIMES) . His research bridges immunoregulation , stem cell dynamics , and metabolic stress responses in immune cells. Unit 2 member at LIMES Principal investigator in SFB 704 and ImmunoSensation Cluster Leads a multidisciplinary lab with postdocs, PhD students, and technical staff His work focuses on intracellular signaling pathways connecting immune activation to tissue homeostasis, particularly through: Cytohesin proteins in integrin-mediated adhesion and migration TRIM71 in stem cell regulation and congenital hydrocephalus High-salt environments affecting macrophage function Publication trends show expertise in immune cell migration , genetic models , and chemical inhibition , with frequent use of mice and zebrafish for in vivo studies. Key articles explore: TRIM71's dual role in auditory development and germ cell maintenance Cytohesin family's Golgi regulation and insulin signaling Ruxolitinib's off-target migration inhibition of dendritic cells Contact details: Address: LIMES Institute, Carl-Troll-Straße 31, Bonn Email: kolanus.sekretariat@uni-bonn.de Phone: +49 228 73-62788
Michael Groll serves as Professor and Chair of Biochemistry at the Technical University of Munich (TUM), where he leads structural biology and enzymology research with a focus on proteasome mechanisms and inhibitor development. His laboratory, located at the Ernst-Otto-Fischer-Str. 8 campus in Garching, maintains active collaborations in drug discovery for cancer and infectious diseases. His primary research domains include proteasome inhibition, enzyme catalysis, and natural product biosynthesis, employing X-ray crystallography, biochemical assays, and bioengineering to dissect molecular mechanisms. Recent work emphasizes AI-guided enzyme optimization, bacterial stress response targeting, and structural characterization of halogenation enzymes, reflecting interdisciplinary approaches bridging chemistry and biology. Analysis of his 2023-2025 publications reveals consistent innovation in proteasome-targeted therapeutics, with 15 high-impact papers featuring structural insights into enzyme-inhibitor complexes and biosynthetic pathways. Key trends include engineering megasynthetases for immunoproteasome inhibitors, optical control of protein degradation, and elucidating metal-dependent mechanisms in antibiotic biosynthesis. No scientific awards were documented in the provided source material. While specific grant details and student mentorship records were not disclosed, his extensive publication record indicates leadership in collaborative research projects involving structural biology and chemical biology methodologies. The Chair of Biochemistry under Prof. Groll operates as a hub for structural enzymology, housing facilities for protein crystallography, enzyme kinetics, and natural product characterization. His team actively contributes to TUM's research ecosystem through partnerships with pharmaceutical groups and international structural biology consortia.
Dr. Sabine Krabbe is a Group Leader at the German Center for Neurodegenerative Diseases (DZNE) in Bonn, Germany, where she leads research on neural circuit mechanisms underlying adaptive learning and state-dependent decision-making. Her work integrates neuroscience, molecular biology, and behavioral approaches to understand how internal states influence behavior and how these processes are disrupted in neurological disorders. Dr. Krabbe's research focuses on the interactions between midbrain circuits of the substantia nigra and ventral tegmental area with their output structures such as the striatum and amygdala. She investigates how these networks integrate internal states with environmental cues to produce appropriate behavioral responses. Her laboratory employs state-of-the-art techniques including deep-brain calcium imaging at single-cell resolution in mice, opto- and pharmacogenetic manipulations, anatomical tracings, and molecular approaches to characterize neural circuit elements in detail. Her recent publications reveal significant insights into amygdala interneuron plasticity during fear learning, brain-wide representational drift in memory consolidation, and the molecular mechanisms underlying Parkinson's disease progression. Her work demonstrates how activity patterns within specific neural circuits change in early stages of neurodegenerative diseases and how this dysfunction contributes to cognitive deficits and emotional disturbances. Dr. Krabbe is actively involved in the neuroscience community, organizing the BonnBrain Conference 2026 and sharing research through social media platforms. She has established herself as an emerging leader in the field of systems neuroscience with a particular focus on the neural basis of emotional states and decision-making processes.
Michael Mühlebach is a Research Group Leader at the Max Planck Institute for Intelligent Systems in Tübingen, Germany, leading the independent Learning and Dynamical Systems group. His academic journey began at ETH Zurich where he earned his B.Sc. (2010) and M.Sc. (2013) in mechanical engineering, specializing in robotics, systems, and control. He completed his Ph.D. at ETH Zurich in 2018 under Prof. R. D'Andrea, followed by postdoctoral research at UC Berkeley with Prof. Michael I. Jordan. Dr. Mühlebach's research spans machine learning, dynamical systems, control theory, and optimization . His work bridges theoretical foundations with practical applications in robotics, developing methods that incorporate physical constraints and system dynamics into learning frameworks. His group focuses on online learning, physics-informed machine learning, and large-scale optimization for cyber-physical systems, with applications in electromagnetic navigation, robotic table tennis, and energy-efficient flight systems like the shape-changing robot Floaty . His publication record shows a strong focus on constrained optimization, with recent work exploring decision-dependent stochastic optimization, nonlinear feedback, and the theoretical foundations of reinforcement learning. His research integrates perspectives from control theory, dynamical systems, and optimization to develop algorithms with strong theoretical guarantees and practical performance. Outstanding D-MAVT Bachelor Award Willi-Studer prize for best Master's degree ETH Medal and HILTI prize for doctoral thesis Branco Weiss Fellow (2018) Emmy Noether Fellowship (2020) Amazon Fellowship (2024) Dr. Mühlebach actively mentors doctoral researchers and is seeking talented students for PhD and Master's projects. His research group has received funding from multiple prestigious fellowships and maintains collaborations across institutions including ETH Zurich, UC Berkeley, and various Max Planck research units. The group's work spans theoretical developments to practical implementations on robotic systems, demonstrating strong connections between mathematical theory and physical realization.
Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .
Dr. Benjamin Scott Flavel is a Research Group Leader at the Institute of Nanotechnology, Karlsruhe Institute of Technology (KIT), Germany. His research focuses on carbon nanotubes and their applications in photovoltaics and sensing technologies. He leads a dynamic research team conducting cutting-edge work on the separation, purification, and application of single- and double-walled carbon nanotubes. Education: Doctor of Philosophy (Chemistry), Flinders University, Australia, 2010 Bachelor of Science in Nanotechnology (Honors), Flinders University, Australia, 2005 Habilitation in Materials Science, Technische Universität Darmstadt, 2018 His research interests lie at the intersection of nanotechnology and energy materials, particularly in carbon nanotube-based solar cells , chirality-specific separation techniques , and nano-sensing devices . His group has pioneered methods such as ATPE for enantiomer sorting and developed innovative solar cell architectures with industrial relevance. The research spans fundamental charge transport mechanisms to applied device engineering. The publication record shows a strong trend in advancing carbon nanotube photovoltaics, with key contributions in interface engineering, scalable fabrication, and high-efficiency CNT:Si solar cells. Work also extends to spectroscopic characterization, alignment techniques, and software tools for data analysis. Scientific Awards: Heisenberg Program, DFG (2018) Emmy Noether Program, DFG (2013) Alexander von Humboldt Research Fellowship (2011) Australian Government Endeavor Research Fellowship (2009) Bloom-Gutmann Prize, Royal Australian Chemical Institute (2008) Hope Meeting, Japanese Society for the Promotion of Science (2008) Research Fellowship, Flinders University (2007) Dr. Flavel has successfully advised multiple PhD students, including Dr. Moritz Pfohl, Dr. Katherine Moore, and Dr. Daniel Tune. His research has been supported by significant grants from the German Research Foundation (DFG), including funding for a double-walled carbon nanotube project and an organic evaporation system (~320,000 EUR). Collaborations span institutions such as NIST, Freie Universität Berlin, University of Antwerp, McMaster University, and University of Sydney. The research group operates within the Institute of Nanotechnology at KIT, utilizing advanced infrastructure for nanomaterials synthesis, characterization, and device fabrication. The team is recognized internationally, with work featured in Open Access Government , Research Features , and Europhotonics , and covered by Nanotechweb.
Floris van Doorn is a Professor at the Mathematical Institute of the University of Bonn where he leads the Formalized Mathematics group. His research focuses on making it viable to formalize research mathematics in proof assistants that can check the correctness of such proofs. He primarily works with the Lean Theorem Prover and is a maintainer of its mathematical library (mathlib). University of Bonn: Professor (2023-present) University of Paris-Saclay: Postdoc with Patrick Massot (2021-2023) University of Pittsburgh: Postdoc with Tom Hales (2018-2021) Carnegie Mellon University: PhD under Jeremy Avigad and Steve Awodey (2013-2018) Van Doorn's research interests center on formalized mathematics, tools and automation for formalization, and homotopy type theory. He has made significant contributions to several major formalization projects including the Carleson project (proving Carleson's theorem), the sphere eversion project (formalizing Gromov's h-principle), the Flypitch project (formalizing the independence of the continuum hypothesis), and the Spectral sequences project. His work demonstrates that proof assistants can handle complex areas of mathematics beyond algebra, including differential topology and analysis. His recent publications show a consistent focus on advancing formalized mathematics, with his most recent work formalizing the Gagliardo-Nirenberg-Sobolev inequality and continuing the Carleson project. His publications span theoretical foundations of type theory, practical applications of formalization, and educational resources for learning proof assistants. Skolem award (2025) for the paper 'The Lean Theorem Prover (System Description)' Van Doorn actively mentors students and collaborators, with Maria, Michael, and Arend recently joining his formalization group in Bonn. He has taught various courses on formalized mathematics and proof assistants at the University of Bonn, University of Pittsburgh, and Carnegie Mellon University. His educational efforts include developing learning resources such as the Natural Number Game and the online book 'Mathematics in Lean.' He also maintains an active presence in the Lean community through the Formalized Mathematics group and collaborative projects like the Carleson project, which invites participation from those familiar with Lean.
Oliver Hohlfeld is a Professor at the University of Kassel, where he leads the Distributed Systems group. He previously held academic positions at Brandenburg University of Technology and RWTH Aachen University, and was a visiting scholar at the University of Wisconsin–Madison. His research focuses on network security, Internet measurements, and Quality of Experience (QoE). He completed his Ph.D. in Computer Science at TU Berlin under Anja Feldmann and holds a B.Sc. and M.Sc. from Darmstadt University of Technology. He also worked at Fraunhofer IGD on telemedical network architectures. His research adopts a data-driven approach, combining large-scale Internet measurements, user studies, and machine learning to understand and improve Internet performance and security. Key areas include DDoS detection, QUIC, HTTP/2, TLS deployment, and BGP analysis. He investigates how protocols like QUIC and HTTP/2 impact user experience and network efficiency, often through empirical studies of real-world deployments. His recent publications highlight a strong trend in network security and protocol analysis, with significant work on DDoS attacks, traffic ingress detection, and web consolidation. He also explores social media dynamics and censorship circumvention through user reviews. 2022 IETF/IRTF Applied Networking Research Prize Best of CCR (2021) for TLS 1.3 deployment study ACM Senior Member (2020) IEEE QoMEX 2019 Best Reviewer Award ACM IMC Community Contribution Award (2018) He has advised numerous Master’s and Bachelor’s students, primarily at RWTH Aachen, and has been a principal investigator in major projects such as AIDOS (AI-based DDoS mitigation), DFG SFB MAKI, COMTEX, and the EU-funded SSICLOPS. He actively serves on the technical program committees of top-tier conferences including SIGCOMM, NSDI, IMC, and CoNEXT, and is a frequent reviewer for leading journals in networking and systems. He leads the Distributed Systems group at the University of Kassel, which conducts research on Internet observability, secure infrastructures, and scalable networking solutions.
Prof. Mathias Drton holds the Chair of Mathematical Statistics at the Technical University of Munich (TUM), within the Department of Mathematics and School of Computation, Information and Technology. His research focuses on graphical models, algebraic statistics, causal inference, and multivariate data analysis. He has authored numerous publications in top-tier journals and conferences, including work on conditional independence, sparse factor analysis, and causal discovery in linear models. Drton has supervised a large number of theses, mentoring students in areas like high-dimensional statistics, graphical models, and causal inference. He is actively involved in teaching advanced courses such as 'Graphical Models in Statistics' and 'Fundamentals of Mathematical Statistics.' His academic contributions span theoretical developments in statistical methodology and computational tools, including R packages like SEMID and symRC . Drton collaborates internationally, contributing to projects like the TUM-ICL Mathematical Sciences Hub and Exzellenzcluster MCQST. His work bridges algebraic methods with statistical challenges, addressing identifiability in latent variable models and robust graphical modeling under non-Gaussian assumptions. Recent research emphasizes causal structure learning under partial homoscedasticity, distribution-free independence tests, and multi-domain causal representation learning. Drton’s lab actively explores applications in genomics, epidemiology, and machine learning, leveraging both theoretical rigor and practical computational methods.
Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.
_rdax_230x341s.jpg)
