Congratulations Alicia Thoney — M.S. Thesis Defense!
Congratulations to Alicia Thoney on the successful defense of her M.S. thesis, “ABIG4L: A Semantic Reasoning Engine for Verilog via Abstract Interpretation”!
DRACO Lab member Alicia Thoney successfully defended her M.S. thesis on Tuesday, April 7, 2026. Her committee was chaired by Dr. Mike Borowczak.
Alicia’s thesis, “ABIG4L: A Semantic Reasoning Engine for Verilog via Abstract Interpretation,” introduces a formal semantic analysis framework for Verilog hardware designs. ABIG4L applies abstract interpretation techniques to reason about RTL-level behavior, providing a foundation for hardware development workflows that are more rigorous by construction. The work bridges formal methods and practical HDL analysis — directly aligned with the DRACO Lab’s focus on design verification and secure architectures.
Alicia’s defense was the second of three DRACO Lab M.S. thesis defenses held during the week of April 6–8, 2026.