Loading icon

RSS Items

131 - 140 of 195 results found

Co-Developing Programs and Their Proof of Correctness

Date
Monday, February 26, 2024 - 11:10 PM
Description
There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.

In Memoriam: Niklaus Wirth

Date
Friday, February 23, 2024 - 12:21 AM
Description
The overriding philosophy of computing pioneer Niklaus Wirth, who died on January 1, 2024, was that systems should be simple, efficient, and “elegant.”

Verifying Correctness

Date
Thursday, February 22, 2024 - 10:12 PM
Description
Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Verifying Correctness

Date
Thursday, February 22, 2024 - 10:12 PM
Description
Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Defending the Business

Date
Thursday, February 22, 2024 - 7:02 PM
Description
The potential for a cyber incident is the top risk to business.

Defending the Business

Date
Thursday, February 22, 2024 - 7:02 PM
Description
The potential for a cyber incident is the top risk to business.