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

Esther Dufloمشاهده پروفایل

استاد

• Development Economics
• Poverty Alleviation
• Health
• +۷ مورد دیگر

Esther Duflo is the Abdul Latif Jameel Professor of Poverty Alleviation and Development Economics in the Department of Economics at the Massachusetts Institute of Technology (MIT). She is also co-founder and co-director of the Abdul Latif Jameel Poverty Action Lab (J-PAL), holds the Chaire, Pauvreté et politiques publiques at the Collège de France, and serves as President of the Paris School of Economics. Her research focuses on understanding the economic lives of people living in poverty to help design and evaluate social policies. Her work spans multiple domains including: Development Economics Poverty Alleviation strategies Health interventions Educational programs Financial inclusion initiatives Environmental policy Governance improvements Duflo revolutionized developmental economics by pioneering the use of randomized controlled trials to test poverty reduction measures. Her empirical approach has challenged conventional opinions about development and has helped improve the efficient use of resources in poverty alleviation programs worldwide. She co-authored the influential books "Poor Economics" and "Good Economics for Hard Times" with Abhijit Banerjee, demonstrating through field experiments how specific interventions (like providing lentils to mothers for child immunization) can dramatically improve social outcomes. Her notable scientific achievements include: Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (2019) Princess of Asturias Award for Social Sciences (2015) Infosys Prize (2014) John Bates Clark Medal (2010) MacArthur "Genius Grant" Fellowship (2009) A.SK Social Science Award (2015) Duflo has established J-PAL as a global network of over a hundred affiliated professors who use scientific evidence to inform policy decisions in the fight against poverty. J-PAL has offices across Africa, Europe, Latin America and the Caribbean, North America, and South and Southeast Asia. Her work has demonstrated the crucial importance of information in policymaking, with numerous field experiments showing how carefully designed interventions can have significant impacts on social outcomes across multiple domains including health, education, and economic opportunity.

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

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 .

Lutz Schubertمشاهده پروفایل

پژوهشگر

• Operating Systems
• Distributed Computing
• Parallel Processing
• +۳ مورد دیگر

Lutz Schubert is a researcher at the Institute of Computer Science , University of Cologne. He focuses on efficient distributed and parallel execution environments for heterogeneous systems, notably the MyThOS operating system in collaboration with Brandenburg University of Technology, Cottbus-Senftenberg. His interdisciplinary work bridges computer science and digital archaeology , addressing modeling of non-deterministic events from sparse excavation data and exploring human behavior constraints in archaeological contexts. Research Interests Design of modular, scalable operating systems for distributed systems Optimization of execution environments for heterogeneous hardware Application of complex systems modeling to digital archaeology Statistical and probabilistic methods for archaeological interpretation Autonomic resource distribution and adaptation in computing Publication Trends : His work spans operating systems , parallel computing , and digital humanities , with recent emphasis on probabilistic reasoning in archaeology and adaptive OS design for multicore architectures. Labs & Collaborations : He collaborates with Brandenburg University of Technology on MyThOS and leads research in computational archaeology as chair of Computer Applications and Quantitative Methods in Archaeology (CAA) , Germany.

Alexander Stroh-Steckelbergمشاهده پروفایل

استاد

• Comparative Democracy Research
• African Politics
• Judicial Politics
• +۵ مورد دیگر

Prof. Dr. Alexander Stroh-Steckelberg is Professor of Political Science with a focus on African Politics & Development Policy at the University of Bayreuth since 2022. He serves as Deputy Head of the Bayreuth International Graduate School of African Studies (BIGSAS) until 2025 and has held prior roles as Junior Professor and Senior Fellow at BIGSAS (2015–2021). His academic career includes research associate positions at the GIGA German Institute of Global and Area Studies (2006–2015) and teaching roles at the Universities of Abomey-Calavi, Heidelberg, and Lüneburg. Stroh-Steckelberg’s research spans comparative democracy studies , judicial politics , electoral systems , political party dynamics , and development policy in Africa, with regional expertise in Francophone West Africa and Rwanda . His work emphasizes institutional diffusion, informal networks in courts, and the interplay between formal and informal governance structures. Recent publications reveal a focus on judicial appointment policies , electoral manipulation , and local governance challenges across Africa. He contributes to methodological advancements in comparative area studies and network analysis , particularly in non-Western democracies. Stroh-Steckelberg is actively involved in academic communities including the American Political Science Association , German Political Science Association , and Association for African Studies in Germany .

Moran Lazarمشاهده پروفایل

مدرس ارشد

• Entrepreneurship
• Innovation
• New Venture Teams
• +۳ مورد دیگر

Dr. Moran Lazar is a Senior Lecturer at the Coller School of Management, Tel Aviv University, specializing in the early foundations of entrepreneurship and innovation with emphasis on new venture team formation, ideation processes, and organizational innovation leadership. Her educational background includes: PhD in behavioral science and management from the Technion - Israel Institute of Technology Research fellow at the Robert H. Smith School of Business, University of Maryland Research fellow at INSEAD Dr. Lazar integrates organizational behavior and strategy perspectives to investigate entrepreneurship micro-foundations, utilizing diverse methodologies including entrepreneurship competitions, hackathons, accelerators, educational programs, and crowdfunding platforms. Her work examines how individuals and teams generate, evaluate, and develop entrepreneurial ideas through behavioral lenses. Her publication trends reveal consistent contributions to top management journals focusing on team dynamics in nascent ventures, with recent works analyzing attachment theory in idea evaluation, relationship-business balance in team composition, and comprehensive frameworks for entrepreneurial team formation across multiple contexts including accelerators and international delegations. Dr. Lazar actively consults for global companies and facilitates innovation processes for international delegations from Europe, the United States, East Asia, and the United Arab Emirates, while sharing insights through her TEDx talk on entrepreneurial team formation.

Paul Gölzمشاهده پروفایل

استادیار

• Social Choice Theory
• Algorithmic Fairness
• AI Ethics
• +۳ مورد دیگر

Paul Gölz is an Assistant Professor at Cornell University's School of Operations Research and Information Engineering (ORIE), with affiliations in Computer Science. His research focuses on computational social choice, algorithmic fairness, and AI ethics, addressing topics like democratic innovation, fair resource allocation, and AI systems for diverse users. Education: Undergraduate studies at Saarland University (Germany), PhD in Computer Science from Carnegie Mellon University, followed by postdoctoral research at Harvard University, UC Berkeley, and the Simons Laufer Mathematical Sciences Institute. His work has been recognized with awards including the JPMorgan Chase AI Research Fellowship (2021) and honorable mentions for prestigious dissertation awards (Dantzig and ACM SIGecom). Research Highlights : Developed Panelot, a tool for selecting citizens' assemblies using state-of-the-art algorithms. His work on fair refugee resettlement and apportionment methods has been featured in Operations Research and Nature . Recent projects include AI alignment distortion analysis and generative social choice mechanisms. Teaching : Teaches Optimized Democracy (Spring 2025) and Mathematical Programming (Fall 2024). Supervises PhD students in ORIE, focusing on interdisciplinary applications of optimization and social choice. Awards & Grants : Received a $40K Structural Democracy Fellowship (Crankstart) and an OpenAI grant for Democratic Inputs to AI. Active in policy briefs (e.g., mini-public selection strategies). Labs/Tools : Co-developed Panelot.org , a nonprofit platform for fair citizen assembly selection. Active in open-source tool development for social choice applications.

• Advanced water treatment processes
• Membrane processes
• Ozonation
• +۱۳ مورد دیگر

Prof. Dr. Jörg E. Drewes is a Full Professor and Chair at the Research Institute for Urban Water Management, Technical University of Munich (TUM), Germany. He also serves as Academic Program Director for Environmental Engineering at TUM and is a co-founder of Waterloop Solutions GmbH. His work spans advanced water treatment technologies, wastewater reuse, and environmental health surveillance. Affiliations : TUM, Colorado School of Mines, King Abdullah University of Science and Technology, UNSW Water Research Centre Research focuses on advanced oxidation processes , membrane fouling mitigation , micropollutant removal , and wastewater epidemiology for public health. His team develops integrated systems for water-energy-food nexus applications and graphene oxide-based treatment solutions. Recent publications address PFAS remediation , UVC-LED pre-treatment for biofouling control, and GIS-based wastewater surveillance models . Awards include the Bayerische Staatsmedaille (2023) and William Dunbar Medal (2022). 2023 : Bayerische Staatsmedaille 2022 : William Dunbar Medal 2018 : IWA Fellow He leads the Nexus@TUM initiative and contributes to EU water resilience strategies. Collaborations include projects in Germany, China, India, and Spain, focusing on climate-resilient water systems and resource recovery .

Thomas Brinkhoffمشاهده پروفایل

استاد

• Geoinformatics
• Geodatabase Systems
• Spatio-temporal Data Processing
• +۵ مورد دیگر

Prof. Dr. Thomas Brinkhoff is Chair of the Institute Board and Chair of Geoinformatics at Oldenburg University of Applied Sciences. He leads the Institute for Applied Photogrammetry and Geoinformatics (IAPG) and contributes to institutions like the Association for the Promotion of Geoinformatics in Northern Germany (GiN e.V.) and the Oldenburg Research and Development Institute for Computer Science (OFFIS e.V.). Education: Diploma in Computer Science (Informatik), Universität Bremen (1990) Doctorate in Computer Science (Dr. rer. nat.), Ludwig Maximilian University of Munich (1994) Brinkhoff's research spans geodatabase systems, spatiotemporal data processing, geosensor analytics, and location-based services. His work addresses Volunteered Geographic Information (VGI), web-based geospatial visualization, and mobile data integration, with applications in traffic management and forensic science. Recent projects include ProSaDi (Digital Provenance and Collection Research) and contributions to the Laboratory for optical 3D metrology . He has served on program committees for ACM SIGSPATIAL (2002-2019), AGILE conferences (2010-2025), and editorial boards of journals like GeoInformatica and TGIS. Notable Lectures: 2024: Forensic applications of tachograph data 2023: Geoinformatics in homicide investigations 2022: Spatiotemporal analysis for sustainability projects 2015: Open geodata standards at FOSSGIS 2014: Mobile sensor data processing

Magnus Fröhlingمشاهده پروفایل

استاد

• Circular Economy
• Sustainability Assessment
• Bioeconomy Systems
• +۴ مورد دیگر

Prof. Magnus Fröhling is a Full Professor of Circular Economy and Sustainability Assessment at the Technical University of Munich (TUM), leading the Chair of Circular Economy and Sustainability Assessment at TUM Campus Straubing. He holds a doctorate and habilitation from the Karlsruhe Institute of Technology (KIT), specializing in material flow analysis and resource efficiency. His career includes roles as a professor at TU Bergakademie Freiberg before joining TUM in 2018. Fröhling’s research focuses on quantitative approaches for circular economy systems, including industrial value chains, built environments, and bioeconomy. He co-leads the TUM Mission Network Circular Economy, an interdisciplinary platform for research and innovation. **Education:** Bachelor/Master in Industrial Engineering, Karlsruhe University (TH) PhD in Industrial Engineering (2005), Karlsruhe University Habilitation in Business Administration (2011), KIT **Research Interests:** Circular economy concepts for automotive industry, buildings, and energy systems; sustainability assessment in bioeconomy; policy instruments for resource efficiency. His work emphasizes lifecycle analysis and closed-loop systems. **Awards:** TUM Sustainability Award (2021) and recognition for groundbreaking research on sustainability in industrial biotechnology (2020). **Advising & Grants:** Leads research initiatives like CirculaTUM, focusing on interdisciplinary collaboration. His work integrates policy analysis, technological innovation, and industrial ecology to advance sustainability goals. **Labs/Teams:** Active in TUM’s Green Fuel Center and SynBioFoundry@TUM, promoting sustainable energy and biotechnology solutions.

Hans Beckمشاهده پروفایل

استاد

• History and culture of ancient Greece
• Historical geography of Greece
• Historical environmental studies of ancient Greece
• +۵ مورد دیگر

Hans Beck serves as Professor of Greek History at the University of Münster (Westfälische Wilhelms-Universität) since 2018, with an additional appointment as Adjunct Professor in the Faculty of Arts at McGill University. His academic career includes previous positions as Professor of Ancient History and Director of Classical Studies at McGill University (2005-2018), Heisenberg Fellow at Goethe-Universität Frankfurt (2004-2005), and Research Assistant at the University of Cologne (1997-2004). Beck earned his academic training through doctoral studies at the Universities of Erlangen, Canterbury, and Cambridge (1989-1996), followed by a fellowship at the Center for Hellenic Studies in Washington, DC (2001-2002). His educational background reflects a strong international foundation in classical studies. His research spans multiple interconnected fields within ancient history, with particular emphasis on the history and culture of ancient Greece, historical geography of Greece, environmental studies of the ancient Greek world, political culture of the Roman Republic, and ancient historiography. Beck's work consistently explores themes of localism, federalism, and political structures across ancient societies, with notable contributions to understanding Greek city-states, regional identities, and comparative political systems. His approach often bridges geographical, historical, and cultural perspectives to examine how ancient communities organized themselves politically and maintained regional identities within larger frameworks. Analyzing his recent publications reveals a sustained focus on local political structures within broader contexts, particularly examining how Greek city-states maintained autonomy while participating in federal leagues. His work increasingly incorporates comparative approaches, connecting Greek political structures with those of Rome and even ancient China, reflecting his editorial work on cross-cultural studies. Beck demonstrates particular expertise in analyzing how physical landscapes shaped political organization and how religious practices reinforced regional identities. Fellow of the Royal Society of Canada (2018) Anneliese Maier Research Award from Alexander von Humboldt Foundation (2014) Heisenberg Fellowship from Deutsche Forschungsgemeinschaft (2004) Doctoral scholarship from German Academic Exchange Service (1995) Doctoral scholarship from Hanns Seidel Foundation (1994) Beck has supervised numerous doctoral students including Jordan Christopher (2022), Chandra Giroux (2021), Wentian Fu (2020), Rebecca Robinson (2017), Alex McAuley (2015), and François Gauthier (2015), covering diverse topics from ancient Qin and Macedon to cult practices in ancient empires. His academic leadership extends to directing research projects B3-49 'Belonging in/to Lakonia' and B3-40 'Localism and Religion in Ancient Greece' within the Excellence Cluster focusing on 'Religious Diversity and Legal-Political Unity.' As head of the project 'Belonging in/to Lakonia' and 'Localism and Religion in Ancient Greece,' Beck leads interdisciplinary research teams examining archaeological and historical evidence from the Sanctuary of Apollo at Amyklai and its surroundings. His work integrates textual analysis with material culture studies, creating comprehensive approaches to understanding ancient regional identities and religious practices. Beck's leadership in these projects demonstrates his commitment to bridging traditional disciplinary boundaries in classical studies.

Hillard von Thiessenمشاهده پروفایل

استاد

• European History of Early Modern Period
• International Relations in Early Modern Period
• Norm Competition in Early Modern Period
• +۴ مورد دیگر

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.

• Machine Learning Security
• AI Safety
• Privacy in Machine Learning
• +۴ مورد دیگر

Florian Tramèr is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland, leading research at the intersection of machine learning security, privacy, and AI safety. His work focuses on identifying and mitigating security vulnerabilities in machine learning systems, particularly in large language models and other AI systems. Tramèr's primary research interests include adversarial machine learning, membership inference attacks, privacy-preserving AI, and the security implications of large language models. His work has significantly advanced our understanding of how machine learning models memorize training data, how this memorization creates privacy risks, and how to evaluate the robustness of machine learning systems against various attacks. His recent publications demonstrate a strong focus on practical security challenges in deployed AI systems, including data extraction from language models, adversarial attacks against generative AI, and developing more rigorous evaluation methodologies for machine learning security. Tramèr's research has been published in top venues including ICLR, NeurIPS, ICML, and IEEE Security & Privacy. Tramèr is actively collaborating with leading researchers in the field including Nicholas Carlini, Matthew Jagielski, and Javier Rando, contributing to important initiatives like the International AI Safety Report. His work bridges theoretical security concepts with practical implications for real-world AI deployment.

• Biomechanics
• Biomimetics
• Bio-inspired Structures
• +۱۴ مورد دیگر

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.

Claudia Peusمشاهده پروفایل

استاد

• Leadership Development
• Digital Age Management
• Research Organization Leadership
• +۳ مورد دیگر

Prof. Dr. Claudia Peus is a full Professor of Research and Science Management at the Technical University of Munich (TUM) School of Management , serving since May 2011. She holds executive roles as Founding Director of the TUM Institute for LifeLong Learning (TUM IL3) since December 2019 and Executive Vice President for Talent Management and Diversity since October 2017. Her career spans visiting positions at MIT's Sloan School of Management and Harvard University, alongside her habilitation (2011) and PhD (2005) from LMU Munich. Current affiliations: TUM School of Management, TUM IL3, RWI – Leibniz Institute for Economic Research Research focuses: Leadership development in the digital age, diversity in organizations, ethical leadership, and research organization management Recent research trends analyze digital leadership dynamics, gender-decoded recruitment practices, robotic leadership interfaces, and neurophysiological mechanisms in leadership behavior. Her 2025 work on moral careers and 2024 resource-based absorption theory highlight evolving themes in organizational psychology. Scientific honors include: Highly Cited Research Award, Leadership Quarterly (2016) Emerald Citations of Excellence (2016) Best Teaching Award, TUM School of Management (2014) Academy of Management Symposium Award (2010) Bayerische Landesbank Wissenschaftspreis (2006) Prof. Peus advises organizations on diversity and talent management. She was recognized as one of Germany's Most Inspiring Women (2020) and leads projects like FührMINT, ForGenderCare, and the TUM Neurophysiological Leadership Lab (NeLeLab).

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

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.