AWS Open Source Blog
Author: Rahul Kumar
Rahul Kumar completed his PhD from Brigham Young University in Provo Utah. He has worked on formal verification and static analysis technologies since then at Microsoft, Microsoft research, NSA JPL. He also worked on combining empirical software engineering and static analysis techniques for creating machine learning based solutions for DevOps. Currently he works at Amazon and AWS to create state of the art verification technologies for Rust and C programs. Rahul is extremely passionate and driven by automated reasoning and verification.
Verify the Safety of the Rust Standard Library
Rust is one of the fastest growing languages around the world. The Rust community has grown into millions of developers, with more products and services relying on Rust. The ergonomics and strong compiler guarantees make Rust an ideal choice for developers. With this growth though, the Rust community has also recognized the unsafety of Rust […]
How Open Source Projects are Using Kani to Write Better Software in Rust
AWS open source project Kani is succeeding in changing the perception, effectiveness, and usability of verification tools that were previously thought to be cumbersome or beyond reach.