David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).
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.
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)
CHAN Mun Choon is a Professor at the School of Computing, National University of Singapore (NUS) , where he directs the NUS-NCS Joint Laboratory for Cyber Security . He previously worked at Bell Labs (1997-2003) and holds a PhD from Columbia University (1997). His research spans systems and networking with specific interests in mobile computing, software-defined networking, and cyber-physical systems . PhD, Electrical Engineering (1997), Columbia University M.Phil., Electrical Engineering (1993), Columbia University MS, Electrical Engineering (1993), Columbia University BS, Computer & Electrical Engineering (1990), Purdue University His recent work focuses on 5G network architecture , data center fault debugging , and energy-efficient mobile sensing . He has published over 100 papers and holds 7 US patents , including cache-based compaction techniques with 210+ citations. His projects include fronthaul slicing for 5G, network-wide packet history frameworks, and participatory indoor localization. Scientific recognition includes: Best Paper Awards: IEEE ICNP 2019, ACM SOSR 2019, ICDCN 2016 Best Demo: IPSN 2016 Distinguished Member, INFOCOM TPC (2016, 2020, 2021) He serves as Vice-Dean, Graduate Studies and Vice-Dean, Academic Affairs at NUS Computing, and has graduated 21 PhD students . His lab develops solutions for network security , latency-sensitive applications , and mobile sensing .
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.
Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.
Aditya Parameswaran is an Associate Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley. He co-directs the EPIC Data Lab and the Police Records Access project, focusing on simplifying data science at scale through human-in-the-loop systems, LLM-powered tools, and scalable data systems. His research spans database systems, human-computer interaction, and machine learning, with notable contributions in tools like Lux, Modin, and DataSpread. Education : PhD in Computer Science from Stanford University (2013) BTech in Computer Science and Engineering from IIT Bombay (2007) Research Interests : Parameswaran's work centers on empowering end-users with intuitive data tools. Recent projects include LLM-powered systems for document processing (DocETL, TWIX), proactive data systems, and benchmarking frameworks. He emphasizes democratizing data science through low/no-code solutions and improving production ML workflows. Articles Trends : His recent work (2023–2025) prioritizes LLM integration into data systems, focusing on robust pipelines, assertion generation (SPADE), and debugging tools (RAGGY). Earlier contributions include visualization recommendation (Lux), scalable dataframes (Modin), and spreadsheet optimization (DataSpread). Awards : Recipient of the VLDB Early Career Award (2019), Sloan Research Fellowship (2020), NSF CAREER Award (2017), and multiple best paper/demonstration awards at top venues like SIGMOD and VLDB. Advising & Grants : Guides over 20 PhD/postdoc alumni, many now in academia (e.g., Madelon Hulsebos at CWI) and industry leadership roles. Active in securing grants (e.g., NSF, Army Research Office) and industry partnerships (e.g., Snowflake, LangChain). Labs/Teams : Leads the EPIC Data Lab, focusing on agentic data systems, and co-founded Ponder (acquired by Snowflake). Collaborates on the Police Records Access initiative, building transparency tools for public records.
Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.
George H. Chen is an Associate Professor at Carnegie Mellon University , with dual affiliations in the Heinz College of Information Systems and Public Policy and the Machine Learning Department . His research focuses on trustworthy machine learning methods for temporal reasoning , particularly in health applications such as time-to-event prediction (survival analysis) and electronic health records analysis . He has extensive experience in nonparametric methods requiring minimal data assumptions. Educational Background PhD in Electrical Engineering and Computer Science, MIT (2015) SM in Electrical Engineering and Computer Science, MIT (2012) BS in Electrical Engineering and Computer Sciences & Engineering Mathematics and Statistics, UC Berkeley (2010) His work spans survival analysis , deep learning , and time series modeling , with applications in neurological prognostication , medical adherence , and health equity . He has developed self-contained educational resources including a 2024 monograph on deep survival analysis and tutorials at CHIL and SIGMETRICS. His 2025 course 95-865: Unstructured Data Analytics focuses on practical unstructured data analysis techniques. Notable projects include advising the AgriTech startup CoolCrop , which provides cold storage and market forecasts for Indian farmers serving 9,000+ farmers across 7 states. His Google Scholar publications reveal a strong focus on temporal modeling in healthcare, with recent advancements in neural survival analysis and fairness-aware temporal prediction.
Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)
Keval Vora is an Associate Professor at the School of Computing Science, Simon Fraser University. His research focuses on scalable solutions for modern data analytics systems, particularly in graph processing and distributed computing. He leads the Parallel Data and Computing Lab (PDCL), developing systems like Peregrine , GraphBolt , and GraphBolt . Contact: TASC1 9419, keval@sfu.ca. Education: PhD in Computer Science from the University of California, Riverside (2017). Previously worked at Morgan Stanley on low-latency trading software. Teaching: Courses include Distributed Systems (CMPT 431) and Special Topics in Networks and Systems (CMPT 982). Advises graduate and undergraduate students on projects involving distributed systems and graph analytics. Research Interests: Parallel/Distributed Computing, Irregular Big Data Processing, High-Performance Computing. His work emphasizes efficient techniques with provable guarantees for large-scale systems. Software Contributions: Peregrine (pattern-based analytics), GraphBolt (dynamic graph processing), and Lumos (disk-based graph processing). These systems address challenges in scalability, efficiency, and real-time data handling.
Dr. Theophilus A. Benson is a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with additional responsibilities at Carnegie Mellon University-Africa. His research group focuses on improving network performance and availability through models, algorithms, and frameworks that manage network state semantics. Key application areas include addressing the digital divide, optimizing microservices/cloud systems, software-defined networks, and CDN designs. Education: Ph.D., University of Wisconsin, Madison (2012) M.S., University of Wisconsin, Madison (2008) B.S., Tufts University (2004) Research Focus: Professor Benson's work spans three core domains: Democratizing Web Performance (measurements and optimizations for developing regions), Systems Abstractions for Programmable Infrastructures (eBPF/P4 frameworks), and Self-Managing Networks (ML-driven configurations). His African Internet Observatory initiative analyzes Africa's internet ecosystem to address digital inequity through assessment probes and statistical methods. Publication Trends: Recent works (2021-2024) demonstrate a strong focus on programmable networks (eBPF/P4 management), web performance in developing regions, and data-driven cloud/CDN optimizations. Earlier foundational work established expertise in SDN fault tolerance, network updates, and video streaming characterization. Awards & Honors: SIGCOMM Test of Time Award NSF CAREER Award NEC Faculty Award Google Faculty Award Facebook Faculty Award (2x) DARPA ISAT Study Group Member Grants & Advising: Secured funding from NSF (CAREER, NeTS), Google, Facebook, and Yahoo. Current advisees include 4 PhD/MS students working on programmable networks and web performance. Actively recruiting post-docs and students for African connectivity and eBPF projects. Leadership: Co-chairs NSDI'25 and ApNet'24 conferences. Leads the NetLab research group developing deployable systems adopted by web-scale companies and open-source communities.
Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.
Gene Cooperman is a Professor at the Khoury College of Computer Sciences at Northeastern University, with an affiliation in the College of Engineering. His research focuses on high-performance computing (HPC), transparent checkpoint-restart systems, and model checking. He leads the High Performance Computing Laboratory, where he explores checkpointing technologies like DMTCP, MANA for MPI, and CRAC for CUDA, aiming to enhance HPC workflows on supercomputers such as NERSC's Perlmutter. His work bridges distributed computing, parallel algorithms, and system software to address challenges in fault tolerance, scalability, and resource management. Cooperman has advised 10 PhD students and co-authored over 125 refereed publications, contributing to projects like Geant4-MultiThreaded and Roomy for disk-based computation. His teaching includes courses on computer systems and HPC seminars. Education: Background in computational algebra and parallel computing, transitioning to HPC systems and checkpointing. Research Themes: Transparent checkpointing, MPI agnostic solutions, CUDA integration, and HPC resource optimization. Recent articles emphasize MPI checkpointing, reversible debugging (FReD), and CUDA support, reflecting trends in distributed and GPU-accelerated systems. His grants include NSF, NERSC/DOE, and MemVerge funding. Cooperman collaborates with institutions like CERN and NERSC, advancing applications in particle physics simulations and supercomputing. Current students include Aayushi Gautam, Jiajun Cao, Rohan Garg, and Twinkle Jain.
Ping Yang is a Professor and Associate Director for Research and Graduate Programs in the School of Computing at Binghamton University (SUNY). She holds a Ph.D. in Computer Science from Stony Brook University, an ME from the Chinese Academy of Sciences, and a BS from Zhongshan University. Her research focuses on cybersecurity, AI-based security, virtual machine security, privacy policy analysis, and formal methods. She directs the Center for Information Assurance and Cybersecurity and coordinates cybersecurity programs at both undergraduate and graduate levels. Education: BS in Computer Science, Zhongshan University ME in Computer Science, Chinese Academy of Sciences MS and PhD in Computer Science, State University of New York at Stony Brook Research Interests: Dr. Yang's work spans information and systems security, security in virtualized computing, access control mechanisms, privacy policies, and formal methods for security verification. Her projects include blockchain-based provenance storage, real-time anomaly detection in workflows, and privacy-preserving virtual machine migration. She has led NSF-funded initiatives on security in cloud environments and scientific workflows. Awards: Not explicitly listed in the provided materials. Advising & Grants: Advised over 30 PhD/Master’s students and contributed to grants including NSF Scholarship for Service and GenCyber programs. Her team develops tools like RBAC-PAT for access control analysis. Labs/Teams: Leads the Center for Information Assurance and Cybersecurity and collaborates on projects involving secure data workflows and blockchain applications in scientific research.
