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

Sam Statonمشاهده پروفایل

استاد

• Programming Language Theory
• Probabilistic Programming
• Quantum Computing
• +۳ مورد دیگر

Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.

Luca Demetrioمشاهده پروفایل

استادیار

• Adversarial Machine Learning
• Malware Detection
• Cybersecurity
• +۳ مورد دیگر

Luca Demetrio is an Assistant Professor at the University of Genoa, Italy, specializing in adversarial machine learning and cybersecurity. Previously, he was a Post-doctoral Researcher at the PRA Lab within the Department of Electrical and Electronic Engineering at the University of Cagliari. He holds bachelor's (2015), master's (2017), and Ph.D. (2021) degrees from the University of Genova, with his doctoral thesis focusing on formalizing evasion attacks against security detectors. His research emphasizes enhancing the robustness of machine learning models against adversarial attacks, particularly targeting malware detectors, SQL injection defenses, and Windows security systems. He leads the development of SecML Malware, a Python library for generating adversarial Windows malware, and contributes to the SecML framework. His work has been published in top-tier journals like ACM TOPS and IEEE TIFS. Key research interests include adversarial example generation, malware analysis, and cybersecurity defense mechanisms. He has explored query-efficient attacks on phishing detectors, certified adversarial robustness via randomized smoothing, and robust synthetic data-driven threat detection. His recent studies (2023–2025) address challenges in hardening machine learning models against evasion attacks, adversarial SQL injection countermeasures, and securing autonomous driving systems from adversarial reinforcement learning attacks.

• Behavioral modeling
• Electromagnetic compatibility
• Macromodeling
• +۷ مورد دیگر

Stefano Grivet-Talocia is a Full Professor at the Department of Electronics and Telecommunications at the Polytechnic University of Turin, where he also serves as Director of the Doctoral School and President of the Doctoral School Council. He is a member of the Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory, the University Committee for Research, Technology Transfer and Services to the Territory, and the Commission for the Promotion of Library, Archive and Museum Heritage. His academic career spans over two decades at Politecnico di Torino, where he has established himself as a leading researcher in electromagnetic modeling and signal integrity. Grivet-Talocia earned his Laurea degree (summa cum laude) in Electronic Engineering in 1994 and his Ph.D. in Electronic and Communication Engineering in 1998, both from the Polytechnic University of Turin. Between 1994 and 1996, he conducted research at NASA/Goddard Space Flight Center in Greenbelt, Maryland. His educational background laid the foundation for his expertise in electromagnetic modeling, wavelet analysis, and signal processing. His research focuses on behavioral modeling, electromagnetic compatibility, macromodeling, model order reduction, numerical modeling, passivity, power integrity, signal integrity, transmission lines, and wavelets . Grivet-Talocia is particularly renowned for his work on passive macromodeling of interconnect structures, development of the TOPLine technique for transmission line simulation, and pioneering contributions to passivity enforcement algorithms. He has co-authored the first book entirely dedicated to Macromodeling (2016) and developed innovative approaches to waveform relaxation and wavelet-based signal processing. His recent publications (2024-2025) demonstrate continued leadership in model order reduction, with significant contributions to data-driven modeling of linear and nonlinear systems, power integrity analysis, and electromagnetic compatibility. His work spans both theoretical advances in numerical methods and practical applications in circuit design, with strong industry relevance particularly for semiconductor and electronic design automation companies. IEEE Fellow (2018-present) Three Intel SRS Grants (2022-2024) Three IBM SUR Grant Awards (2007-2009) Best Associate Editor Award - IEEE Transactions on Components, Packaging and Manufacturing Technology (2020) Multiple Best Conference Paper Awards (2006-2020) URSI Young Scientist Awards (1999) Ranked among the "top 2% worldwide researchers" (Stanford) since 2019 Grivet-Talocia actively supervises doctoral students including Michele Cusano, Sara Paknezhad Panahi, Antonio Carlucci, and Kun Zhao. He has secured numerous research grants from competitive national calls (PRIN) and commercial contracts with industry partners including Intel, IBM, Nokia, Hitachi, Infineon, and Cadence. His technology transfer activities include co-founding the spin-off IdemWorks (2007-2016), which was acquired by CST in 2016. He also developed the autoCircuits web service for automated circuit problem generation, widely used in electrical engineering education. He leads the EMC Group (Electromagnetic Compatibility) at DET and has been instrumental in establishing the Compact Dynamical Modeling research area. His work has practical applications in high-speed electronics design, with algorithms embedded in commercial tools like IBM PowerSPICE. Grivet-Talocia maintains strong industry connections through his research projects and serves as Associate Editor for IEEE Transactions on Components, Packaging and Manufacturing Technology.

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

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

استاد

• Computational Design Optimization
• Numerical Optimization Algorithms
• Gradient-Based Algorithms
• +۸ مورد دیگر

Martin Berggren is a Professor at the Department of Computing Science , Umeå University , Sweden. His work focuses on Computational Design Optimization , combining computer simulations and numerical optimization to enhance engineering designs for devices like antennas, microwave components, and loudspeakers. Berggren is also active in mathematical modeling of physical phenomena, particularly wave propagation and fluid mechanics, with a strong emphasis on finite-element methods . His research addresses large-scale conceptual design problems using thousands to millions of design variables, relying on gradient-based algorithms and adjoint-based computations of design sensitivities—similar to back-propagation in deep learning. Key application areas include acoustic and electromagnetic devices, where he investigates damping mechanisms, boundary conditions, and material distribution. Other interests, though less active, involve flow control and unsteady fluid–structure interaction . Berggren collaborates extensively on projects such as Structured Regularization , Topology Optimization of Acoustic Black Holes , and Design of Microstrip-to-Waveguide Transitions . His publications span journals like Journal of Computational Physics , Pattern Analysis and Applications , and IEEE Transactions on Antennas and Propagation , often co-authored with researchers like Linus Hägg , Eddie Wadbro , and Disi Lin .

David J. Stensrudمشاهده پروفایل

استاد

• Mesoscale meteorology
• Numerical weather prediction
• Synoptic meteorology
• +۵ مورد دیگر

David J. Stensrud is a Professor of Meteorology and Atmospheric Science at Pennsylvania State University, where he has been a faculty member in the Department of Meteorology and Atmospheric Science within the College of Earth and Mineral Sciences. His research focuses on advancing our understanding of severe weather phenomena and improving numerical weather prediction capabilities. Dr. Stensrud received his academic training at Penn State, earning his M.S. in Meteorology in 1985 and his Ph.D. in Meteorology in 1992. His educational background has provided the foundation for his extensive research career focused on atmospheric dynamics and prediction. Dr. Stensrud's research spans several critical areas in atmospheric science, with particular emphasis on mesoscale meteorology , numerical weather prediction , and synoptic meteorology . He is internationally recognized for his work on ensemble forecasting , where he explores how groups of numerical weather prediction models can provide probabilistic forecasts of severe weather events. His research on convective-scale data assimilation aims to improve how observations from radar and satellites are incorporated into high-resolution weather models. Additional research interests include the physical processes behind severe weather phenomena like derechos and heavy rainfall events, the predictability of convective-scale phenomena, and the dynamics of the North American monsoon system. He has made significant contributions to understanding how urban environments influence thunderstorms and how convective systems interact with their larger-scale environment. Analysis of Dr. Stensrud's recent publications reveals a consistent focus on improving severe weather prediction through advanced data assimilation techniques. His work primarily centers on integrating radar and satellite observations into convection-allowing models to enhance forecasting capabilities for thunderstorms and other severe weather phenomena. A notable trend in his research is the increasing sophistication of ensemble approaches to address uncertainties in both initial conditions and model physics. His publications demonstrate a progression from fundamental studies of mesoscale phenomena to increasingly operational applications with potential for real-world forecasting improvements. Dr. Stensrud has served in several important professional capacities that highlight his standing in the meteorological community: Chair, Storm-scale Radar Data Assimilation Workshop, Norman, Oklahoma, October 2011 Member, NOAA/NWS Functional Weather Radar Requirements Integrated Working Team, 2012-2013 Guest Editor, Advances in Meteorology, Special Issue on "Storm-scale data assimilation and NWP", 2013 Commissioner, Scientific and Technological Activities Commission, American Meteorological Society, 2016-2017 Dr. Stensrud has authored more than 150 peer-reviewed publications and a textbook entitled "Parameterization Schemes: Keys to Understanding Numerical Weather Models." He has been actively involved in mentoring graduate students, though specific names of advisees are not provided in the available information. In collaboration with colleagues at Penn State, he helped create a 20-station environmental monitoring network across Pennsylvania with plans to expand to 50+ stations. His research has been supported by various grants that have enabled field campaigns such as the Mesoscale Predictability Experiment (MPEX) in 2013, where his team intercepted severe thunderstorms to collect critical observational data. Dr. Stensrud is involved with several research teams and facilities at Penn State, including work with the Joel N. Myers Weather Center and the Bob and Charlotte Landis Broadcast Room. His research group focuses on analyzing data from dual-polarization radar systems and developing improved techniques for assimilating these observations into convection-allowing models. He collaborates extensively with other researchers at Penn State and beyond, particularly in studies involving the interactions between urban environments and thunderstorms, and the upscale effects of deep convection on larger-scale weather patterns.

• Algorithms and Complexity
• Logic
• Database Theory
• +۲ مورد دیگر

Martin Grohe is a Professor at the School of Logic and Theory of Discrete Systems , part of the Department of Computer Science at RWTH Aachen University . His research spans Algorithms and Complexity , Logic , Database Theory , Graph Theory , and Machine Learning , with a focus on integrating logical frameworks into computational models. His recent work explores graph neural networks , Weisfeiler-Leman algorithms , and parameterized complexity , as seen in publications on isomorphism testing , database repairing , and probabilistic query evaluation . While no specific scientific awards are mentioned, his contributions to graph theory and machine learning are widely recognized through numerous peer-reviewed publications.

• Mathematical Logic
• Formal Methods
• Automated Reasoning
• +۴ مورد دیگر

Dr. Sasha Rubin is a Senior Lecturer and leader of the Computational Logic for AI (LOGIC-AI) group at the School of Computer Science, The University of Sydney. He holds a PhD in Mathematics and Computer Science from the University of Auckland and previously worked at the University of Naples Federico II. His research focuses on logic foundations of AI, including synthesis, planning, formal methods, and multi-agent systems. He teaches courses like Models of Computation and supervises students in topics like probabilistic systems and reinforcement learning. Research Interests: Mathematical Logic, Formal Verification, Temporal Logic Synthesis, Automated Reasoning, and Multi-Agent Systems. He has published extensively in top venues like IJCAI, AAAI, and ACM Transactions. His work includes verification of agent navigation, strategy logic, and planning under uncertain environments. Awards: Recognized as an Australian Research Field Leader in Theoretical Computer Science (2020). He serves on editorial boards for JAIR and conferences like KR, and organizes events such as the Australasian Association for Logic Conference (2024). Supervision and Grants: Current students include Ethan HIRSCHOWITZ and Kunal OSTWAL. Past supervision spans MPhil/PhD projects on probabilistic systems, ML classifier fairness, and symbolic automata. His grants include studies on logic and robots in anonymous graphs. Professional Activities: Member of EATCS, ACM, and mentor for the Sydney Summer Innovation Programme. He leads the LOGIC-AI lab and collaborates internationally, notably with Giuseppe De Giacomo at Sapienza University of Rome.

Christian Zemanمشاهده پروفایل

مدرس

• Climate Modeling
• Weather Simulation
• Deep Convection
• +۳ مورد دیگر

Dr. Christian Zeman serves as a Lecturer at the Department of Environmental Systems Science, ETH Zurich, based at the Institute for Atmospheric and Climate Science (CHN N 17.1) in Zurich, Switzerland. His research focuses on high-resolution atmospheric modeling with emphasis on kilometer-scale climate simulations and deep convection processes. Zeman's work centers on advancing regional climate modeling capabilities through rigorous model verification techniques and convection-resolving simulations. His research addresses critical challenges in simulating complex phenomena like island-induced vortex streets, tropical climate dynamics, and the impacts of reduced floating-point precision on model accuracy. Key methodologies include ensemble-based statistical verification and systematic model calibration for improved predictive reliability. Analysis of his 2020-2025 publications reveals a consistent trajectory toward higher-resolution climate modeling, with significant contributions to model intercomparison frameworks and computational efficiency optimization. His research bridges theoretical atmospheric science with practical applications in regional climate projection, particularly for island systems and tropical regions. Zeman operates within Prof. Christoph Schär's research group at ETH Zurich, contributing to cutting-edge developments in the Consortium for Small-scale Modeling (COSMO) and Integrated Forecasting System (IFS) frameworks. His work supports ETH Zurich's leadership in high-resolution climate simulation and verification methodologies.

Yvette Richardsonمشاهده پروفایل

استاد

• Atmospheric dynamics
• Mesoscale meteorology
• Synoptic meteorology
• +۴ مورد دیگر

Yvette Richardson is a Professor in the Department of Meteorology and Atmospheric Science and Senior Associate Dean for Undergraduate Education at Penn State University's College of Earth and Mineral Sciences. Her research focuses on severe convective storms, with particular emphasis on tornadogenesis, storm rotation, and numerical modeling of supercell dynamics. Ph.D. in Meteorology from the University of Oklahoma Dr. Richardson investigates severe weather phenomena through both observational studies using mobile radars and numerical simulations. Key research areas include environmental shear effects on storm strength, cold pool dynamics, convective initiation processes, and thermodynamic observations in supercell thunderstorms. Her work has been integral to major field campaigns such as VORTEX2 and the International H20 Project (IHOP). Her recent research publications examine microphysics parameterization sensitivity in supercell models, thermodynamic observations via balloon-borne sensors, and environmental controls on storm-scale vorticity development. The studies span topics from tornadic supercell dynamics to hail scattering mechanisms and warning verification frameworks.

Stephan Raveمشاهده پروفایل

پژوهشگر

• Numerical Analysis
• Scientific Computing
• Machine Learning
• +۴ مورد دیگر

Dr. Stephan Rave is a Researcher in the Institute for Analysis and Numerics at the University of Münster. He is affiliated with the Applied Mathematics Münster cluster and serves as an Investigator in Mathematics Münster. His work focuses on numerical analysis, scientific computing, and machine learning, with a strong emphasis on model reduction techniques for complex systems. Education : PhD in Mathematics (2012), University of Münster, thesis on finitely summable K-homology. Master's and Bachelor's degrees in Mathematics from the University of Münster. Research Interests : Dr. Rave specializes in model order reduction (MOR) methods, including reduced basis techniques, localized orthogonal decomposition (LOD), and nonlinear approximation strategies. His work addresses challenges in multiscale modeling, domain decomposition, and parametrized partial differential equations. He also develops open-source software tools like pyMOR for MOR and contributes to initiatives like the MaRDI (Mathematical Research Data Initiative) to enhance interoperability in scientific computing. Projects : Key initiatives include the MaRDI project (2021–2026), EXC 2044 Cluster of Excellence (Geometry-based modeling), and MULTIBAT (lithium-ion battery simulation). His research bridges theoretical developments with practical applications in battery modeling, electrochemistry, and computational fluid dynamics. Grants & Awards : Funded by DFG, the German Federal Ministry of Research, and internal university grants, his work addresses strategic areas like sustainable research software and energy storage systems. He leads projects on distributed model reduction and communication-avoiding algorithms. Teaching : Dr. Rave teaches advanced numerical methods courses, including Model Order Reduction, Numerical Methods for PDEs, and Python-based computational labs. He co-organizes seminars and workshops on MOR and scientific software engineering.

• Aeolian geomorphology
• Wind erosion processes
• Dust emission dynamics
• +۵ مورد دیگر

Jeffrey A. Lee is a Professor in the Department of Geosciences at Texas Tech University, specializing in aeolian geomorphology and environmental processes. With academic appointments since 1988, his work focuses on wind-driven sediment transport and dune dynamics across multiple continents. Education: B.A. in Geography (1979), University of California, Los Angeles M.A. in Geography (1984), University of California, Los Angeles Ph.D. in Geography (1990), Arizona State University Research interests center on aeolian processes, particularly dust emission dynamics and wind erosion patterns. His work examines temporal trends in blowing dust across Texas and the American Southwest, while also investigating long-term shifts in wind climate patterns. Professor Lee teaches foundational physical geography courses including Global Environmental Science and advanced topics in arid land geomorphology. Recent publications demonstrate interdisciplinary focus across aeolian geomorphology, environmental monitoring, and climate science. Key themes include dust source characterization using satellite data, drought legacy effects on erosion, and historical analysis of environmental disasters like the Dust Bowl. Contact: jeff.lee@ttu.edu | 213 Holden Hall, Texas Tech University | (806) 834-8228

• Program Verification
• Program Synthesis
• Concurrency
• +۳ مورد دیگر

Roopsha Samanta serves as an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and participates in the Purdue Programming Languages (PurPL) initiative. Her academic foundation includes a PhD from the University of Texas, Austin (2013) and postdoctoral research at the Institute of Science and Technology Austria prior to joining Purdue in 2016. Education: PhD in Computer Science, University of Texas, Austin (2013) Postdoctoral Researcher, Institute of Science and Technology Austria Professor Samanta's research centers on bridging formal methods with programming languages to enhance software reliability, with core expertise in program verification, program synthesis, and concurrency. Her work uniquely targets both professional developers and non-programmers, developing techniques to ensure programs align with user intent through automated reasoning and synthesis. Recent efforts focus on distributed systems verification where traditional methods face scalability challenges. Analysis of her 2020-2024 publications reveals a dominant trajectory in distributed agreement systems, particularly advancing parameterized verification for unbounded process networks. Key innovations include bounded verification techniques for doubly-unbounded systems, explainable synthesis through specification localization, and secure multi-party computation frameworks like HACCLE. Her work consistently integrates theoretical formal methods with practical system implementation. Scientific Awards: NSF CAREER Award (2019) for “Robustness of Inductive Reasoning Engines” Amazon Research Award (2021) supporting secure computation research Her research is primarily funded through competitive grants including the NSF CAREER award and Amazon Research Award, enabling exploration of verification robustness and secure multi-party computation. While specific advising details aren't publicly documented, her leadership of the PurForM group indicates active mentorship of graduate researchers in formal methods. Current projects suggest expanding applications to privacy-preserving technologies and explainable AI-assisted programming. The PurForM research group, under her direction, develops foundational tools for program verification and synthesis with emphasis on distributed and concurrent systems. Collaborations within PurPL and industry partners like Amazon drive translational research from theoretical models to practical verification frameworks applicable to real-world distributed infrastructure.

• Formal Methods
• Verification
• Model Checking
• +۴ مورد دیگر

Nathalie Bertrand is an Inria Researcher and Head of the DEVINE team at Inria Centre Rennes and IRISA lab. She co-heads the working group on Verification of the GDR IFM of the CNRS with Pierre-Alain Reynier, and co-leads the gender equality commission of IRISA and Inria Rennes with Elisa Fromont. She is also an active member of the Inria committee on gender equality and equal opportunity. PhD from ENS Cachan (October 2006) 1-year post-doc at TU Dresden Hired as Inria researcher (October 2007) Habilitation (HDR) from University Rennes 1 (November 2015) Dr. Bertrand's research focuses on formal methods, verification, model checking, parameterized systems, quantitative models, automata, and games. Her work bridges theoretical computer science with practical applications in distributed systems, probabilistic verification, and game theory. She develops efficient model-based formal methods to verify and enforce functional and non-functional properties of dependable distributed systems that include quantitative aspects such as time, cost, or probabilities. Her recent publications demonstrate a strong trend toward parameterized verification of distributed algorithms, probabilistic systems, and game-theoretic approaches to verification problems. Her research has evolved from foundational work on timed automata and probabilistic systems to increasingly complex problems involving distributed algorithms with arbitrary numbers of participants, blockchain consensus, and randomized fault-tolerant systems. Dr. Bertrand serves on the editorial boards of JLAMP and TCS, and has been a program committee member for numerous prestigious conferences including STACS, TACAS, Concur, QEST, LICS, FoSSaCS, ICALP, MFCS, and many others. She has co-chaired program committees for Formats'20, QEST'17, QAPL'14, and QAPL'15. As an advisor, she has supervised numerous PhD students including Nicolas Waldburger, Bastien Thomas, Suman Sadhukhan, Anirban Majumdar, Engel Lefaucheux, Paulin Fournier, and Amélie Stainer. She currently supervises postdoc Gaëtan Staquet and PhD candidates Pranav Ghorpade, Luca Paparazzo, and Luc Lapointe. She leads the DEVINE project-team (created January 2024), which focuses on developing efficient model-based formal methods to verify and enforce properties of dependable distributed systems with quantitative aspects. Previously, she was part of the SUMO team. Her current projects include ANR MAVeriQ (2021-2025), ANR BISouS (2022-2025), and ANR PaVeDyS (2024-2028).

• Algorithms for Big Data
• Parallel Computing
• External-Memory Algorithms
• +۵ مورد دیگر

Ulrich Meyer is a Professor at the Institute for Computer Science at Goethe University Frankfurt. He serves as a prominent researcher in algorithms for big data, with extensive contributions to parallel and external-memory graph algorithms. His work spans theoretical foundations and practical implementations for processing large-scale data sets. Spokesperson of the DFG priority program (SPP 1736) on Algorithms for Big Data in Germany SEA23 Symposium on Experimental Algorithms, Steering Committee Chair ALENEX23 Algorithm Engineering and Experiments, Program Committee Member Professor Meyer's research interests focus on the theoretical and experimental aspects of processing large data sets on advanced computational models. His work particularly emphasizes parallel and external-memory graph algorithms, with recent focus on efficient large-scale network generation according to various stochastic models. His research has produced significant contributions including the parallel Delta-Stepping algorithm (which received the ESA Test of Time Award in 2019) and the first BFS approach with sublinear I/O. He has also explored more specialized topics like energy-efficient sorting (with records in the JouleSort competition 2009/10 and the Germany Land of Ideas Award) and fragile computing (which earned him a best-paper award at ESA 2019). His recent publications demonstrate a strong focus on graph algorithms, network generation, and parallel computing techniques. The research trends show consistent advancement in scalable algorithms for massive graphs, with particular emphasis on efficient sampling methods, shortcutting techniques, and communication-free distributed approaches. His work bridges theoretical computer science with practical engineering considerations for real-world big data applications. ESA Test of Time Award 2019 for Parallel Delta-Stepping algorithm Records in the JouleSort competition 2009/10 Germany Land of Ideas Award Best-paper award at ESA 2019 for fragile computing research Professor Meyer has made substantial contributions to the academic community through his leadership in the DFG priority program on Algorithms for Big Data, which has fostered significant research collaborations across Germany. His extensive publication record in top venues demonstrates sustained research productivity and impact in the algorithms community. While specific grant details aren't provided in the text, his role as spokesperson for a major DFG priority program indicates substantial research funding and leadership responsibilities. His work appears to be conducted within collaborative research environments focused on algorithm engineering and experimental evaluation. His research appears to be conducted within the Institute for Computer Science at Goethe University Frankfurt, likely involving collaborations with other researchers in the Algorithms for Big Data priority program. The extensive list of co-authored publications suggests active participation in research teams focused on parallel algorithms, graph processing, and network generation.