Matthew Louis Mauriello is an Assistant Professor in the Department of Computer and Information Sciences at the University of Delaware , where he directs the Sensify Lab . He holds a PhD in Computer Science from the University of Maryland (2018) and completed postdoctoral work at Stanford University (School of Medicine, 2020; School of Public Policy & Environmental Engineering Department, 2019). Research interests span Human-Computer Interaction (HCI), Ubiquitous Computing, and User-Centered Design with applications in: Sustainability Human-Building Interaction Wearable Technology Personal Informatics Educational Game Design Mental Health Interventions Recent publications highlight trends in stress monitoring (skin-like biosensors, workplace wellbeing), energy auditing (thermography systems), and educational technology (block-based programming tools for teachers). His work appears in ACM CHI, ACM Human-Computer Interaction, and Building and Environment. Scientific awards include: Best Paper Honorable Mention, CHI 2016 Best Paper Honorable Mention, CHI 2015 Best of WebSci'18 Teaching at University of Delaware encompasses courses like Educational Game Design Operating Systems Advanced Web Technologies Computing for Social Good with a focus on project-based learning and systems thinking.
Walid Magdy is a Professor at the School of Informatics, The University of Edinburgh, where he is a faculty member at the Institute for Language, Cognition and Computation (ILCC). He holds a PhD from Dublin City University's School of Computing and has been a faculty fellow at The Alan Turing Institute. With substantial industry experience, he has worked for Qatar Computing Research Institute (QCRI), Microsoft, and IBM, where he filed nine patents. His research spans computational social science and natural language processing. In computational social science, he focuses on social content analysis, political bias detection, polarization, and users' behavior analysis/prediction, with particular attention to understudied communities. His natural language processing work centers on social applications including sentiment analysis, sarcasm detection, and hate-speech identification, with specialized expertise in Arabic and its dialects as well as Persian. Professor Magdy's recent publications demonstrate a consistent focus on Arabic language processing and social media analysis, with growing attention to cultural factors in NLP systems. His work bridges computational methods with social science questions, particularly regarding misinformation, cultural differences in online behavior, and the impact of platform policies on diverse linguistic communities. He has expanded his research to include Persian language processing and continues to explore social dynamics across different cultural contexts. His significant contributions have been recognized with multiple awards: Best Demo Award for TwiXplorer at CSCW 2024 Outstanding Paper Award at ACL 2024 Best Paper Award Runner-up at SocInfo 2022 Best Paper Award at WANLP-EMNLP 2022 Best Paper Award at AIRS 2015 Best Dataset Award at ICWSM 2013 Professor Magdy serves as an editor for Springer's Social Network Analysis and Mining journal and has held leadership roles in major conferences including ACL 2023, ArabicNLP 2023, ICWSM 2022, and ASONAM 2022. He has co-organized numerous shared tasks focused on Arabic language processing and social media analysis, contributing significantly to community resources and benchmarks. He founded and directs the Social Media Analysis and Support for Humanity (SMASH) research group at the University of Edinburgh, which has organized the Summer School in Computational Social Science (SICSS-Edinburgh) in 2022, 2023, and 2025, training researchers in computational social science methodologies.
Rochester Institute of Technology (RIT)United States
Daniel Krutz is an Associate Professor in the Department of Software Engineering at Rochester Institute of Technology (RIT) , with a secondary appointment as Courtesy Associate Professor at the University of Florida's Department of Computer & Information Science & Engineering. He directs the AWARE Lab , focusing on Autonomous Systems, Warfare Applications, and Software Engineering , supported by $6M+ in federal grants from NSF, NSA, DOD, and AFRL. His research spans AI/ML, Self-Adaptive Systems, Decision Support Systems, and Accessibility in Computing Education . He holds a PhD from Nova Southeastern University and has taught courses including Software Engineering Freshman Seminar and Capstone Research Project . He is an NSF CAREER Award recipient (2022) and former AFRL Fellow (2018). Educations: BS, St. John Fisher College MS, Rochester Institute of Technology PhD, Nova Southeastern University Labs: AWARE Lab (Autonomy, Warfare, and Engineering) Awards: NSF CAREER Award (2022) AFRL Research Faculty Fellowship (2018) Teaching: Undergraduate/Graduate courses in software engineering, accessibility, and AI/ML Research Interests: Focus on experiential learning in computing education, neuroevolutionary algorithms, and AI ethics. Recent projects address empathy-building interventions for inclusive software development and context-aware decision support systems . Grants & Funding: Over $6M secured since 2018 from NSF, DOD, and NSA for projects in AI/ML, cybersecurity, and adaptive systems. Current work explores AI-driven stock trading frameworks and accessibility education modules.
Sean Cao serves as Associate Professor (with tenure) at the Robert H. Smith School of Business, University of Maryland, where he is Director and Co-founder of the AI Initiative for Capital Market Research. He also holds an affiliation as professor at Harvard Business School's D 3 Institute. His academic journey began with a Ph.D. from the University of Illinois at Urbana-Champaign. Dr. Cao's research focuses on the intersection of artificial intelligence and capital markets, with particular expertise in how machine learning transforms financial analysis, corporate disclosure practices, and investment decision-making. His work examines the evolving relationship between human analysts and AI systems, blockchain applications in financial reporting, and the strategic adaptation of corporate communications for machine readership. He has pioneered research on the "AI divide" among investor groups and developed frameworks for human-AI collaborative stock analysis. His publication portfolio spans top journals including Journal of Financial Economics, Review of Financial Studies, Journal of Accounting Research, and Management Science. The research demonstrates consistent thematic progression toward increasingly sophisticated AI applications in finance, with recent work exploring distributed ledger technologies for auditing, machine learning for extracting private information from disclosures, and the economics of greenwashing in ESG funds. His studies frequently combine textual analysis with traditional financial metrics to uncover novel market insights. Fama-DFA Prize from Journal of Financial Economics for best paper in capital markets and asset pricing Michael J. Brennan Award from Review of Financial Studies Deloitte Initiative for AI and Learning award for developing trustworthy AI for social equity PanAgora Asset Management's Dr. Richard A. Crowell Memorial Prize Multiple best paper awards from Midwest Finance Association, Global AI Finance Conference, and Asian Finance Association Dr. Cao has delivered over 200 invited research talks at major institutions including the Central Bank of Japan, Central Bank of Thailand, and U.S. Securities and Exchange Commission. He serves as Guest Associate Editor for Management Science and has co-chaired Review of Financial Studies conferences on FinTech and Machine Learning. His educational initiatives include a widely adopted free AI textbook for finance and accounting that has been implemented at universities worldwide including Indiana University, UT Dallas, and University of Minnesota. As Director of the AI Initiative for Capital Market Research, Dr. Cao leads a multidisciplinary team exploring practical AI applications in finance. The initiative has secured significant funding including a $150,000 grant from GRF CPAs & Advisors. His research group maintains strong industry connections through partnerships with regulatory bodies, financial institutions, and technology companies, facilitating the translation of academic research into practical financial applications.
Aniket (Niki) Kittur is a Professor in the Human-Computer Interaction Institute (HCII) at Carnegie Mellon University's School of Computer Science. His research focuses on AI-augmented cognition, exploring how humans and computational systems can partner to accelerate knowledge acquisition and innovation. With over 100 peer-reviewed publications and 17 best paper awards or honorable mentions, Dr. Kittur has established himself as a leader in human-computer interaction and social computing. Dr. Kittur's research spans multiple interconnected areas focused on enhancing human cognition through technology. His work on crowd-augmented cognition examines how crowds and computation can collectively enhance human intellect. In social computing, he investigates how sociotechnical architectures can motivate and coordinate large groups for complex tasks. His research in data visualization and sensemaking explores how people collect, organize, and make decisions with online information. Most recently, his work has shifted toward LLM-augmented cognition, investigating how humans and large language models can work together in partnership to achieve better decisions and greater creativity than either could alone. Dr. Kittur's publications reveal a consistent trajectory toward increasingly sophisticated human-AI collaboration systems. Early work focused on crowdsourcing complex tasks (CrowdForge, CrowdSynthesis), then evolved to knowledge acceleration systems (Knowledge Accelerator, Fuse), and has recently centered on LLM-integrated cognition (Selenite, InkSpire, BioSpark). His research consistently demonstrates practical impact, with systems influencing products used by millions and receiving coverage in major media outlets including Nature News, The Economist, and The Wall Street Journal. Kavli fellow NSF CAREER award recipient Allen Newell Award for Research Excellence Inductee into the CHI Academy 17 best paper awards or honorable mentions across his publications Dr. Kittur has advised numerous students, including Andrew Kuznetsov, and has secured major research funding from NSF, NIH, Google, Microsoft, Bosch, Toyota, and other organizations. His Skeema browser extension project, which addresses tab overload through innovative project-based organization, has shown remarkable user retention and represents a practical application of his research on knowledge acceleration. His work with industry partners has influenced products used by millions, including Semantic Reader, Google Shopping, and Wikipedia features.
Jackie Chit Kit Cheung is an Associate Professor in the School of Computer Science at McGill University, where he co-directs the Reasoning and Learning Lab. He holds the Canada CIFAR AI Chair and serves as an Associate Scientific Co-Director at the Mila Quebec AI Institute. He is also a consulting researcher at Microsoft Research Montreal. Academic Background: Ph.D. in Computer Science, University of Toronto (2010–2014) M.Sc. in Computer Science, University of Toronto (2008–2010) B.Sc. (Honours) in Computer Science, minors in Linguistics and German, University of British Columbia (2004–2008) Research Interests: Jackie Cheung's research lies at the intersection of natural language processing, machine learning, and cognitive science. He focuses on natural language generation , automatic summarization , commonsense and pragmatic reasoning , and the evaluation of NLP systems . His work aims to build language models that reflect real-world structure and reasoning, with applications in health, education, and language revitalization. He is particularly interested in how implicit meaning is processed in context, a core concern in linguistic pragmatics. Publication Trends: His recent publications (2024–2025) show a strong emphasis on evaluation methodologies (e.g., COSMIC, ECBD), hallucination and factuality in language models, coreference and reasoning , and long-context modeling . He frequently collaborates across institutions and integrates insights from linguistics and psychology into NLP system design and analysis. Scientific Awards: Best Paper Award, ACL 2018 Outstanding Paper Award, NAACL 2018 Student Research Workshop SAC Award, ACL 2024 (for COSMIC) Best Poster Award, CMDO AI-Health Symposium 2024 Advising and Grants: He advises a large and diverse group of graduate students, including PhD and Master’s candidates, often in co-supervision with other faculty. His group has received support from major AI and health research initiatives, including CIFAR and Mila. He has trained alumni who have gone on to faculty and industry research positions. He has served in leadership roles in top NLP conferences, including as Senior Area Chair, Workshop Chair, and Program Chair of Canadian AI 2018. Labs and Teams: He co-directs the Reasoning and Learning Lab at McGill and is deeply involved with Mila – Quebec AI Institute . He founded the NLP Reading Group at McGill, which brings together researchers from computer science, linguistics, and information studies to discuss theoretical and applied NLP topics.
University of Illinois Urbana-ChampaignUnited States
Derek W Hoiem is a Professor in the Siebel School for Computing and Data Science at the University of Illinois Urbana-Champaign, where he has been a faculty member since 2009. His research focuses on computer vision and related areas, and he is also the co-founder and Chief Science Officer of Reconstruct, an AI-based construction technology company. His educational background includes: PhD in Robotics, Carnegie Mellon University (2007) Beckman Postdoctoral Fellowship (2008) Prof. Hoiem's research spans computer vision, with a focus on object recognition, scene understanding, and graphics. His work also extends to mobile robotics and 3D scene reconstruction. He has made significant contributions in areas such as visual recognition, 3D modeling, and the application of computer vision in construction monitoring. His recent publications (2023-2025) demonstrate a strong focus on advancing multimodal understanding, particularly in region-based representations, 3D vision, and neural radiance fields. There is a clear trend towards integrating language and vision, improving efficiency in neural networks, and applying computer vision to real-world problems such as construction progress monitoring. His scientific awards and honors are extensive and include: IEEE Fellow (2022) University Scholar (2022) Koendrink Prize (2022) Dean's Award for Excellence in Research, Associate Professor (2021) Campus Distinguished Promotion Award (2015) Best Paper Award: IEEE Winter Conference on Applications in Computer Vision (WACV) (2015) CW Gear Junior Faculty Award (2014) IEEE PAMI Young Researcher Award (2014) Dean's Award for Excellence in Research, Assistant Professor (2014) Sloan Research Fellowship (2013) Intel Early Career Faculty Honor Program Award (2012) NSF CAREER Award (2011) ACM Doctoral Dissertation Award, Honorable Mention (2008) Carnegie Mellon University SCS Distinguished Dissertation Award (2008) Best Paper Award: IEEE Computer Vision and Pattern Recognition (CVPR) (2006) Prof. Hoiem has secured significant research funding, including an NSF CAREER award and an Intel Early Career Faculty award. He is also actively involved in technology transfer, having co-founded Reconstruct where he serves as Chief Science Officer. His teaching excellence is reflected in multiple "List of Teachers Ranked as Excellent" awards spanning from 2010 to 2021. Prof. Hoiem leads a research group at UIUC focused on computer vision and 3D scene understanding. Additionally, he co-founded and serves as Chief Science Officer at Reconstruct, which develops AI-based solutions for construction monitoring.
Gilbert Fridgen is Full Professor in Digital Financial Services and holder of the PayPal-FNR PEARL Chair at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT). He leads the FINATRAX research group focusing on blockchain, digital identity, and sustainable digital solutions. His research explores decentralized technologies in finance, energy systems, and public administration. Current projects investigate blockchain applications in industrial demand response, NFT markets, EU digital identity wallets, and DeFi institutional adoption. Prof. Fridgen examines the intersection of technology with regulatory frameworks and user behavior in energy and financial systems. He collaborates extensively with industry partners including PayPal and Spuerkeess. Prof. Fridgen actively contributes to EU digital policy discussions, particularly regarding the European Digital Identity Wallet framework and decentralized finance governance.
Jon Singletary serves as Dean and holds the Diana R. Garland Endowed Chair of Child and Family Studies at Baylor University's Diana R. Garland School of Social Work. He joined Baylor in 2003 after earning his PhD in Social Work from Virginia Commonwealth University (VCU), alongside an MSW from VCU and MDiv from Baptist Theological Seminary. His career includes prior roles as Associate Dean (2010–2015) before becoming Dean in 2015. Before academia, Singletary worked as a pastor, community organizer, and social service administrator. His research focuses on strengthening congregational ministries, community development, and advocacy for vulnerable populations. Notable projects include launching the Texas Hunger Initiative and directing the Strengthening Congregational Community Ministries Project. He co-founded the Faith and Service Technical Education Network (FASTENnetwork.org) to bridge faith-based organizations and social service sectors. His publications explore spirituality's role in social work, faith-based program development, and community organizing strategies. Recent work examines career resilience among professionals in aging care and leadership development through Enneagram frameworks. Earlier research addressed child food security, orphan care in Kenya, and rural community capacity building. Singletary's leadership emphasizes integrating faith and practice, evidenced by his edited volumes on Christianity and social work, and his advocacy for competency-based education models. He holds leadership roles in national organizations like the North American Association of Christians in Social Work and has advised global initiatives in Africa.
Christopher Potts is Professor and Chair of Linguistics at Stanford University, with a courtesy appointment as Professor of Computer Science. He serves as Director Emeritus of the Stanford Center for the Study of Language and Information (CSLI) and leads the Pragmatic Enrichment & Contextual Interface Lab. His work bridges theoretical linguistics and computational approaches to language understanding. Education: B.A. in Linguistics from New York University (1999) Ph.D. in Linguistics from University of California, Santa Cruz (2003) Potts' research focuses on how computational methods can illuminate linguistic phenomena, particularly in the areas of semantics, pragmatics, and sentiment analysis. His work explores how emotion is expressed in language and how linguistic production and interpretation are influenced by context. He has made significant contributions to understanding conventional implicatures, sentiment analysis frameworks, and the application of neural networks to linguistic problems. His recent work has increasingly focused on the interpretability of large language models and the development of frameworks like DSPy for building reliable AI systems. An analysis of Potts' recent publications reveals a strong trend toward the intersection of linguistic theory and practical AI applications. His work spans theoretical linguistics (e.g., compositionality, preposing constructions), neural network interpretability, and practical NLP systems (e.g., ColBERT, DSPy). The research demonstrates consistent focus on making language models more transparent, controllable, and linguistically informed, with particular attention to how context shapes meaning. Scientific Awards: Best Paper Award at 2024 ACL for 'Mission: Impossible Language Models' Outstanding Paper Award at 2024 ACL for 'CausalGym' ACL Test of Time Award 2023 Dean's Award for Distinguished Teaching (2015-2016) Best New Data Set or Resource Award at 2015 EMNLP Potts has secured numerous research grants as PI or Co-PI from major organizations including Google, Amazon, NSF, Office of Naval Research, and Stanford's HAI institute. His current projects focus on evaluation of retrieval-augmented generation systems, LLM-mediated communication in organizations, interpretability techniques for language models, and frameworks like DSPy for building next-generation AI systems. He has mentored numerous researchers who have gone on to make significant contributions in NLP and computational linguistics. As Director of CSLI (2013-2020) and current Chair of Linguistics at Stanford, Potts has played a key leadership role in shaping interdisciplinary research at the intersection of language, computation, and cognition. His Pragmatic Enrichment & Contextual Interface Lab continues to be a hub for innovative research combining formal linguistic theory with cutting-edge computational methods.
Professor Nancy W. Y. Law is a leading scholar in Learning Sciences and Technology at the University of Hong Kong's Faculty of Education . She has served as Founding Director of the Centre for Information Technology in Education (CITE) (1998-2013) and currently holds the Chair of Learning Sciences and Technology . Her career spans over 25 years of international comparative studies, policy analysis, and large-scale educational innovation. Current roles: Associate Dean (Strategic Development), HKU Key affiliations: Sciences of Learning Strategic Research Theme (co-convener) Research Expertise Her work focuses on technology-enhanced learning , digital literacy , knowledge building communities , and multilevel educational change . She pioneered network models of teacher innovation and socio-technical frameworks for sustainable pedagogical transformation, particularly in STEM education and Cyberbullying prevention . Scientific Leadership With over 25 major research grants (2000-2023) exceeding HK$50 million, she leads projects like: Learning and Assessment for Digital Citizenship Jockey Club Self-directed Learning in STEM Design-Aware Learning Analytics A Fellow of the International Society of Learning Sciences and recipient of the HKSAR Humanities and Social Sciences Prestigious Fellowship , she has supervised numerous international comparative studies including SITES 2006, ICILS 2013, and longitudinal digital citizenship research (2019-2021).
Dr. Enrica Dall'Ara serves as the Associate Dean of Planning and Landscape Architecture and an Associate Professor at the University of Calgary's School of Architecture, Planning and Landscape. Her work bridges academic research and professional practice, exemplified through her firm PARC, which specializes in public space design, urban renewal, and the rehabilitation of industrial sites. She emphasizes interdisciplinary collaboration, integrating fields like environmental engineering and biology into landscape architecture. Education: Laurea in Architettura (Master Degree equivalent in Architecture), University of Ferrara, Italy Master in Landscape Architecture, ETSAB, Polytechnic University of Catalonia, Spain PhD in Landscape Design, University of Florence, Italy Research Interests: Dr. Dall'Ara focuses on practice-based research, public space design, service landscapes, and the integration of cultural advocacy into landscape architecture. Her work explores site-specific design solutions, the role of agriculture in urban-rural dynamics, and the preservation of traditional rural landscapes. She advocates for designs that serve life through poetic, functional, and culturally sensitive approaches. Contributions: Through her teaching, Dall'Ara encourages students to view design as research, fostering critical thinking and interdisciplinary dialogue. Her firm’s projects, such as the roundabout gardens in Imola, Italy, demonstrate her commitment to merging ecological, functional, and aesthetic considerations in landscape interventions. Professional Affiliations: Canadian Society of Landscape Architects (CSLA) Alberta Association of Landscape Architects (AALA) Associazione Italiana di Architettura del Paesaggio (AIAPP) Ordine degli Architetti, Pianificatori, Paesaggisti e Conservatori (Province of Forlì-Cesena, Italy)
Tim G. J. Rudner is an Assistant Professor in the Department of Statistical Sciences at the University of Toronto, a Faculty Member at the Vector Institute, and a Title A Fellow at Trinity College, University of Cambridge. He was previously an Assistant Professor and Faculty Fellow at New York University. University: University of Toronto School: Faculty of Arts and Science Department: Department of Statistical Sciences Affiliation: Vector Institute, Trinity College (Cambridge) He holds a PhD in Computer Science and an MSc in Statistics from the University of Oxford, where he was advised by Yee Whye Teh and Yarin Gal, and a BS in Applied Mathematics and Economics from Yale University. PhD: Computer Science, University of Oxford MSc: Statistics, University of Oxford BS: Applied Mathematics and Economics, Yale University His research focuses on building robust, transparent, and trustworthy machine learning systems, particularly for high-stakes applications. He develops probabilistic models that improve generalization under distribution shifts, provide reliable uncertainty estimates, and enable fair and interpretable predictions. His work spans generative models, large language models, healthcare, and biomedical discovery. The recent publications highlight a strong trend toward function-space modeling, Bayesian regularization, and AI safety. Tim's work emphasizes principled uncertainty quantification, robustness to subpopulation and semantic shifts, and the development of frameworks for AI governance and specification. His research bridges theoretical advances with real-world applications, especially in safety-critical domains like medicine and defense. Tim has received numerous accolades including being named a Rhodes Scholar, Qualcomm Innovation Fellow, and 2024 Rising Star in Generative AI. He was awarded a $700,000 Foundational Research Grant and a $30,000 Apple Seed Grant for improving LLM trustworthiness. Rhodes Scholar Qualcomm Innovation Fellow AISTATS Notable Paper Award (2024) Outstanding Paper Award, ICLR GenAI4DM Workshop (2024) Apple Seed Grant ($30,000) Foundational Research Grant ($700,000) NeurIPS Spotlight Talk 2024 Rising Star in Generative AI He actively mentors students, particularly first-generation and low-income scholars, and has contributed to major policy frameworks including the OECD AI Classification Framework and a series of CSET issue briefs on AI safety. His work demonstrates a strong commitment to responsible AI development, combining technical rigor with societal impact. Tim leads research efforts at the intersection of machine learning theory and practical deployment, with ongoing projects in generative modeling, reliable LLMs, and AI governance. His lab produces high-impact work regularly published at top-tier conferences such as NeurIPS, ICML, and AISTATS.
Alp Atakan Overview Alp Atakan is a Professor and Head of School in the School of Economics and Finance at Queen Mary University of London. He holds a PhD from Columbia University and previously served as an Assistant Professor at Northwestern University and Associate Professor at Koç University. His research focuses on Microeconomic Theory, Game Theory, Auction Design, and Information Economics. Key contributions include studies on reputation dynamics, search markets, and information aggregation in auctions. Education PhD in Economics (with distinction), Columbia University, 2003 MA in Economics, Columbia University, 2000 MBA, Columbia University, 1997 BS in Economics, University of Pennsylvania, 1993 Research & Grants Recipient of an ERC Consolidator Grant (2016–2021) for 'Market Selection, Frictions, and the Information Content of Prices'. Notable research includes work on bargaining dynamics, price discovery mechanisms, and the role of information asymmetry in auctions. He has published in top journals like Econometrica , Journal of Economic Theory , and American Economic Review . Teaching spans MBA/EMBA courses on managerial economics and microeconomic theory, alongside advanced graduate courses in game theory and dynamic programming. Grants & Projects ERC Consolidator Grant: Market Selection & Price Information (€1,089,000) Tubitak Grants: Sequential Debate (2014–2015) and Auctions & Information (2012–2014) His work bridges theoretical economics with practical market design, emphasizing strategic interactions in decentralized systems.
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.
