Sort by
Refine Your Search
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
Rocq/Lean, with extraction to executable code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal
Enter an email to receive alerts for distributed-network "https:" positions