Semantics & Systems

Engineering trust: at the intersection of program analysis, formal verification, and AI.

By Khaled Ahmed
· Launched 11 days ago
By subscribing, I agree to Substack’s Terms of Use and acknowledge its Information Collection Notice and Privacy Policy