William Eiers

automated verification, cloud security, software engineering, formal methods, AI for software engineering, software engineering for AI

My research is broadly in leveraging formal methods techniques, such as constraint solving and model counting, to enable quantitative analysis of software programs. Currently, I am interested in investigating how and to what extent software analysis techniques can be applied to generative AI, and how generative AI can enhance existing program and software analysis techniques.

Stevens Institute of Technology, Assistant Professor, 2023 - present

UCSB Outstanding Graduate Student, 2021
UCSB College of Engineering Outstanding Teaching Assistant in Computer Science, 2019
UCSB Outstanding Teaching Assistant, 2018

Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling.
WJ Eiers, LS Hadarean, KS Luckow, N Rungta
US Patent 11,165,783

Balaji Rao, William Eiers, Carlo Lipizzi. "Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification." To appear in the Proceedings of the 19th International ​Conference ​on Neurosymbolic Learning and Reasoning (NeSy 2025)

Adarsh Vatsa, Pratyush Patel, William Eiers. "Synthesizing Access Control Policies using Large Language Models." Proceedings of the 4th International Workshop on NL-based Software Engineering (NBLSE 2025)

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan. "Quantitative Symbolic Robustness Verification for Quantized Neural Networks." Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024)

William Eiers, Ganesh Sankaran, Tevfik Bultan. “Quantitative Policy Repair for Access Control on the Cloud.” Proceedings of the 32nd International Symposium on Software Testing and Analysis (ISSTA 2023)

William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quacky: Quantitative Access Control Permissiveness Analyzer.” Tool Paper. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)

William Eiers, Ganesh Sankaran, Albert Li, Emily O’Mahoney, Ben Prince, Tevfik Bultan. “Quantifying Permissiveness of Access Control Policies.” Proceedings of the 44th International Conference on Software Engineering (ICSE 2022)

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan. "Subformula Caching for Model Counting and Quantitative Program Analysis." Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan. "Incremental Attack Synthesis." Proceedings of JPF 2019 Java PathFinder Workshop

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. “Parameterized Model Counting for String and Numeric Constraints.” Proceedings of the 26th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2018)

Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan. “Attack Synthesis for Strings using Meta-Heuristics.” Proceedings of JPF 2018 Java PathFinder Workshop

CS385 Algorithms (S25)
CS385 Algorithms (F24)
CS135 Discrete Structures (S24)
CS385 Algorithms (F23)