A seasoned software engineer Petr Muller has developed testing tools and frameworks. He has also done research on static analysis of programs. He has also built cloud-native development tooling for OpenShif