HotSoS 2026 Program Committee
General Chair
ADAM TAGERT is the technical director the National Security Agency Science of Security Initiative. He sets the technical direction for research projects at 18 Science of Security (SoS) funded universities, leads the NSA Best Cybersecurity Paper Competition, guides the SoS awards at the International Science and Engineering Fair, and builds community with the SoS Virtual Organization. He received his Ph.D. from Carnegie Mellon University in Engineering and Public Policy where he researched national cybersecurity strategies of small developing nations, particularly Rwanda. He obtained a Computer Science degree from Princeton University.
Program Chairs
BENJAMIN ERICHSON is a Research Scientist (Career) at the Lawrence Berkeley National Laboratory. He also leads the Deep Learning Group at the International Computer Science Institute (ICSI), an affiliated institute of UC Berkeley. Prior to this role, he was an Assistant Professor (Tenure-Track) for Data-driven Modeling and Artificial Intelligence in the Department of Mechanical Engineering and Materials Science at the University of Pittsburgh, from September 2021 to December 2022. Before joining Pitt, he was a postdoctoral researcher in the Department of Statistics at UC Berkeley, where he worked with Michael Mahoney, and was part of the RISELab in the Department of Electrical Engineering and Computer Sciences (EECS) at UC Berkeley. Earlier, he held a postdoctoral position in the Department of Applied Mathematics at the University of Washington (UW), working with Nathan Kutz and Steven Brunton. He earned his PhD in Statistics at the University of St Andrews in December 2017, where he also completed an MSc in Applied Statistics.
JONATHAN ALDRICH works at the intersection of programming languages and software engineering, exploring how the ways software is expressed affect our ability to engineer software at scale. A central theme of his research is improving software quality and programmer productivity through better ways of expressing the structural and behavioral aspects of software design directly within source code.
His contributions include object-oriented typestate checking, modular and gradual verification techniques for aspects and stateful programs, and new object-oriented language models. For his work on specifying and verifying software architecture, he received a 2006 NSF CAREER Award and the 2007 Dahl-Nygaard Junior Prize.
Organization
Special Chairs
NSA Math Liaison:
FRANK DAVIS (NSA)
Publicity Chair:
NATALIE SCALA (Towson)
Poster Chair:
JULEIGH WILSON (DSU)
Program Committee
PERRY ALEXANDER (KU)
ALEX BARDAS (KU)
LOFTI BEN OTHMANE (UNT)
MICHAEL BROTZMAN (LACR)
FRANK DAVIS (NSA)
DANIEL DEGRAFF (NSA)
YUE DONG (UCR)
ADAM DOUPE (ASU)
KIM FERGUSON-WALTER (Leidos)
YU FU (UC Riverside)
SRIZAN GANGOL (NSA)
MARC GLASS (LACR)
PAUL GOETHALS (NSA)
HUANLI GONG (UC Berkeley)
HANAN HIBSHI (CMU)
DUSTIN HOFFMAN (NSA)
CHELSEA JOHNSON (Leidos)
BRAD KLINE (NSA)
JEFF KUHN (NSA)
KEVIN LEACH (VU)
ZHIQIANG LIN (Ohio State)
MICHAEL MAASS (Exponent)
AUSTIN OBRIEN (DSU)
SAM OSOFSKY (NSA)
RAJ PAL (NSA)
ALEX PERRY (NSA)
ADAM PETZ (KU)
AHMAD RIDELEY (NSA)
HOMAR RODRIGUEZ RAMOS (NSA)
YAN SHOSHITAISHVILI (ASU)
STEPHEN SMALLEY (NSA)
ZHIPENG WEI (ICSI)
DREW WILSON (NSA)
PALMER YOUNG (NSA)
Organizers
Communications and Organization:
REGAN WILLIAMS (Vanderbilt)
KATIE DEY (Vanderbilt)
Graphic Design:
TONY GUZMAN (Vanderbilt)
Science of Security Liaison:
SHAVON DONNELL (NSA)