جستجوی استاد راهنمای دانشگاهی

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Aiko Pras is a Professor at the University of Twente in Enschede, Netherlands. His research spans network and service management, cybersecurity, and distributed systems, with a focus on DNS security, DDoS mitigation, IPv6, and software-defined networking. Research Interests: Network and Service Management Cybersecurity and DDoS Mitigation DNS Security and IPv6 Software-Defined Networking (SDN) Internet Measurement and Performance Critical Infrastructure Protection (ICS/SCADA) Article Trends: Pras's recent work emphasizes collaborative DDoS defense, DNS security, and IPv6 vulnerabilities. His studies often involve large-scale measurements and propose practical solutions for internet resilience and security. Collaborations: He frequently collaborates with Anna Sperotto, Roland van Rijswijk-Deij, and other experts in network security and measurement.

• Network and Service Management
• Cybersecurity
• Distributed Systems
• +۵ مورد دیگر

Taejoong Chung is an Associate Professor in the Computer Science department at Virginia Tech. He received his PhD in Computer Science and Engineering from Seoul National University in 2015. His research focuses on Internet security protocols including DNS, TLS/HTTPS, routing (BGP/RPKI), and email security, with an emphasis on protocol deployment challenges and internet measurements. His work has earned recognition including an NSF CAREER Award (2024), Outstanding New Assistant Professor award from Virginia Tech's College of Engineering (2024), ACM CCS Best Paper Honorable Mention (2022), IRTF Applied Networking Research Prize (2019), ACM IMC Distinguished Paper Award (2019), and USENIX Security Distinguished Paper Award (2017). Dr. Chung leads research on practical security improvements, developing systems like RoVista for measuring route origin validation and mmTLS for optimizing encrypted traffic inspection. His group actively contributes to internet standards through IETF involvement. He mentors PhD students working on security protocols and maintains collaborations with industry partners including Meta, Verisign, and Cloudflare. Research Areas: Internet routing security (RPKI, BGP) DNS ecosystem (DNSSEC, TTL violations) TLS certificate ecosystem evolution Email security protocols (DMARC, DANE, MTA-STS) Certificate revocation mechanisms Recent Grants: NSF CAREER Award (2024), NSF CRII Award (2019)

• Internet Security
• DNS Security
• TLS/HTTPS Protocols
• +۳ مورد دیگر

Ethan Katz-Bassett is an Associate Professor in the Electrical Engineering Department at Columbia University, with an affiliation in the Computer Science Department. He is also a member of the Computer Engineering Program and the Data Science Institute's Sense, Collect and Move Data Center. Previously, he held the Andrew and Erna Viterbi Early Career Chair at the University of Southern California, where he led a networking and systems research group. His research focuses on improving the reliability and performance of Internet services through measurement-driven system design, with a focus on networks, distributed systems, and cloud infrastructure. Affiliations: Columbia University (Current), University of Southern California (Former) Key Projects: Edge Fabric (Facebook), Sibyl (Route Oracle), PoiRoot (Route Change Analysis), Odin (Microsoft CDN) His research interests include Internet measurement, routing optimization, content delivery networks (CDNs), TCP performance, and mobile web performance. He has pioneered tools like PEERING, a BGP testbed for scalable experiments, and developed systems such as LIFEGUARD for network failure detection. His work often bridges academia and industry, with collaborations at Google, Microsoft, and Facebook. Ethan has received numerous awards, including the SIGCOMM Rising Star Award (2019), IETF Applied Networking Research Prize (2019), and NSF CAREER Award (2014). His funding includes grants from Google, Facebook, Comcast, and the NSF. He holds a Ph.D. from the University of Washington, advised by Tom Anderson and Arvind Krishnamurthy. Grants and Labs: Works with the M-Lab, RIPE Atlas, and SpeedChecker platforms. Current funding includes Google Faculty Awards, an M-Lab grant, and NSF support.

• Networking
• Distributed Systems
• Internet Measurement
• +۷ مورد دیگر

Dr. Kimberly C. Claffy (aka kc claffy) is a Principal Investigator at the Center for Applied Internet Data Analysis (CAIDA), Senior Research Scientist at the UC San Diego Supercomputer Center (SDSC), and Adjunct Professor in UC San Diego's Computer Science and Engineering Department. Her work focuses on Internet infrastructure analysis, security, and data sharing. Ph.D. in Computer Science and Engineering, UCSD (1994) M.S. in Computer Science and Engineering, UCSD (1991) B.S. in Symbolic Systems, Stanford University (1989) Research interests span Internet infrastructure security, routing and addressing systems, network measurement methodologies, differential privacy applications, DNS vulnerability analysis, and trust frameworks for secure networking. She leads CAIDA's efforts in global Internet health assessments. Recent publications analyze IPv4 leasing markets, BGP data collection platforms, DNS security mechanisms, and darknet traffic analytics. Articles emphasize empirical methods for improving routing security, network hygiene, and policy implications of measurement data. Scientific recognition includes: Internet Hall of Fame 2019 π Person of the Year, SDSC 2018 Jonathan B. Postel Service Award, Internet Society 2017 Dr. Claffy contributes to CAIDA's infrastructure development, collaborates with institutions like AT&T, Federal Reserve Board, and University of Oregon's RouteViews project, and serves as an expert witness for the Federal Communications Commission.

• Internet Infrastructure
• Network Security
• Data Analysis
• +۴ مورد دیگر

Philip Brighten Godfrey is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC) and Technical Director at VMware (formerly Broadcom). He co-founded network verification startup Veriflow, which was acquired in 2019. His research focuses on networked systems, blending theoretical and practical approaches to low-latency networking, software-defined architectures, microservices communication, and machine learning for network optimization. Education: Ph.D. in Computer Science (UC Berkeley, 2009), B.S. in Computer Science (Carnegie Mellon, 2002) His work spans data center design, network verification (e.g., VeriFlow), congestion control (PCC Vivace), and innovative projects like cISP (Speed-of-Light Internet). Recent publications address microservice tracing (TraceWeaver), fault localization (Flock), and XR device offloading (XRgo). Notable awards include the ACM SIGCOMM Rising Star Award, NSF CAREER Award, Sloan Research Fellowship, and multiple best paper recognitions. He has chaired SIGCOMM and HotNets, and his teaching excellence in courses like CS 538 Advanced Computer Networks has been repeatedly recognized. Scientific Honors ACM SIGCOMM Rising Star Award NSF CAREER Award (2012) Sloan Research Fellowship (2014) Best Paper Awards (SIGCOMM, HotSDN, CoNEXT) IEEE ComSoc Data Storage Best Paper Engineering Council Outstanding Advisor Award (2015) Godfrey leads research in the Coordinated Science Laboratory (CSL) and contributes to the LDOS NSF Expeditions project. His group advises Ph.D. students on topics ranging from network verification to XR systems optimization, with alumni now at Meta, Google, and academic institutions like ETH Zurich.

• Networked Systems
• Machine Learning for Networks
• Data Center Networking
• +۷ مورد دیگر

Xingang Shi is a Professor in the Department of Computer Science and Technology at Tsinghua University's School of Information Science and Technology. With over 126 publications spanning from 2006 to 2025, he maintains an active and influential research program in computer networking, with recent expansion into quantum network optimization. His work consistently appears in top-tier venues including INFOCOM, IEEE/ACM Transactions on Networking, and SIGCOMM. Dr. Shi's research focuses on network security, software defined networking, traffic engineering, and network anomaly detection. His recent work shows increasing emphasis on quantum network optimization and advanced security verification techniques. He has developed innovative approaches to routing protocols, congestion control, and inter-domain routing analysis, with practical applications in real-world network infrastructure. His publication trends reveal a steady evolution from traditional networking topics toward more sophisticated security and optimization frameworks. The 15 most recent publications demonstrate strong integration of machine learning techniques with networking fundamentals, particularly in anomaly detection and traffic engineering. His work increasingly addresses quantum networking challenges while maintaining strong contributions to conventional network security and performance optimization. As a leading researcher in his field, Dr. Shi has made significant contributions to network verification methodologies and security protocol testing frameworks. His recent papers on model checking-based security testing and proactive network policy verification represent important advances in ensuring network reliability and security. Through his extensive collaboration network (particularly with Zhiliang Wang, Xia Yin, and Han Zhang), Dr. Shi has built a productive research ecosystem that bridges theoretical networking concepts with practical implementation challenges. His work on quantum network optimization represents an emerging frontier in his research portfolio.

• Network Security
• Software Defined Networking
• Traffic Engineering
• +۷ مورد دیگر

Ioana Alexandrina Livadariu is a Research Scientist at the Center for Resilient Networks and Applications within Simula Metropolitan, affiliated with Simula Research Laboratory. Her work focuses on critical internet infrastructure analysis, particularly IPv6 adoption, network security, and geolocation technologies. Recent research highlights include: Investigating Forward-Confirmed reverse DNS in email authentication Tracking submarine cable deployments through network measurements Analyzing geofeed accuracy for IP geolocation Mapping Twitter activity during political transitions Assessing IPv4/IPv6 routing stability Her scientific contributions appear in major conferences like INFOCOM, PAM, and IMC, with a focus on network resilience and security protocols. Current projects examine: RPKI practices at IXPs MANRS/ISO27001 security framework gaps Country-level IP geolocation accuracy Multiconnectivity in IP networks Ioana has collaborated extensively with researchers across multiple institutions, contributing to network measurement methodologies and infrastructure analysis.

• IPv6 adoption
• Network security
• DNS infrastructure
• +۶ مورد دیگر

Dr. AbdelRahman Abdou is an Associate Professor at Carleton University's School of Computer Science and co-director of the Carleton Internet Security Lab (CISL). Previously a senior research scientist at ETH Zurich, his research focuses on Internet security including SDN security, TLS/PKI, DNS security, and secure geolocation. Research interests include Internet measurements, SSL/TLS protocols, authentication systems, secure BGP, and software-defined network security. Recent publications examine vulnerability management, accessibility in cybersecurity, and trust models. Distinguished Paper Award (ACM AsiaCCS 2017) Best Paper Nominee (IEEE CNS 2014) He teaches courses including Operating Systems, Computer Networks, and Internet Measurements. As CISL co-director, he supervises graduate students researching network security and internet measurements.

• Internet Security
• Network Measurements
• SSL/TLS Protocols
• +۲ مورد دیگر

Olivier Gauwin serves as an Assistant Professor at the University of Bordeaux, holding dual roles in academic instruction and research. He teaches within the Computer Science Department at the University Institute of Technology (IUT), while conducting research as a core member of LaBRI's Numeric and Sustainability team. His institutional presence spans both the IUT campus in Gradignan (office 111) and LaBRI's research facilities in Talence (office 311), reflecting his integrated contributions to theoretical computer science and applied sustainability initiatives. His educational trajectory demonstrates deep theoretical foundations: Habilitation à diriger des recherches (HDR) from University of Bordeaux (2020) titled Transductions: resources and characterization PhD in Computer Science from Université Lille 1 (2009) titled Streaming Tree Automata and XPath , conducted at LIFL/INRIA Master's degree (DEA) from Centre de Recherche en Informatique de Lens (2004) titled Fusion itérée de croyances Gauwin's research program bridges abstract theory and practical applications, with early work establishing fundamental results in automata theory for XML stream processing. His investigations into visibly pushdown automata, nested words, and transducers created novel frameworks for efficient query answering in data streams. Recent years show strategic expansion into sustainability, where he adapts formal methods to environmental modeling challenges. This evolution maintains rigorous theoretical grounding while addressing contemporary computational sustainability needs through the Numeric and Sustainability team. Analysis of his 15 most recent publications reveals consistent methodological excellence across theoretical computer science. Core themes include automata minimization (notably proving NP-completeness for visibly pushdown automata), logical characterizations of transductions, and streamability analysis for nested structures. His work demonstrates exceptional coherence—advancing from foundational XML processing (2008-2013) to resource-optimized transducers (2015-2018) and current sustainability applications, always maintaining focus on computational efficiency and formal verifiability. Dr. Gauwin actively mentors the next generation of computer scientists: Supervised PhD completion of Nathan Lhote (2015-2018) on logical characterizations of transductions Guided PhD research of Félix Baschenis (2014-2017) on transducer minimization and resource optimization His research is institutionally supported through LaBRI (UMR 5800), a joint CNRS-University of Bordeaux laboratory, though specific external grants aren't detailed in available materials. Current work continues through the Numeric and Sustainability team, where he integrates automata theory with environmental computation challenges in collaborative projects spanning theoretical innovation and real-world sustainability applications.

• Automata Theory
• Formal Languages
• Logic in Computer Science
• +۶ مورد دیگر

Laurent Vanbever is an Associate Professor at ETH Zürich and heads the Networked Systems Group (NSG). He specializes in network programmability, Internet routing, and network security, aiming to make networks more performant and manageable. Previously, he held a postdoctoral position at Princeton University and earned his PhD from the University of Louvain. Education: PhD in Computer Science, University of Louvain (2012) Postdoctoral Researcher, Princeton University (2012–2014) MSc in Computer Science, University of Louvain (2008) MSc in Management, Solvay Brussels School (2010) Research Interests: His work bridges theory and practice, focusing on network programmability, routing protocols, and sustainable networking. Recent projects include NetFabric, an ETH spin-off for network observability, and studies on energy-efficient router design (e.g., Fantastic Joules ) and BGP reconfiguration ( Taming the transient ). Key contributions include xBGP, Magnifier, and SP-PIFO. Awards: Best Paper Award at HotCarbon '24 SIGCOMM 2015 Best Paper Award Multiple IETF/IRTF Applied Networking Research Prizes Advising and Labs: Supervises PhD students (e.g., Benjamin, Weiran) and manages the NSG lab. Collaborates with NetFabric, offering student projects in network observability and sustainability. Labs & Teams: Leads the NSG and co-founded NetFabric, focusing on next-gen network observability using AI. Active in teaching Communication Networks and Advanced Topics in Communication Networks .

• Network Programmability
• Internet Routing
• Network Verification
• +۵ مورد دیگر

Dr. Stefano Vissicchio is a Lecturer in the Department of Computer Science at University College London (UCL). His research focuses on distributed computing, software-defined networking, and network security. University College London (UCL), Department of Computer Science – Lecturer His work addresses challenges in BGP security, network resilience, segment routing, and programmable data planes. Key contributions include: Developing fast connectivity recovery mechanisms (e.g., Blink) Creating tools for BGP hijack detection (e.g., Oscilloscope) Advancing hardware-accelerated network control planes Improving low-latency routing in mesh-like backbones Recent publications highlight his expertise in: Network verification (2025) BGP hijack evasion analysis (2024) Transient BGP reconfiguration mitigation (2023) Segment routing and traffic engineering (2022)

• Distributed computing and systems software
• Communications engineering
• Electrical engineering
• +۱ مورد دیگر

Professor Brighten Godfrey is a faculty member in the Department of Computer Science and an affiliate of the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. He earned a Ph.D. in Computer Science from UC Berkeley (2009) and a B.S. from Carnegie Mellon University (2002). His research spans networked systems with a focus on low-latency networking , software-defined networks , microservices , and machine learning for networks . Ph.D. (2009) and B.S. (2002) in Computer Science Professor at UIUC since 2021 Technical Director at VMware (acquired Veriflow in 2019) His recent publications address microservice tracing , cluster verification , and mobile acceleration , with high-impact applications in XR systems and low-latency networks . Awards include the ACM SIGCOMM Rising Star Award , Sloan Research Fellowship , and multiple best paper and dataset awards . He has chaired program committees for SIGCOMM and HotNets . Teaching honors include Excellent Teacher and Outstanding Advising Awards . His research group has produced alumni now at institutions like Meta, Google, and ETH Zurich. Current projects include Service Layer Traffic Engineering (SLATE) and Learning-Based Congestion Control (Aurora, PCC).

• Networked Systems
• Software-Defined Networking
• Data Center Architectures
• +۷ مورد دیگر

Gabi Dreo Rodosek is a distinguished researcher and faculty member at Bundeswehr University Munich , Germany. With a prolific publication record spanning over three decades, she has contributed extensively to the fields of network security, cyber-physical systems, BGP routing security, and software-defined networking (SDN). Research Interests: Network Security & Intrusion Detection BGP Routing Security & RPKI Software-Defined Networking (SDN) Malware Analysis & Adversarial Machine Learning Mobile Ad-hoc Networks (MANETs) Content Delivery Networks & IP Geolocation Her recent work focuses on advanced BGP security mechanisms, including path plausibility algorithms and RPKI deployment strategies. She has also explored adversarial techniques in machine learning, particularly in the context of malware detection and evasion. Her research in SDN-based defenses includes novel frameworks for DDoS mitigation and anomaly detection in 5G networks. Scientific Contributions: Over 159 peer-reviewed publications (1991–2025) Key contributions to BGP security, including RPKI validation and route leak mitigation Pioneering work in adversarial machine learning for cybersecurity Development of SDN-based intrusion detection and threat hunting frameworks Collaborations & Advising: She has mentored and collaborated with numerous researchers, including Nils Rodday, Peter Hillmann, Florian Steuber, and Raphael Labaca Castro. Her work often involves interdisciplinary teams tackling challenges in network security, AI-driven defense mechanisms, and resilient communication systems. Labs & Teams: While specific lab affiliations are not detailed in the provided text, her extensive collaboration network and affiliation with Bundeswehr University Munich suggest involvement in leading cybersecurity and networking research initiatives.

• Network Security
• Cyber-Physical Systems Security
• BGP Routing Security
• +۶ مورد دیگر