Secure Computing Systems Professors and Supervisors in Greece | ApplySharif

فیلترهای فعال:

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۴۳۶-۴۵۰ از ۴۷۹ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Hamid Bagheriمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. He co-directs the ESQuaReD Lab and serves on the review boards of IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. His research focuses at the intersection of software engineering, security, and formal methods, with particular expertise in Security of Mobile Devices and IoT Systems Scaling Formal Verification with Machine Learning Software Analysis and Testing Dependable Cyber-Physical Systems Automated Program Repair and Fault Localization His publication record spans top-tier venues including ICSE, ASE, ISSTA, ESEC/FSE, and IEEE/ACM Transactions, with recent work focusing on efficient analysis of Alloy specifications, IoT security, and ML-enhanced formal verification. His research has been recognized with multiple Distinguished Paper Awards. Among his notable awards are: EPSCoR FIRST Award NSF CISE Career Research Initiation Initiative Award SoC Student Choice Outstanding Teaching Award (2023-2024) CSE Outstanding Teaching Award (2020-2021) NSF EPSCoR First Award (2017) Prof. Bagheri has successfully advised multiple PhD students including Mohannad Alhanahnah (now tenure-track faculty at Chalmers University) and Clay Stevens (now tenure-track faculty at Iowa State University). He has received substantial research funding including NSF SHF Research Grants and has been actively involved in conference organization as PC member and track chair across numerous major software engineering venues.

پروفایل رسمی دانشگاه

Mattia Fazziniمشاهده پروفایل

استادیار

National and Kapodistrian University of AthensGreece

Mattia Fazzini is an Assistant Professor in the Department of Computer Science & Engineering at the University of Minnesota's College of Science and Engineering. His primary academic appointment focuses on software engineering research and teaching, with active involvement in major conferences including ASE, ISSTA, ICSE, and MOBILESoft where he has served in leadership roles such as General Co-chair (MOBILESoft 2023) and Program Committee Co-chair. His research centers on software testing, maintenance, and security , with particular emphasis on mobile applications. Key research themes include: Developing techniques for automated Android testing and maintenance Addressing API compatibility issues across Android versions Creating tools for test oracle generation and bug reproduction Investigating security vulnerabilities in mobile ecosystems Optimizing test suites through test double analysis His recent publications (2021-2025) reveal strong focus on Android-specific challenges, with recurring themes in compatibility testing, automated test generation, and security analysis. Over 60% of his work involves tool development for practical testing scenarios, particularly targeting mobile platforms. Notable recognitions include: IEEE TCSE Distinguished Paper Award (2024) for work on test suite optimization ACM Distinguished Paper Award (2022) for COVID-19 app analysis As an educator, he advises multiple PhD and Master's students while teaching undergraduate and graduate courses including CSCI 3081W (Program Design) and CSCI 5802 (Software Engineering II). His service contributions span conference organization (MOBILESoft, ISSTA, ICSE) and extensive program committee work across top software engineering venues. He leads research projects focused on practical testing solutions with real-world applicability in mobile software development.

پروفایل رسمی دانشگاه

Chao Pengمشاهده پروفایل

مدرس پاره‌وقت

National and Kapodistrian University of AthensGreece

Chao Peng is a Principal Research Scientist at ByteDance where he leads the Trae Research team (ByteDance Software Engineering Lab), conducting cutting-edge research on AI agents for software engineering. He also serves as a Part-time Postgraduate Student Mentor at Fudan University's School of Computer Science, bridging industry research with academic mentorship. PhD in Informatics (2021), University of Edinburgh, UK MSc in High Performance Computing and Data Science (2017), University of Edinburgh, UK BEng in Computer Science and Technology (2016), Xuzhou University of Technology, China Dr. Peng's research focuses on the intersection of software testing, program analysis, and large language models. His work explores how AI agents can revolutionize software engineering practices, with particular emphasis on automated bug detection, code generation, and testing frameworks. He has pioneered approaches for evaluating LLM performance in software engineering contexts and developing agent-based systems that enhance developer productivity while maintaining code quality and security. His recent publications demonstrate a clear trend toward integrating large language models with traditional software engineering practices. The research spans code generation evaluation, security vulnerability detection, automated bug reproduction, and issue localization. These works collectively advance the field of AI-assisted software development by addressing practical challenges in reliability, security, and efficiency of AI-generated code. Distinguished Reviewer for FSE'25 School of Informatics Scholarship (fully-funded PhD scholarship) Outstanding Graduate Scholarship at Xuzhou University of Technology Multiple China National Scholarships Honours Spot Bonus at ByteDance Certificate of Achievement for HPCAC Student Cluster Competition Dr. Peng actively mentors students through his role at Fudan University and previously at the University of Edinburgh, where he served as sub-supervisor for MSc projects and teaching assistant for software testing courses. His research has attracted significant industry attention, leading to multiple collaborations between ByteDance and academic institutions. He frequently serves on program committees for major software engineering conferences including ASE, FSE, and ICSE, demonstrating his leadership in the field. As leader of the Trae Research team at ByteDance Software Engineering Lab, Dr. Peng oversees research on AI agents for software engineering, including the application and evaluation of AI agents and training LLMs for agent-based systems. The lab's work focuses on practical systems that predict, detect, diagnose, and fix bugs across various software systems, with particular emphasis on real-world applications and measurable impact on developer productivity.

پروفایل رسمی دانشگاه

Xiaoyin Wangمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Xiaoyin Wang is an Associate Professor in the Department of Computer Science at the University of Texas at San Antonio, specializing in software testing, privacy, and program analysis. Her research focuses on enhancing software quality through innovative approaches to build systems, virtual reality testing, and privacy policy enforcement. She earned her PhD from Peking University in 2012 and completed postdoctoral work at UC Berkeley. Her research interests span Software Testing and Analysis , Software Privacy , Build Systems , and Virtual Reality Testing . She develops techniques for detecting privacy leaks in mobile apps, optimizing build scripts, and testing immersive applications. Her work bridges program analysis with practical software engineering challenges, particularly in security-critical contexts. Recent publications reveal strong trends in Virtual Reality testing frameworks (e.g., VRGuide, VRTest), automated build diagnostics (PExReport, HireBuild), and privacy policy verification (GUILeak, DAISY). Her research increasingly integrates machine learning for bug prediction and test oracle generation, with significant contributions to augmented reality testing and cross-project compatibility analysis. President's Research Achievement Award (UTSA, 2019) NSF CAREER Award (2019) for build script analysis Distinguished PhD Dissertation Awards from CCF (2013) and Peking University (2012) MSRA Fellowship (2009) Wang actively advises PhD students including Rodney Rodriguez (defended 2022, now at Accenture) and Xueling Zhang (defended 2021, now Assistant Professor at RIT). She leads NSF-funded projects including CAREER: Analysis and Repair of Build Scripts for DevOps and EAGER: Tracing Privacy-Policy Statements into Code . Her service includes chairing ICSE 2019 proceedings and serving on ASE/ICSE/ISSTA program committees. Current work focuses on security analysis for AR applications and automated privacy compliance verification.

پروفایل رسمی دانشگاه

Jifeng Xuanمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Jifeng Xuan is a Professor and Deputy Dean at the School of Computer Science, Wuhan University, China. He leads the CSTAR (Centre of Software Testing, Analysis and Reliability) research group and has made significant contributions to software engineering, particularly in software testing, debugging, and analysis. Dr. Xuan completed his bachelor's degree and PhD at OSCAR Lab, School of Software, Dalian University of Technology, China, under the supervision of Prof. He Jiang. He also conducted postdoctoral research at SPIRALS Team in INRIA Lille - Nord Europe, France, working with Dr. Martin Monperrus and Prof. Lionel Seinturier. His research focuses on Software Analysis and Testing , with specific interests in software testing and debugging, software data analysis, and search-based software engineering. Dr. Xuan's work bridges theoretical foundations with practical applications, addressing real-world challenges in software quality assurance. His research has led to numerous publications in top-tier software engineering venues and has influenced both academic research and industrial practices. Dr. Xuan's recent publications demonstrate a strong focus on innovative approaches to software testing, debugging, and analysis. His work spans multiple subfields including log analysis, fuzz testing, bug triage, and automated program repair. He has made significant contributions to understanding software crashes, improving bug report quality, and developing techniques for more effective software testing and analysis. 2025 ACM SIGSOFT Distinguished Paper Award 2025 IEEE TCSE Distinguished Paper Award 2024 CCF NASAC Youth Software Innovation Award 2018 ACM SIGSOFT Distinguished Paper Award 2015 Young Talent Development Program of CAST and CCF 2015 Luojia Young Scholar Program of Wuhan University 2014 Outstanding Doctoral Dissertation of CCF Dr. Xuan actively mentors PhD and master's students through his CSTAR research group at Wuhan University. He has served on numerous program committees for major software engineering conferences including ICSE, FSE, ASE, and ISSTA. His editorial service includes roles on the editorial boards of Empirical Software Engineering (EMSE), PLOS One, and Frontiers of Computer Science. Dr. Xuan has also organized several workshops and conferences, demonstrating his leadership in the software engineering community. As founder of CSTAR (Centre of Software Testing, Analysis and Reliability), Dr. Xuan leads a research team focused on advancing the state of the art in software quality assurance. The group's work spans theoretical foundations and practical applications, with strong connections to industry challenges. CSTAR has established collaborations with both domestic and international research institutions, contributing to a vibrant research ecosystem in software engineering.

پروفایل رسمی دانشگاه

Işıl Dilligمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.

پروفایل رسمی دانشگاه

Shachar Itzhakyمشاهده پروفایل

دانشیار

National and Kapodistrian University of AthensGreece

Shachar Itzhaky is an Associate Professor in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. His research spans multiple areas of programming languages, formal methods, and software engineering, with a focus on making program development and verification more accessible and efficient. He has served on program committees for numerous prestigious conferences including PLDI, POPL, SPLASH, and ICFP. Dr. Itzhaky's research interests center around program synthesis, automated reasoning, and formal verification. His work in program synthesis explores techniques for automatically generating programs from high-level specifications, with applications in end-user programming and software development. In automated reasoning, he has made significant contributions to e-graph based reasoning, invariant inference, and property-directed verification. His research in formal methods focuses on practical applications for program verification, particularly for data structures and security properties. An analysis of his recent publications reveals a strong focus on leveraging advanced formal techniques for practical program understanding and generation. His work consistently bridges theoretical foundations with practical applications, particularly in program synthesis, verification, and end-user programming tools. The trend shows increasing integration of machine learning techniques with traditional formal methods, as well as expanding applications to security and privacy domains. ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award Dr. Itzhaky has been actively involved in the programming languages research community, serving on numerous program committees and contributing to the advancement of formal methods and program synthesis. His work has practical implications for software development tools, security analysis, and end-user programming environments. While specific grant information isn't detailed in the provided text, his extensive publication record in top-tier venues suggests successful funding for his research endeavors. His work on projects like Object Spreadsheets and Lifty demonstrates a commitment to creating practical tools that address real-world programming challenges. Dr. Itzhaky's research is conducted within the vibrant programming languages and formal methods group at Technion's Computer Science department. His work intersects with multiple research threads including program synthesis, verification, and security, suggesting collaboration across these areas within the department. His tools like EPR-based Verification, PDR∀, and VeriCon represent significant technical contributions that likely form the basis of ongoing research projects with students and collaborators.

پروفایل رسمی دانشگاه

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

دانشیار

National and Kapodistrian University of AthensGreece

Qirun Zhang is the Catherine M. and James E. Allchin Early Career Associate Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on program analysis, compiler optimization, and formal language theory, with numerous publications in top-tier programming language and software engineering conferences including PLDI, POPL, OOPSLA, and FSE. He teaches courses on compilers, program analysis, and software testing. Dr. Zhang's research interests center on improving software reliability and security through advanced program analysis techniques. He approaches problems from perspectives including computational complexity, analytic combinatorics, graph theory, and formal languages. His work often bridges theoretical foundations with practical applications in compiler design and program verification. His recent publications show a strong focus on context-free language reachability, Dyck-language based analyses, and SMT solving techniques. His research demonstrates consistent innovation in making program analysis more precise while maintaining scalability, with applications ranging from debug information validation to software debloating and type inference. PLDI Distinguished Paper Award (2020) SIGSOFT Distinguished Paper Award (2023) OOPSLA Distinguished Artifact Award (2022) Dr. Zhang actively mentors PhD and MS students, with current advisees including Camille Bossut and Benjamin Mikek. His service to the academic community includes Artifact Evaluation Co-Chair roles for PLDI 2025 and 2026, and program committee membership for numerous top conferences including PLDI, POPL, and OOPSLA. He leads research projects including SLOT, Context-Free Language Reachability with Transitive Redundancy Elimination, and Debug Information Validation.

پروفایل رسمی دانشگاه

Amal Ahmedمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Amal Ahmed is a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University, where she leads research in programming languages and secure compilation. She received her PhD in Computer Science from Princeton University and has established herself as a leading researcher in compiler correctness, language interoperability, and type systems. Her research focuses on correct and secure compilation across the software-hardware stack and safe language interoperability, including design of sound foreign-function interfaces (FFIs) and richly typed compiler intermediate languages. She makes extensive use of semantics and type systems for reasoning about imperative and probabilistic programming languages, multi-language systems, security, concurrency, and provenance. Her work has significantly advanced the understanding of gradual typing, compiler verification, and compositional language interoperability. Dr. Ahmed's publications reveal a research trajectory focused on building solid semantic foundations for language interoperability and secure compilation. Her recent work spans topics from probabilistic separation logic to WebAssembly interoperability, with consistent emphasis on formal verification and semantic techniques. She has developed frameworks for reasoning about multi-language systems that preserve security properties across language boundaries. NSF CAREER Award recipient Editorial Board: Journal of Functional Programming (2017–present) Editorial Board: Mathematical Structures in Computer Science (2016–present) Member: IFIP Working Group 2.8 (Functional Programming, 2014–present) As an educator and mentor, Dr. Ahmed has advised numerous PhD students, postdocs, and undergraduates, many of whom have gone on to successful academic and industry careers. She has organized the Programming Languages Mentoring Workshop and regularly teaches advanced courses in programming languages. She serves on the steering committees of major conferences including POPL, SPLASH, and PLMW, and has chaired program committees for ESOP and POPL.

پروفایل رسمی دانشگاه

Mohamed Faouzi Atigمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Mohamed Faouzi Atig is a Professor in Computer Systems at Uppsala University's Department of Information Technology since July 2021, following a progression from Assistant Professor (2014-2018) to Associate Professor (2018-2021). His academic career began with a post-doctoral position at Uppsala University (2010-2012) after earning his PhD from University of Paris Diderot-Paris 7 in 2010, followed by a docent degree (habilitation equivalent) from Uppsala University in 2017. His research focuses on formal verification of concurrent and infinite-state systems, with particular expertise in model checking , weak memory models (including x86-TSO, Release-Acquire), and automata theory applied to string constraints. His work bridges theoretical foundations with practical verification techniques for modern hardware and programming language semantics. Analysis of his publication record reveals a sustained focus on verification challenges in concurrent systems, evolving from foundational work on memory models (2015) to sophisticated techniques for string constraints (2017) and persistent memory (2024-2025). His research demonstrates consistent contributions to top venues like PLDI and POPL, with increasing complexity in handling real-world memory models while maintaining theoretical rigor. At Uppsala University, he has served on program committees for major conferences including POPL, VMCAI, and SPLASH, demonstrating active engagement with the programming languages research community.

پروفایل رسمی دانشگاه

Adam Chlipalaمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Adam Chlipala is a Professor at the Massachusetts Institute of Technology working at the intersection of programming languages, formal methods, and computer systems. His research focuses on building practical verified systems with end-to-end machine-checked proofs, particularly using the Coq proof assistant. His educational background includes a Computer Science undergraduate degree from Carnegie Mellon University (2003) and a PhD in Computer Science from the University of California, Berkeley (2007). Following a postdoctoral position at Harvard University through 2011, he joined MIT as faculty. Chlipala's research spans multiple domains with strong emphasis on dependent types , verified compilation , and hardware-software co-verification . His work consistently bridges theoretical foundations with practical implementation, as evidenced by his development of the Ur/Web programming language and his focus on creating clean-slate hardware-software stacks with formal guarantees. Key research thrusts include cryptographic constant-time verification, side-channel security, and verified tensor compilation. His recent publications (2020-2025) reveal a clear trajectory toward increasingly complex verified systems, with growing emphasis on hardware-software integration, cryptographic implementations, and performance-critical applications. The work consistently leverages Coq for machine-checked proofs while addressing real-world constraints like timing channels and hardware interfaces. Chlipala is the author of the influential textbook Certified Programming with Dependent Types , which serves as a primary educational resource for Coq at numerous institutions worldwide. His professional activities include significant service to the PL community through program committees for major conferences including PLDI, POPL, ICFP, and CPP. He leads research initiatives connecting hardware and software verification, most notably through the DeepSpec project which aims to build fully verified computing stacks. His current work focuses on practical applications of dependent types for business applications through Ur/Web and verified cryptographic implementations.

پروفایل رسمی دانشگاه

Stephen Chongمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Stephen Chong is a Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences, where he serves as Co-Director of Undergraduate Studies for Computer Science. His academic career spans over a decade of teaching and research at Harvard, where he has made significant contributions to programming languages and information security. Chong received his PhD from Cornell University under the guidance of Andrew Myers, and a bachelor's degree from Victoria University of Wellington, New Zealand. Prior to graduate school, he worked as a consultant and contractor in the software industry, bringing practical experience to his academic research. Professor Chong's research focuses on language-based information security, using programming language techniques to provide information security assurance. His work bridges the gap between theoretical foundations and practical applications, developing tools and frameworks that help programmers write trustworthy programs. His research has evolved to address increasingly complex security challenges in modern computing environments, from web applications to cyber-physical systems. His recent publications reveal a strong trend toward integrating advanced programming language techniques with security analysis, particularly through the use of Datalog, SMT solvers, and program synthesis. His work on Formulog has been particularly influential, extending Datalog with mechanisms to construct and reason about SMT formulas for static analysis. His research has expanded to address security challenges in cyber-physical systems, where sensor attacks pose unique threats to safety-critical infrastructure. Chong has received numerous prestigious awards including an NSF CAREER award, an AFOSR Young Investigator award, and a Sloan Research Fellowship. He has also served in leadership roles for major conferences including CSF 2012-2013, PLMW @ PLDI 2021, and as SIGPLAN-M Chair for 2025-2026. As an educator, Chong has mentored numerous students through Harvard's undergraduate research programs and has served as a thesis advisor. His teaching portfolio includes foundational courses like CS51, systems courses like CS61, and advanced topics in programming languages (CS152) and compilers (CS1530). He has been instrumental in shaping Harvard's computer science curriculum, particularly in security and programming languages. Chong leads a research group focused on language-based security, with projects including Formulog (for SMT-based static analysis), PRINCESS (for autonomous adaptation of software), and work on secure shell scripting (Shill). His group collaborates with researchers across Harvard and other institutions to tackle challenging problems at the intersection of programming languages and security.

پروفایل رسمی دانشگاه

Byron Cookمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).

پروفایل رسمی دانشگاه

Derek Dreyerمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.

پروفایل رسمی دانشگاه

Nate Fosterمشاهده پروفایل

استاد

National and Kapodistrian University of AthensGreece

Nate Foster is a Professor of Computer Science at Cornell University's Bowers Computing and Information Science college. He also serves as a Visiting Professor at EPFL's Data Center Systems Laboratory during the 2023-24 academic year and as a Visiting Researcher at Jane Street. His research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems, with particular emphasis on software-defined networking. Dr. Foster's educational background includes: PhD in Computer Science from the University of Pennsylvania MPhil in History and Philosophy of Science from Cambridge University BA in Computer Science from Williams College Nate Foster's research spans multiple areas within programming languages and systems. His current work focuses on the design and implementation of languages for programming software-defined networks. He has also made significant contributions to bidirectional languages (also known as "lenses"), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His interdisciplinary approach combines theoretical foundations with practical systems building, seeking to bridge the gap between formal methods and real-world network programming. An analysis of Foster's recent publications reveals a strong focus on network programming languages, particularly NetKAT and P4. His work consistently applies formal methods to networking problems, with increasing emphasis on verification, equivalence checking, and symbolic execution techniques. The research trajectory shows progression from foundational language design to practical verification tools, demonstrating how theoretical programming language concepts can solve real-world networking challenges. Dr. Foster has received numerous prestigious awards for his contributions: Sloan Research Fellowship NSF CAREER Award ACM SIGPLAN Robin Milner Young Researcher Award (2023) Most Influential POPL Paper Award Tien '72 Teaching Award Google Research Award Yahoo! Academic Career Enhancement Award Cornell Engineering Research Excellence Award Morris and Dorothy Rubinoff Award ACM SIGCOMM Rising Star Award As an active member of the programming languages community, Foster has advised numerous graduate students and secured significant research funding through his NSF CAREER award and Google Research Award. He has served in leadership roles for major conferences including PLDI, POPL, and ICFP, demonstrating his commitment to mentoring the next generation of researchers through programs like PLMW@PLDI. His collaborative approach is evident in his extensive co-authorship network across academia and industry. Foster leads research in the area of programming languages for networking, with particular focus on the NetKAT framework for network verification. His work bridges the gap between formal methods and practical networking systems, creating tools that have influenced both academic research and industry practice in software-defined networking. His collaborations with institutions like EPFL and industry partners like Jane Street demonstrate the real-world impact of his research agenda.

پروفایل رسمی دانشگاه