Andrzej is a software developer since 2004. He works mostly with C++ in commercial software, which includes safety-related and high-performance systems. He is a member of the C++ Standards Committee and a Boost developer. He is also a co-organizer of C++ User Group Kraków. Known to the community for his blog on C++: https://akrzemi1.wordpress.com/.
Preconditions, postconditions, invariants – how they help write robust programs (2019)