Find Academic Supervisors

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During 2023-24, he also holds a Visiting Professor position at EPFL in the Data Center Systems Laboratory. His research focuses on Programming Languages and Networking , with significant contributions to formal verification of network data planes and domain-specific language design. Awarded NSF CAREER Award , Sloan Research Fellowship , ACM SIGCOMM Rising Star Award , and ACM SIGPLAN Robin Milner Award Active in program committees for conferences like POPL, PLDI, SPLASH, and ICFP Research Trends : His recent work explores intersections of programming language theory with networking, including symbolic verification tools like KATch , infinite-state network analysis with StacKAT , and active learning frameworks for network automata. He applies formal methods to practical challenges in software-defined networking and hypervisor verification. Scientific Awards : NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award Academic Leadership : Serves as Session Preview Co-Chair for POPL 2024 and organizes workshops like RPLS 2025. He has chaired tutorials on P4 programming and mentored researchers through PLMW programs.

• Programming Languages
• Networking
• Formal Verification
• +3 more

Myoungsoo Jung is the KAIST Endowed Chair Professor and Full Professor at Korea Advanced Institute of Science and Technology, holding primary appointment in the School of Electrical Engineering with additional affiliations in the School of Semiconductor System Engineering, Graduate School of AI Semiconductor, Graduate School of System Architect, and Graduate School of AI. His research focuses on cutting-edge computer architecture and operating systems with specialization in memory and storage systems. Professor Jung's research interests span computer architecture, operating systems, flash memory, solid-state drives, non-volatile memory, file systems, parallel processing, and heterogeneous computing. He has pioneered work in CXL-based memory expansion, computational SSDs, and memory disaggregation technologies that are transforming modern data centers and AI infrastructure. His recent publications demonstrate significant advancements in CXL-driven architectures, computational storage, and memory systems. The research trends show increasing integration of storage and memory technologies with AI workloads, particularly in large-scale graph processing, federated learning, and billion-scale data management. His team's work frequently appears in top-tier venues including ISCA, HPCA, SOSP, and USENIX ATC. Hall of Fame, IEEE/ACM ISCA (2024) Digital Innovation Award from Minister of Science and ICT (2024) CES Innovation Award Winner, CXL-Enabled AI Accelerator (2025) Korea Innovative Startup Award, Ministry of Science and ICT (2025) Samsung Best Paper Award Winner (Grand Prize) (2022) Professor Jung has successfully advised numerous PhD students including Miryeong Kwon (recipient of KAIST Outstanding PhD Dissertation Award) and Donghyun Gouk. His CAMEL research lab has secured over $13M in funding from sources including DOE, NSF, and Korean government agencies. The lab maintains strong industry partnerships with Samsung, SK Hynix, and Panmnesia, focusing on translating research into practical systems. Current projects include CXL-based memory expansion, computational SSDs for AI acceleration, and next-generation storage architectures for hyperscale data centers.

• Computer Architecture
• Operating Systems
• Solid State Drives
• +6 more