| Limin Jia chair |
CMU |
| Douglas Schafer |
Cohere Technology |
| Raymond Richards |
DARPA |
| Chris Casinghino |
Draper Laboratory |
| Pieter Agten |
Fortanix |
| Scott Moore |
Galois, Inc. |
| J. Sukarno Mertoguno |
Georgia Tech |
| Christoph Kern |
Google |
| Eric Bodden |
Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM |
| Tamara Rezk |
INRIA Sophia-Antipolis |
| Scott Constable |
Intel Corporation |
| Yinzhi Cao |
Johns Hopkins University |
| Musard Balliu |
KTH Royal Institute of Technology |
| Frank Piessens chair |
KU Leuven |
| Marcus Peinado |
Microsoft Research |
| Hamed Okhravi |
MIT Lincoln Laboratory |
| Tom Van Cutsem |
Nokia Bell Labs, Belgium |
| Jonathan Bell |
Northeastern University |
| Lok Yan |
NYU |
| Sora Bae |
Oracle Labs Australia |
| Hasan Yasar |
SEI | CMU |
| Marco Patrignani |
Stanford |
| Chia-Che Tsai |
Texas A&M University |
| Kyung Joon (KJ) Kwak |
Trusted Science and Technology, Inc. |
| Weihang Wang |
University at Buffalo, SUNY |
| Awais Rashid |
University of Bristol |
| Sara Rampazzi |
University of Florida |
| Tuba Yavuz |
University of Florida |
| William Mansky |
University of Illinois at Chicago |
| Toby Murray |
University of Melbourne |
| John Criswell |
University of Rochester |