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

Frank Piessensمشاهده پروفایل

استاد

• Software Security
• System Security
• Formal Methods
• +۲ مورد دیگر

Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .

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

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۶ مورد دیگر

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.

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

استاد

• Correct and Secure Compilation
• Safe Language Interoperability
• Semantics and Logical Relations
• +۵ مورد دیگر

Amal Ahmed is a Professor and Associate Dean for Graduate Programs at the Khoury College of Computer Sciences , Northeastern University , USA. Her research focuses on correct and secure compilation , safe language interoperability , and logical relations , with a strong emphasis on bridging high-level abstractions to low-level code. Education : PhD in Computer Science, Princeton University. Her work addresses challenges in multi-language systems , gradual typing , and type-preserving compiler design , leveraging formal semantics and logical relations to ensure security and correctness. Recent projects include advancements in WebAssembly interoperability and probabilistic separation logic . Amal's research has resulted in 15 recent publications spanning areas like semantic realizability , modal logic , and parametricity in gradual typing . She mentors a dynamic research group including postdocs, PhD, and undergraduate students, and has contributed extensively to program committees and workshops in programming languages, including POPL, ICFP, and OOPSLA. Labs/Teams : Leads the SILC (Secure Interoperability, Languages, and Compilers) group and contributes to the Northeastern Programming Research Lab .

Andrew Myersمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Distributed Systems
• +۳ مورد دیگر

Andrew Myers is a Professor in the Department of Computer Science at Cornell University , focusing on Programming Languages , Computer Security , and Distributed Systems . He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018 , ACM CCS 2016 , and POST 2014 . His research bridges formal methods with practical language design , as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler . Contributions span security protocols , concurrent programming , and hardware design languages . 2023 : Universally Composable Security for Program Partitioning 2022 : A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language 2021 : Viaduct compiler for secure distributed programs 2020 : Handling Bidirectional Control Flow 2018 : MixT consistency language, Covert Channel-Free Hardware Scientific recognition includes Best Paper Awards at POPL 1999 , SOSP 2001 , SOSP 2007 , CIDR 2013 , PLDI 2013 , and PLDI 2015 . Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair , Steering Committee roles in PriSC and PLDI). Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct , reflecting his commitment to secure, verifiable systems and language-driven solutions .