Abstract: Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates. Learning-based techniques have been ...

In August 2023, the EEOC reached its first AI-bias settlement: $365,000 paid over a hiring algorithm that automatically rejected older applicants. Meanwhile, Europe’s new AI Act threatens fines of up ...

This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It highlights the critical role of formal methods, ...

Formal mathematical reasoning represents a significant frontier in artificial intelligence, addressing fundamental logic, computation, and problem-solving challenges. This field focuses on enabling ...

Discover the significance of applying formal methods to zero knowledge circuits to mitigate security risks in zero-knowledge proofs, as highlighted by Isil Dillig from UT Austin. Zero knowledge ...

Carlos Rivero, associate professor in the Department of Computer Science, received $212,983 from the National Science Foundation for his project titled "Collaborative Research: FMitF: Track III: A ...

Formal verification is being deployed more often and in more places in chip designs as the number of possible interactions grows, and as those chips are used in more critical applications. In the past ...

The Defense Advanced Research Projects Agency is launching a new program intended to help traditional software developers and engineers leverage mathematically rigorous techniques to create resilient ...