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

David Stillwellمشاهده پروفایل

استاد

• Psychometrics
• Computational Social Science
• Big Data Analytics
• +۳ مورد دیگر

David Stillwell serves as Professor of Computational Social Science at Cambridge Judge Business School and Academic Director of The Psychometrics Centre, University of Cambridge. His research leverages big data to understand human psychology and behavior, with significant contributions in personality prediction from digital footprints and personalized advertising applications. His educational background includes: BSc in Psychology from the University of Nottingham (2007) MSc in Research Methods from the University of Nottingham (2008) PhD in Decision Making from the University of Nottingham (2012) Dr. Stillwell's research centers on computational social science and psychometrics, pioneering the myPersonality Facebook application that collected data from over 6 million users. His work demonstrates computers can predict personality as accurately as spouses, reveals psychological targeting's advertising effectiveness, and establishes links between personality-matched spending and life satisfaction. He also explores linguistic honesty markers through profanity analysis and personality-based dating patterns. His recent publications (2019-2025) reveal a strong trajectory toward AI evaluation using psychometric frameworks, particularly in medical and general-purpose AI assessment. Key themes include fairness metrics in language models, crisis emotional responses through social media, and computational personality recognition - demonstrating consistent innovation at the psychology-technology intersection. He has received significant recognition: Top 10 most influential papers of 2013 by Altmetric Nieman Journalism Lab highlight of 2013 Named in 'top 30 thinkers under 30' by Pacific Standard Magazine Dr. Stillwell maintains active industry engagement through consultancy with Barclays, Hilton, and Ubisoft on projects spanning computer-adaptive testing systems to interactive experiences like Predictive World for Watch Dogs 2. His policy impact is substantial, with citations by the European Data Protection Supervisor, World Bank, and multiple national governments, leading to speaking engagements at the European Parliament and Bank of England. As Academic Director of The Psychometrics Centre, he leads a global hub for advancing psychological assessment through innovative methods including Concerto open-source software, collaborating with organizations ranging from the European Commission to major corporations on psychometric applications in people analytics and digital behavior.

• Business Process Management
• Process Mining
• Software Engineering
• +۳ مورد دیگر

Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.

Takuya Oouraمشاهده پروفایل

استادیار

• Numerical Analysis
• Numerical Integration
• Algorithms
• +۳ مورد دیگر

Takuya Ooura is an Assistant Professor at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University, specializing in numerical analysis and mathematical software development. His work bridges theoretical mathematics with practical applications in scientific computing and software development. Dr. Ooura earned his educational credentials through a rigorous academic path: he graduated from Hokuriku High School in 1987; completed his undergraduate studies at Nagoya University's School of Science in 1992; earned his Master of Engineering from the Department of Applied Physics at the University of Tokyo in 1994; and completed his PhD (Engineering) from the same department in 1997. His academic journey continued with a Research Fellowship from the Japan Society for the Promotion of Science (1997) followed by a position as Research Associate at RIMS, Kyoto University (2000). Dr. Ooura's research focuses on numerical integration algorithms, particularly his groundbreaking double exponential formula for Fourier-type integrals, which has been incorporated into Mathematica's NIntegrate function. He has also developed a high-speed FFT library that's utilized in Google Chrome browser (visible in chrome://credits). His work on continuous Euler transformation for accelerating convergence of slowly decaying integrals represents significant innovation in numerical analysis. His research spans both theoretical development and practical implementation of mathematical algorithms with real-world applications. His publication record demonstrates consistent contributions to numerical analysis, with particular emphasis on quadrature methods, integral transforms, and high-precision computation. His work shows a clear progression from theoretical foundations to practical implementations, with several algorithms achieving widespread adoption in commercial and open-source software. Paper prize awarded by JSIAM (2000) for 'A continuous Euler transformation and its application to Fourier transforms of slowly decaying functions' Paper prize awarded by JSIAM (2001) for 'Improvement of the PI Calculation Algorithm and Implementation of Fast Multiple-Precision Computation' Paper prize awarded by JSIAM (2005) for 'An Improved Convergence Test for the Double Exponential Formula' Japan Society for Industrial and Applied Mathematics 4th Achievement Award (2014) for 'Pioneering and practical development of the double exponential numerical integration method' Dr. Ooura has developed several widely used mathematical software packages including the double exponential integral formula, Clenshaw-Curtis numerical integration rule, and a general-purpose FFT library. His FFT package is particularly notable for its speed and accuracy, with benchmark tests showing superior performance compared to other implementations. His software has been incorporated into major projects including Google Chrome and SETI@home, demonstrating the practical impact of his theoretical work. His future research directions include further development of numerical computation libraries and applying his methods to various computational problems.

• Computer Vision
• Machine Learning
• Data-Driven Learning
• +۵ مورد دیگر

Alexei A. Efros is the Howard Friesen Professor in the EECS Department at the University of California, Berkeley, and a core member of the Berkeley Artificial Intelligence Research (BAIR) Lab. Previously, he spent a decade at Carnegie Mellon University’s Robotics Institute. His research focuses on data-driven computer vision, self-supervised learning, computational photography, and generative models. He has pioneered advancements in visual representation learning, including seminal work on neural radiance fields and generative adversarial networks. Education Background: Efros holds a PhD in Computer Science from MIT, though specific details of his academic journey are not explicitly provided in the text. His career includes postdoctoral research at the University of Oxford with Andrew Zisserman and collaborative work with Team WILLOW at INRIA Paris. Research Interests: Efros explores how vast uncurated visual data can be leveraged for understanding and synthesizing the visual world. Key areas include self-supervised learning, generative models, and applications in robotics and art. His lab has contributed influential techniques such as Style Transfer, GAN-based image synthesis, and neural scene representation learning. Recent work emphasizes real-time adaptation (Test-Time Training), 3D perception models, and ethical AI implications of generative systems. Publications: Over 150+ publications span topics like Generative Adversarial Networks (GANs), unsupervised learning, and visual-linguistic models. Notable works include Unpaired Image-to-Image Translation (CUT/GAU), Style Transfer , and Swapping Autoencoder . His research has significant industry impact, with techniques adopted in Adobe’s software and generative AI applications. Grants & Collaborations: Efros has secured major funding from NSF, DARPA, and industry partnerships (e.g., Adobe, NVIDIA). He co-leads projects on scalable vision models, ethical AI, and real-world perception systems. Current collaborations include work with MIT, NYU, and INRIA Paris. Labs & Teams: Leads the BAIR Vision Group at Berkeley, fostering interdisciplinary research between computer vision, graphics, and robotics. The group emphasizes Slow Science principles, prioritizing deep exploration over rapid publication.

Sarita V Adveمشاهده پروفایل

استاد

• Computer Architecture
• Extended Reality Systems
• Heterogeneous Computing
• +۴ مورد دیگر

Sarita V Adve is the Richard T. Cheng Professor of Computer Science at the University of Illinois at Urbana-Champaign, where she conducts research spanning hardware, programming languages, operating systems, and applications with a focus on domain-specific systems. Her work bridges theoretical foundations and practical implementations, particularly in extended reality and heterogeneous computing. Her educational background includes a Ph.D. and M.S. in Computer Science from the University of Wisconsin-Madison (1993, 1989) and a B.Tech in Electrical Engineering from the Indian Institute of Technology Bombay (1987). Prior to joining Illinois, she served on the faculty at Rice University from 1993 to 1999. Adve's research centers on generalizable and scalable specialization for domain-specific systems, with current emphasis on extended reality (XR) systems including virtual, augmented, and mixed reality. She chairs the ILLIXR consortium to democratize XR research and developed the first fully open-source XR system (ILLIXR). Her foundational contributions include memory consistency models for C++ and Java programming languages, the Spandex coherence framework for heterogeneous systems, and software-driven approaches for hardware reliability. Her work spans hardware reliability (SWAT and RAMP projects), power management (GRACE system), and instruction-level parallelism. Recent publications reveal a strong focus on energy-efficient XR systems, hardware-software co-design for AI workloads, and resilience analysis. Her team explores rendering offload, visual-inertial odometry optimization, and compositional error injection frameworks, often targeting tradeoffs between energy, latency, and accuracy in mobile and edge environments. Fellow of the American Academy of Arts and Sciences Fellow of the ACM and IEEE ACM/IEEE-CS Ken Kennedy Award Anita Borg Institute Woman of Vision in Innovation Award ACM SIGARCH Maurice Wilkes Award Alfred P. Sloan Research Fellowship UIUC University Scholar University of Illinois Campus Award for Excellence in Graduate Student Mentoring Adve actively mentors students and has received multiple teaching awards. She co-founded the CARES movement to address discrimination in CS research events and chairs CS@Illinois CARES. Her service includes leadership roles in ACM SIGARCH (2015-2019), DARPA/ISAT study group, ACM Council, and Computing Research Association. She has secured significant funding including DARPA initiatives and Google Faculty Research Awards. She leads the ILLIXR consortium and has established collaborative research programs such as the $8.3M DARPA Joint University Microelectronics Program. Her lab focuses on open-source XR development, heterogeneous system architectures, and reliability-aware designs, with strong industry and government partnerships.

• 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.

Xiangyu Zhangمشاهده پروفایل

استاد

• AI Security
• Software Engineering
• Programming Languages and Compilers
• +۵ مورد دیگر

Xiangyu Zhang is the Samuel D. Conte Professor of Computer Science at Purdue University. He specializes in AI security, software analysis, and cyber forensics, with a focus on detecting vulnerabilities in traditional software and AI systems. His research includes dynamic slicing, program profiling, and securing AI models against backdoors. He has led projects funded by DARPA, IARPA, NSF, and industry, securing over $13 million in grants. He has mentored 30+ PhD students and postdocs, many of whom hold academic positions or industry roles. His work has been recognized with awards like the ACM SIGPLAN Distinguished Dissertation Award and NSF Career Award. Education: PhD, Computer Science, University of Arizona (2006) MS & BS, Computer Science, University of Science and Technology of China (2000 & 1998) Research Interests: AI Security: backdoor detection, adversarial attacks, model integrity Program Analysis: dynamic slicing, static/dynamic debugging Cyber Forensics: log analysis, attack investigation Software Reliability: fault localization, vulnerability detection Key Projects: DARPA V-SPELLS: domain-specific program analysis IARPA TrojAI: AI backdoor detection competitions NSF-funded research on model debugging and co-reasoning of software/NL artifacts Awards & Recognition: Top performer in IARPA TrojAI competitions (13/18 rounds) ACM SIGPLAN Distinguished Dissertation Award (2006) NSF Career Award (2009) Ranked 8th globally in systems research productivity (2024) Career Contributions: Secured over $13M in research funding Guided 25 PhDs and 8 postdocs Published 89+ top-tier papers (2014–2024)

Adriana Tapusمشاهده پروفایل

استاد

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

Adriana Tapus is a Full Professor at ENSTA Paris, affiliated with Institut Polytechnique de Paris, leading the Autonomous Systems and Robotics Laboratory (SAR) within the Computer Science and Systems Engineering Unit (U2IS). She holds an HDR (Habilitation) and a PhD from EPFL, Switzerland, with postdoctoral experience at USC. Her research focuses on socially assistive robotics, human-robot interaction (HRI), and personalized therapy for individuals with physical/cognitive impairments. She directs the IP Paris Doctoral School and coordinates national/international projects like the EU-funded ENRICHME and SWEET. Education: PhD in Mobile Robotics, EPFL (2005) Habilitation (HDR), ENSTA Paris (2011) M.S. Computer Science, University Joseph Fourier Engineer, Politehnica University of Bucharest Research Interests: Tapus pioneers socially assistive robotics, integrating machine learning, human modeling, and multimodal communication (verbal/non-verbal/para-verbal). Her work addresses adaptive therapies for vulnerable populations using robotics, physiological data interpretation, and context-aware interaction. Key themes include: Human-robot cooperation and trust Emotion recognition and expression Personalized rehabilitation systems AI ethics and human-centered design Publications: Over 150 articles, with recent work exploring humor in HRI, teleoperation trust models, and cross-cultural intelligent vehicles. Notable 2025 contributions include studies on robot laughter efficacy and multimodal facial expression frameworks. Awards: 2025: 4 IROS papers accepted 2016: 25 Women in Robotics recognition 2010: Romanian Academy Award Multiple conference best paper awards (RO-MAN, ICRA, etc.) Advising & Grants: Supervised over 20 PhD students and led projects like EU Horizon 2020 ENRICHME. Current students focus on teleoperation dynamics, robot humor, and haptic interfaces. Active in editorial roles (IJSR, THRI) and conference organization (HRI General Chair 2019). Labs/Teams: Founder of RoboticsByDesign lab and co-initiator of the Hi! Paris interdisciplinary AI center. The SAR lab develops systems for healthcare, education, and human-robot collaboration.

Fabian Fagerholmمشاهده پروفایل

استادیار

• Software Engineering
• Human-Computer Interaction
• Agile Development
• +۳ مورد دیگر

Fabian Fagerholm is an Assistant Professor in the Department of Computer Science at Aalto University. His work bridges software engineering, human-computer interaction, and empirical research methodologies. He actively participates in research groups such as Software and Service Engineering (SSE) and Human-Computer Interaction and Design (HCID). Fagerholm's research explores: Continuous experimentation in software development Developer cognition and mental models Agile methodologies and team dynamics Low-code platforms and end-user programming Software engineering education and pedagogy His publications reflect a strong empirical focus, with recurring themes of human factors in technical systems and educational innovation. He has received notable awards including: Journal of Systems and Software Best Paper Award (2018) EUROMICRO SEAA Distinguished Paper Award (2017) Teacher of the Year (2013) Nokia Foundation Scholarship (2013) Fagerholm contributes to software engineering infrastructure through tools for experimentation and boundary artifacts, enhancing collaboration in distributed teams.

Martin T. Wellsمشاهده پروفایل

استاد

• Applied Statistics
• Theoretical Statistics
• Bayesian Statistics
• +۷ مورد دیگر

Martin T. Wells is the Charles A. Alexander Professor of Statistical Sciences at Cornell University, with joint appointments in the Department of Statistical Science, Department of Biological Statistics and Computational Biology, Department of Social Statistics, and as Professor of Clinical Epidemiology and Health Services Research at Weill Medical School. He serves as Editor-in-Chief of the ASA-SIAM Book Series and Co-Editor of the Journal of Empirical Legal Studies. Cornell University, Ithaca, NY Weill Cornell Medical College Research Interests span applied and theoretical statistics, Bayesian methods, biostatistics, clinical epidemiology, and computational biology. His work bridges disciplines like finance, legal studies, and health services research. Article Trends highlight advancements in Bayesian modeling, quantum cognition machine learning, tensor analysis, and misclassification correction, with applications in genomics, finance, and public health. Fellow of the American Statistical Association Fellow of the Royal Statistical Society Contributions include developing statistical software (e.g., rTensor), methodological innovations in clinical trials, and empirical legal studies on civil rights and the death penalty.

John Lygerosمشاهده پروفایل

استاد

• Automatic Control
• Hybrid Systems
• Large-Scale Dynamical Systems
• +۴ مورد دیگر

John Lygeros is a Full Professor and Head of the Institute for Automatic Control at ETH Zurich's Department of Information Technology and Electrical Engineering. He received his B.Eng. (1990) and M.Sc. (1991) from Imperial College London, and Ph.D. (1996) from UC Berkeley. Before joining ETH Zurich in 2006, he held academic positions at the University of Cambridge and University of Patras. His research focuses on: Modeling and control of hierarchical hybrid systems Large-scale dynamical systems applied to biochemical networks Control of automated transportation systems via wireless networks Energy systems and advanced manufacturing control His research demonstrates strong emphasis on optimization methods, distributed control architectures, and machine learning applications in control systems, with significant contributions to real-time optimization algorithms and data-driven control methodologies. Major scientific awards include: HSCC Test of Time Award (2024) ERC Advanced Grant (2018) O. Hugo Schuck Best Paper Award (2018) IEEE George S. Axelby Paper Award (2016) Three Golden Owl teaching awards from ETH Zurich He leads the Automatic Control Laboratory at ETH Zurich and serves as Director of the National Centre of Competence in Research 'Dependable Ubiquitous Automation'. He has advised over 60 doctoral candidates since 2017, with research spanning optimization algorithms, power systems, autonomous systems, and machine learning applications.

• Learning Sciences
• Technology-Enhanced Learning
• Collaborative Learning
• +۴ مورد دیگر

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).

Subhasish Mitraمشاهده پروفایل

استاد

• Robust Computing
• NanoSystems
• Electronic Design Automation (EDA)
• +۳ مورد دیگر

Subhasish Mitra is the William E. Ayer Professor of Electrical Engineering and Computer Science at Stanford University, holding dual appointments in both departments. He leads the Stanford Robust Systems Group and serves on the leadership team of the Microelectronics Commons AI Hardware Hub under the US CHIPS and Science Act. His research spans Robust Computing, NanoSystems, Electronic Design Automation (EDA), and Neurosciences, with breakthroughs in X-Compact test compression, carbon nanotube computing, and 3D integration. He has held international roles like the Carnot Chair at CEA-LETI and Visiting Professorships globally. Education & Honors: Recipient of over 40 awards including the IEEE Computer Society’s Harry H. Goode Memorial Award, ACM/IEEE’s A. Richard Newton Technical Impact Award, and the Intel Achievement Award. He earned top academic accolades from IIT Kharagpur and Jadavpur University, and is a Fellow of ACM and IEEE. Research Impact: Pioneered first-of-their-kind systems like the carbon nanotube computer and monolithic 3D integration. His work on robust computing techniques like QED validation and X-Compact compression has industry-wide adoption, saving billions in manufacturing costs. Collaborates with industry leaders like Intel, Google, and Samsung. Publications & Grants: Over 400 publications, including award-winning papers in DAC, ISSCC, and IEEE journals. Leads grants from NSF, DoE, and industry partnerships. His lab explores cutting-edge topics like neuromorphic computing, 3D thermal scaffolding, and AI hardware acceleration. Administration & Outreach: Serves as Associate Chair (Faculty Affairs) for Stanford’s Computer Science Department. Recognized by students for mentorship, and frequently invited to global forums like the World Economic Forum and National Academy of Engineering.

• Human-Computer Interaction
• Data Visualization
• Software Adaptability
• +۴ مورد دیگر

James R. Eagan is an Associate Professor in the Computer Science and Networks Department (Infres) at Télécom Paris , part of the Institut Polytechnique de Paris. He is also a Visiting Professor at the University of Colorado, Boulder for the 2024–25 academic year. His research focuses on making computers more expressive tools for human interaction, emphasizing malleable software, collaborative dynamic media, and multi-surface environments. His work spans Human-Computer Interaction , Data Visualization , and User Interface Programming . A key theme involves adapting software for user-driven customization, exemplified by projects like Webstrates (shareable dynamic media) and SchemeLens (semantic zoom for technical diagrams). He also explores uncertainty in data analytics and gesture-based interfaces for experts. Recent publications from 2020–2024 address Explainable AI (XAI) , Financial Crime Detection , and Interactive Data Analysis . His tools Tarantula and SchemeLens have received acclaim, including the 2015 ACM SIGSOFT Impact Award and Best Paper at UIST 2015. Scientific accolades include: Prix de l’Impact 2015 d’ACM SIGSOFT Best Paper Award at UIST 2015 Honorable Mention at CHI 2017 He teaches courses in Mobile Application Development , Human-Computer Interaction , and Data Visualization . His lab, DIVA (Design, Interaction, Visualization & Applications), operates within the Information Processing and Communication Laboratory (LTCI). He actively recruits PhD candidates and postdocs for research in these domains.

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.