Join X-Lab at UIUC and start to work on a verifiable k8s controller project - Anvil.